.4
Suppose -15*i + 11 = -26*i. Let z be 155/124 + i/(-4). Which is smaller: z or 29/2?
z
Let m(h) = 282*h - 3302. Let u be m(14). Is 631 at most u?
True
Let d = -0.99 + 0.225. Let i = d + 0.075. Let o = -0.31 + i. Is 2 greater than o?
True
Suppose 4*m - m = 9. Let b be 402/8 + (m + -3)*-1. Which is smaller: b or 50?
50
Let q be ((-31)/31)/((-36)/(-1076)). Which is bigger: q or -30?
q
Suppose -u = 3*p + 130 - 137, 0 = p + 7. Is -2 smaller than u?
True
Let j be (-9)/(-6045)*275/(-22). Let f = j + 6831/107198. Is f less than -1?
False
Let g = -431 - -223. Let z = g + 262. Is z greater than or equal to 55?
False
Let c be 4/10 + 236/10. Suppose -29*b = -27*b - 2. Let u be 2 + (44/2 - b) + 1. Is c < u?
False
Let j(m) = -10 - 27 + 9 + 2*m. Let k be j(14). Let u(o) = -o**2 + 3*o + 4. Let b be u(3). Which is bigger: k or b?
b
Let i be (1078/(-756) - 15/(-10)) + (-212)/(-54). Let l be (-326)/(-112) + 4/(-14). Is i bigger than l?
True
Let f be 105/((-5)/(1 - 6)). Suppose -2*c = 5*c + f. Which is smaller: -3 or c?
c
Let m be (-1964)/(-8) + (2 - -6). Let p = m - 643/3. Are p and 39 equal?
False
Suppose -6*h = -h - 380. Let w(x) = 3*x**2 + 93*x - 6263. Let g be w(-64). Which is smaller: h or g?
g
Let d(b) = 4*b**3 + 64*b**2 - 6*b - 95. Let m be d(-16). Which is bigger: -2/465 or m?
m
Suppose 0 = -5*k + 7*k - 274. Suppose -3*f - 5 = -5*t + 72, -5*f - k = -4*t. Let x = 41 + -71. Which is smaller: f or x?
x
Let o = -1176 + 1176.0519. Let d = o + 36.9481. Which is smaller: -5 or d?
-5
Suppose 4*h - 5*z + 140 = -h, 5*z + 190 = -5*h. Do 41 and h have the same value?
False
Let l = 42 + -40. Suppose y + 3*x = 27, -25 = l*y - x - 93. Is y less than 34?
True
Let p be 36/(38094/(-1904) - -14) - 3*-2. Does -1 = p?
False
Let f = 38 + -38. Let v be -3 - 100/(-33) - f. Which is smaller: 0 or v?
0
Suppose -108*o - 26 = -106*o. Let p = o - -14. Let c be ((-2)/1 + 3)/(-158). Which is greater: p or c?
p
Let z = 0.0734 - -0.1266. Is 1983 greater than z?
True
Let x(l) = -l**3 - 108*l**2 - 609*l + 298. Let r be x(-102). Which is smaller: r or -219/25?
-219/25
Suppose -146*y + 10 - 6 = 4. Is y bigger than 2/30687?
False
Suppose q + 4*n + 2 = 0, 3*q + 10 = -5*n - 3. Let r = 12239/6 + -2046. Which is greater: q or r?
q
Let p = -66 + 66.094. Let y = -0.106 - p. Is y less than -1/14?
True
Suppose -3*p + 1747 = -4*m - 281, -5*p - 2*m = -3380. Let l = -765 + p. Which is bigger: l or -353/4?
-353/4
Suppose 532 = -1809*z + 1781*z. Which is smaller: z or 369?
z
Suppose -1 = m + 4. Let v = -319823.95 + 319824. Which is smaller: v or m?
m
Let f(i) = 4*i - 4. Let v be f(1). Suppose v = -5*t - 5*t - 320. Which is bigger: -29 or t?
-29
Suppose 3*w - 17 = -i + 92, 5*i + 3*w - 533 = 0. Let v = 173 - 64. Which is greater: v or i?
v
Let q be 248/341*(-1)/4 - 7000/462. Let b(j) = j**2 + j - 4. Let h be b(-5). Let n = h + q. Are -9 and n non-equal?
True
Let u(j) = j**2 - 43*j - 408. Let x be u(53). Which is greater: x or 124?
124
Let y(i) be the third derivative of 31*i**4/24 + 62*i**3 + 3*i**2 + 17*i. Let d be y(-12). Which is greater: -65 or d?
d
Let k(y) = -86*y + 689. Let s be k(8). Which is greater: s or 37/90?
s
Suppose 9252 = -2*k - 4*i + 1588, -13*i = -3*k - 11572. Is -3838 at least k?
True
Let b be (1/(-89))/(75/1950). Which is smaller: 1 or b?
b
Let a be (-9)/12 - (-1266)/(-8). Let v = -1165 - -1008. Is v equal to a?
False
Suppose 5*h - 240 = -5*x, 2*h - 5*x = 3 + 79. Suppose -2*i + 28 = -2*s, -2*s = -5*i + h + 30. Suppose -i*f + 6 = -14*f. Are f and 20/7 equal?
False
Let k = -3569 + 3098. Which is bigger: k or 4?
4
Let k be (-9)/(-6)*(120/36)/(-5). Let z = -66.61 + -0.39. Is z greater than or equal to k?
False
Let u = -93.45257 + 0.07257. Let k = -1.38 - u. Is 0 != k?
True
Let l(y) = 4*y + 10. Let r be l(-5). Let t = -25 - r. Let w = 54 + -69. Is w >= t?
True
Let z(o) be the first derivative of -o**2 + 26*o + 10*o**2 - 7*o**2 - 42. Let g be z(-6). Is 8/3 smaller than g?
False
Let s be (98/(-80))/((-129)/516). Which is smaller: s or 4?
4
Let b = -0.189 + -4.711. Let x = b - -5.7. Which is bigger: x or -0.3?
x
Suppose 5*l + 183 + 232 = -5*w, -314 = 4*w + l. Is w at most as big as 1?
True
Let m be (-8 - -7)/(2/(-10)). Let i(u) = 5*u - 17. Let n be i(-6). Let l = -41 - n. Is m at most l?
True
Let m = -27 + 35. Suppose 0 = -m*j + 8. Does 8/15 = j?
False
Let x be (24 - 26)/(8/4348). Which is bigger: x or -1090?
x
Let r(j) = -253*j - 10056. Let s be r(-40). Is s bigger than -43?
True
Let d = 99.03 + -8.43. Let m = d + -91. Let c = 2 + -8. Is m != c?
True
Let a(q) = -56*q + 714. Let w be a(12). Which is bigger: w or 37?
w
Suppose -21*l = -2*g - 16*l - 65, -122 = 4*g - 2*l. Let m(f) = -3*f - 75. Let s be m(g). Which is smaller: s or 18?
s
Suppose -2*m - 4*o + 1206 = 0, 14*m - 1204 = 12*m - 2*o. Suppose 4*d = 2*r + 159 - 467, -m = -4*r + 5*d. Is r less than or equal to 144?
True
Suppose 11*c + 12*c = 9*c - 28. Which is bigger: c or -38/15?
c
Let y(t) = -t**2. Let x(n) = n**3 - 4*n**2 + 8*n - 3. Let h(z) = x(z) + 3*y(z). Let c be h(6). Let k be 6/(-4)*1/c. Is k bigger than -2/9?
True
Let r be 1/1 - (1 - -5). Let k be r/(-4) + (-4379)/(-116). Which is smaller: 43 or k?
k
Let n = 34 - 34. Suppose -5*x + 3*g + 204 = n, 3*x - x - 81 = g. Let d = x + -39. Is 2/41 greater than d?
True
Suppose 4*v + r + 1 - 5 = 0, 0 = -3*r. Which is smaller: 1.1 or v?
v
Let k(s) = -4*s**2 - 104*s + 46. Let z be k(-27). Do -39 and z have the same value?
False
Suppose 403 = 5*q + 7*o - 4*o, 2*o - 2 = 0. Let c be (81 - q)*(-305)/6. Does c = -50?
False
Suppose 0 = 27*h - 23*h - 164. Suppose 4*o - 16 = -5*c, -3*c - 2*o = -h + 33. Which is bigger: 152 or c?
152
Let d = 154.54 - 10.79. Let o = -144 + d. Which is bigger: o or -3?
o
Let j be (57/38)/((-3 + 0)/(-894)). Let x = 447 - j. Is x > 2/833?
False
Let p be (-2)/(-2) - (-86)/(-85). Let z = 412735017/595 - 693672. Let k = p + z. Are k and 13 equal?
False
Suppose -26 + 56 = 3*t. Let w be 1/((-35)/t - -4). Let f(z) = 2*z**3 + 4*z**2 - 3*z + 1. Let v be f(w). Is v > 27?
False
Let n = -23218 - -93323/4. Is 112 at most as big as n?
True
Let o = -36071 + 34510. Are -1554 and o equal?
False
Let o be (-2)/3 + (-8)/(-36)*-213. Let d = o - -49. Is -1 smaller than d?
True
Suppose 0 = -2*f + 2*n - 266, 6*n - 5*n = 2*f + 267. Let h(z) = -3*z**2 - 6*z + 11. Let q be h(6). Let i = q - f. Is 2/5 less than i?
True
Let p = -196 + 229. Suppose -5*c = 2*v - 0*v + p, 4*v = 2*c - 6. Which is smaller: c or -4?
c
Let c be ((-32)/(-12))/(16/72). Let t be c/10*1050/270. Is t at least 4?
True
Let i = 3 - 10. Let d = -5 - i. Let t be 48/(-266) + (-27)/((-6156)/(-24)). Which is smaller: d or t?
t
Let c = -13377 - -15026. Is c smaller than -2?
False
Let f = 720 - 393. Let p = f + -325. Let j = -143/4 + 36. Is j at least as big as p?
False
Let k(b) = b**2 + 76*b - 14166. Let l be k(87). Let m be ((-96)/20)/(2/10). Let r be (118/m)/((-1)/3). Which is greater: r or l?
l
Let r be (-1)/((-8 - -4)/8). Suppose 0 = -r*l + 5 + 3. Suppose -5*k + 9 = -l*k. Is k not equal to 7?
True
Let x = 1/4074 + -277043/44814. Suppose 86*i - 84*i + 9 = a, 0 = -3*a - 5*i - 50. Which is smaller: a or x?
x
Let d = -23243 - -23183. Which is greater: -3/31 or d?
-3/31
Let v = 17 + 10. Is v at most as big as 2?
False
Let z be (129008/704)/(1/(-24)). Are -4398 and z nonequal?
False
Let d be (380/(-170))/(-2) + (-2)/2. Let g(x) = -x**3 - 16*x**2 + 18*x - 10. Let u be g(-17). Let r = u + 27. Is r at most as big as d?
True
Let u be ((-2)/(-10) - 0)/((-58)/290). Which is greater: -3/583 or u?
-3/583
Suppose -f = -4*h - 16, 2*f + 8 = 5*f - 4*h. Let y be (70/(-25)*-5)/((-2)/f). Suppose -y = -2*n + 32. Is 29 at least as big as n?
False
Let w = 583 - 258. Let c = w + -326. Which is smaller: c or 6.5?
c
Let t be 9356/(-18) + 86/(-387). Is t greater than -520?
False
Let l(y) = 180*y**3 - 2*y + 1. Let h be l(1). Suppose -2*p = -h - 3. Let t = p + -90. Which is greater: t or -3/16?
t
Suppose -5 + 17 = -d + 5*i, 5*d - 3*i = 6. Suppose 0 = -5*q - d*g + 825, -3*q + 3*g = g - 495. Let c = -6599/40 + q. Is c less than or equal to -1?
False
Let b(v) = -v**2 - 9*v - 15. Let y be b(-12). Let i = y - -24. Suppose 0 = 2*l - k + 48, k - 123 = 21*l - 16*l. Are l and i nonequal?
True
Let l(k) = -123*k - 75. Let g be l(15). Let n be (g/(-56))/(-8) + 4. Which