 Let u be -4 + -2 + (-3 - b). Is -6/41 less than u?
False
Let i be ((-12)/30)/(3/(-135)). Suppose i = 4*j + 2*j. Which is smaller: -2 or j?
-2
Let u = -1287 - -1287. Is u smaller than -2/805?
False
Let m(o) = o**2 - o - 1. Let g be m(1). Let k be ((-10)/20)/(g/(-2)). Let z be (33/770)/(2/5). Which is smaller: k or z?
k
Let j(q) = -7*q - 24. Let o be j(-7). Is 27 bigger than o?
True
Let j = -655 - -599. Are -59 and j nonequal?
True
Let a be 3/(2/(2 + 0)). Suppose -c + 4 = -a*c. Is c equal to -14?
False
Suppose -4*m + 2 = 2*w - 0*w, 33 = 5*w + 3*m. Suppose -2*o + 8*o = 192. Suppose -105*l = -109*l + o. Which is bigger: l or w?
w
Suppose 4*l = t + 8*l + 257, -1327 = 5*t - l. Is -266 >= t?
False
Let f(n) = -n**3 + 8*n**2 + 12*n - 19. Let d be f(9). Suppose 0 = d*u - 10 + 18. Is u smaller than -3/20?
True
Let j(i) = 13*i**2 - 14*i + 3. Let h(q) = -7*q**2 + 7*q - 2. Let s(l) = -11*h(l) - 6*j(l). Let m be s(6). Let y = -14 + m. Which is bigger: y or -5?
y
Suppose 96 = 5*j + 31. Suppose j - 34 = 3*o. Let p(b) = b**2 - 7*b + 2. Let w be p(5). Do o and w have different values?
True
Let y = 263/272 + -15/16. Suppose -i = -a - 3 - 2, -4*i + 2*a + 10 = 0. Which is bigger: y or i?
y
Let i = -574 - -572. Is i >= -4/13?
False
Suppose -7 = -5*q + 3*j, 4*q + 6 - 10 = 2*j. Is 1/91 equal to q?
False
Suppose 3*d + 49 = b, -4*b + 205 = 2*d - 5*d. Suppose 21*k - b = 11. Is 3 != k?
False
Suppose 10*a = 1860 - 380. Is 145 at least a?
False
Let g be 6/26 + (-2)/2. Let o = -48.11 + 50.11. Which is greater: g or o?
o
Let o be ((-6)/5)/(9/(-30)). Let j = o - 4. Suppose 0 = -3*q - 12, 6 + 6 = 5*v - 3*q. Is j smaller than v?
False
Let f = 4683 + -4699. Let v be (-1)/(-2) - (-105)/2. Suppose -8 + v = -3*h. Is h greater than or equal to f?
True
Let k = -471 - -470. Is k at least as big as 12/97?
False
Let y = 15 - 10. Let u = y - 2. Suppose 78 = -4*t - 4*w + 54, 6*w = -4*t - 32. Is u at least t?
True
Let z(g) = g**3 - 6*g**2 - 4*g + 3. Suppose -5*a + 4*a - 6 = -r, r - 6 = 3*a. Let k be z(r). Let h = k + 19. Which is greater: 3 or h?
3
Let m(y) = -y**2 + 12*y + 9. Let c be m(11). Let q be (-1)/(c/(-5)) - 1/4. Is q at least as big as 5/6?
False
Let z = -319 + 565. Is 245 greater than z?
False
Let m = -3737/3726 - -45/46. Is 0 > m?
True
Suppose 3*m = q + 4*m + 16, 0 = -2*m. Let d(b) = b + 15. Let h be d(q). Which is smaller: h or -3/5?
h
Let d(l) = -7*l + 42. Let r be d(6). Let z be (-4)/30*(-54)/120. Which is bigger: z or r?
z
Let c(q) = q + 14. Let d be c(-33). Are -8 and d nonequal?
True
Let y = 202 + -191. Is y at most -1?
False
Suppose -h + 8 + 8 = 5*o, -5*h - 4*o + 17 = 0. Let z be (11 + h)/(9/(-12)). Let s = -17 - z. Which is bigger: 3/14 or s?
3/14
Suppose -2*c = 2*c - 20. Let w = c - 13/3. Let q = 1/43 - 89/129. Which is smaller: q or w?
q
Let x be 1/((0 + 1)*-1). Let j be (-54)/184 + 12/48. Do j and x have the same value?
False
Let l be 716/2653 + (-4)/14. Let c = -42018367676/12507 - -3359588. Let h = l + c. Which is smaller: 0 or h?
h
Let u be (-42)/(-525) + (-9208)/116350. Is 1 < u?
False
Let x(b) = -35*b + 201. Let o be x(6). Is -31/4 >= o?
True
Let v = -2234 + 2235. Let d = -115 - -72. Which is greater: d or v?
v
Let a be (-18)/8 + (-8 - (-12 - -2)). Is 47.6 >= a?
True
Let b be (-58)/(-290) - (14516/(-10))/2. Is b smaller than -1?
False
Let s = -12 + 13. Let j = 1395/14 - 199/2. Is j less than or equal to s?
True
Suppose -9*c - 129 = -8*c + n, -5*c - 3*n = 655. Which is bigger: -131 or c?
-131
Let l(f) be the second derivative of f**3/6 - 8*f**2 + 5*f. Let b be l(4). Let q = b - -12. Is q <= -4/15?
False
Suppose 4*o + 30 = 5*j, 25 = -4*j - 5*o + 8. Let z = 1025/144 + -89/16. Are z and j unequal?
True
Let p = 56 + -67. Let g(v) be the second derivative of -v**3/6 - 3*v**2/2 + v. Let m be g(7). Which is greater: m or p?
m
Suppose -295 = 5*n + j, 4*j - 1 = -21. Let k = -98 - n. Let s be (96/k)/(2/(-5)). Which is greater: s or 5?
s
Let a be ((-2)/8)/(16/(-1440)). Which is smaller: a or 23?
a
Let p = -135 - -136. Are p and -5/187 unequal?
True
Let w = 44 + -23. Which is bigger: w or 22?
22
Let m = 1 + 0. Let q be 2/(-9) + (-925)/333. Which is smaller: m or q?
q
Let b = 240 + -246. Is -29/5 greater than b?
True
Let z be (5 + 477/(-12))*4. Let q = z - -139. Is -0.16 bigger than q?
False
Let p = -131.63 + 123. Let y = 0.37 - p. Let g = -16 - -63/4. Which is bigger: g or y?
y
Let z = -319/26 - -6449/390. Which is smaller: 3 or z?
3
Let q(x) = x**2 - 35*x + 305. Let v be q(19). Which is smaller: -6/221 or v?
-6/221
Let n = 2576 - 2577. Let v = -78580/47 - -1672. Which is bigger: n or v?
v
Suppose -17*n + 4*n = -598. Let s = 320/7 - n. Are 0 and s equal?
False
Let u be 6386/(-34) + -2 + 2. Let j(i) = -50*i**2 + 5*i + 2. Let m be j(2). Let f = u - m. Which is greater: f or 0?
f
Let b = -0.06 + -1.24. Let f = b + -8.7. Let q = f - -11. Which is smaller: -7 or q?
-7
Let q = -0.18 - 0.22. Is -1/15 less than or equal to q?
False
Let i(x) be the third derivative of -x**4/24 + 8*x**3/3 + 20*x**2. Let b be i(16). Is b < -2/5?
False
Let u = -30 + 28. Let a(h) = 14*h + 3. Let l be a(u). Is -26 greater than or equal to l?
False
Suppose 15 = 3*a + 4*u, -2*a - 2*u = -5*u - 10. Let f(m) = m**2 - 3*m - 6. Let b be f(a). Suppose 2*p + b = 4*z, -1 = -3*z + 2. Are p and 3 equal?
False
Let t = 4046/4499 + 4/409. Let m = 5 + -5. Let x be (0 - m)/(-3 + 1). Which is bigger: t or x?
t
Let h(n) = 9 - 2*n - 50*n**2 + 98*n**2 - 49*n**2. Let k be h(-4). Which is smaller: 1/12 or k?
1/12
Let a = -54/17 + 91/34. Is 68 smaller than a?
False
Let z be ((-3)/9)/(3/(918/354)). Is 1 < z?
False
Suppose 8*s - 1 = 63. Let r = 506 - 349. Let f = r - 451/3. Which is greater: f or s?
s
Let g(t) = 4*t**2 + 7*t - 1. Let z(d) = 5*d**2 + 8*d. Let l(o) = 4*g(o) - 3*z(o). Let j be l(-5). Let a be (((-45)/2)/3)/(-12). Which is bigger: j or a?
j
Suppose -5*w = -j + 2, 5*j + 4*w = 8*j - 17. Let s be (1/(-2))/((-4)/(-56)). Let u = 0 - s. Is j at most u?
True
Let b be 290/20*-44 + -11. Which is smaller: -648 or b?
b
Suppose -3*i + j + 213 + 197 = 0, 560 = 4*i + 2*j. Let o be (-1)/4*-6 - i/76. Is -1 at least o?
False
Let i(u) = u**2 + 14*u - 2. Let g be i(-14). Let x be 12/10*(5 + (-75)/10). Is x less than g?
True
Let b = 285 + -261. Is b > 18?
True
Let a(q) be the third derivative of q**5/60 - 13*q**4/24 - 7*q**3/6 + 29*q**2. Suppose c + 0*c - 14 = 0. Let o be a(c). Is o greater than or equal to 8?
False
Let v = -279 - -224. Do 1 and v have the same value?
False
Let x be -8 - ((-399)/39 + 5). Is x at most -3?
False
Let q = 1.3 + 5. Does -1 = q?
False
Let v be (-12942)/4*120/180. Which is smaller: v or -2156?
v
Let y = -2833/77 - -262/7. Let z = -1023 - -1024. Is z equal to y?
False
Let v be -1 + (-4)/(-6) + 15/45. Is 1/152 at most as big as v?
False
Let z be 10/30 + (-1 - (-16)/42). Is z <= 98?
True
Let p = 0.22 - -0.68. Let f = 35 + -30.9. Let z = p + f. Which is smaller: z or 1?
1
Suppose 2*x = -4, 2*z = -2*x - 2*x + 4. Let f be (-8)/(-3) + (-4)/z. Suppose -5*j = -20, -f*v = 3*j - j - 20. Is 6 equal to v?
True
Let m = 14.4 - 3.4. Let g = m + -11. Suppose 8 + 17 = -5*l. Which is bigger: g or l?
g
Suppose 8*x - 4 = 6*x. Suppose 11 = x*h - 9. Suppose -7*a + 90 = 2*a. Is a not equal to h?
False
Let y = 4 + 7. Let o = y - 5. Let x(r) = 4*r + 45. Let q be x(-10). Are o and q equal?
False
Let v(x) = -x**3 + 8*x**2 - 3*x - 8. Suppose 0 = -7*t - 38 + 129. Suppose 0 = -w + 4*k - 1, -w - k = 2*k - t. Let y be v(w). Is y > 21?
False
Suppose 3*o = k - 12, o + 8 = k - o. Let j be 4/6 + (-200)/(-60). Suppose k = l + j*h + 13, h + 47 = -5*l + 20. Which is smaller: l or -2?
l
Let w(p) = p**2 - 18*p - 11. Let l be w(19). Suppose -7*m = -l*m + 2. Is 9/7 >= m?
False
Let j = -25.03 - -0.03. Let w = 111.9 - 112. Is w greater than or equal to j?
True
Let d = -8.6 - 21.4. Let v = -29.83 - d. Are v and -0.1 equal?
False
Let s = 0.1 + -0.2. Let m = s + 0. Let w = -0.1 - m. Which is greater: w or 3?
3
Suppose 5*w - 626 = 459. Do w and -0.1 have the same value?
False
Let p = 11 - 10.2. Let f = p - -0.2. Suppose -2*g + 2*g + 50 = -50*g. Is f <= g?
False
Suppose 84 = -414*o + 408*o. Which is bigger: o or -57/4?
o
Let r(z) be the third derivative of z**4/24 + z**3/3 - 21*z**2. Let i be r(4). Let v = 2 + 5. Are v and i nonequal?
True
Let o = -55 + 27