2*k - 4 = 0. Let p = l - k. Is p < -2/5?
False
Let q = -6427/7 - -921. Which is bigger: 1/4 or q?
q
Let h(i) = -10*i - 17. Let m be h(3). Does m = -46?
False
Suppose 0 = -5*o - 3*n + 4, 10 = 4*o - 4*n + 3*n. Which is smaller: o or -4?
-4
Let j = -118432/21321 - 2/2369. Suppose o - 5 = -5*v + 9, o = 3*v - 18. Is o at least j?
False
Let u = -270 + 270.1. Which is smaller: 116 or u?
u
Let x be ((-24624)/63)/(-9) + 8. Which is smaller: x or 52?
x
Let y be 42/(-10) - 10/(-50). Let n(f) = -f**3 - 5*f**2 - 4*f + 1. Let k be n(y). Let a be 104/462 + (-2)/7. Which is bigger: k or a?
k
Suppose 4*q = 2*q + 22. Which is greater: q or -5?
q
Let v = 11/10 + -8/5. Is -3 less than v?
True
Let q(k) = k**3 - 20*k**2 + k - 38. Let f be q(20). Let r be -3 + (-87)/(-27) + (-14)/f. Is 1/44 <= r?
True
Let z = 32.049 - 32. Let v = 1.949 - z. Is 2 <= v?
False
Let z = -7326513/11 + 666773. Let x = 728 - z. Do 3 and x have the same value?
False
Let o be (6/(-12)*-2)/(2/(-3)). Suppose 7 = -3*l - 2. Are o and l equal?
False
Let z = -10/803 - -953/12045. Let a(k) be the first derivative of k**3/3 - 2*k**2 - 6*k + 1. Let h be a(5). Is z equal to h?
False
Let q = 122 + -77. Let k = 31 - q. Which is greater: k or -13?
-13
Let m = 36 + -42. Let u be ((-15)/m + -3)*2. Let w = 1 + 3. Is u <= w?
True
Let q = 59 + -63. Which is smaller: q or -5?
-5
Let f = -0.1 - 0. Let p = 0.3 + f. Let u(v) = -39*v - 278. Let w be u(-7). Which is bigger: p or w?
p
Let n = 8672 + -8672. Suppose -3*d = 3, -2*d = 2*s + 2*d + 2. Let t be 4/14 + s/70. Which is bigger: t or n?
t
Suppose 2*j = 8, h - 156 = 6*h + j. Let l = 8285 + -83169/10. Let a = l - h. Which is bigger: 1 or a?
1
Let s = -36 + 97. Let p = -85 + s. Which is bigger: -23 or p?
-23
Let a(g) = -26*g + 13. Let s be a(1). Is s less than or equal to -10?
True
Let q = 2 + -4. Let g = 0.09 - 1.89. Let j = q - g. Which is smaller: -4 or j?
-4
Let j = -2093.867 + 2094. Is j less than or equal to 0.2?
True
Let h = 24 - 22. Suppose 0 = h*q - q. Which is bigger: 16/11 or q?
16/11
Suppose -5*u + 3*g + 1325 = 0, -g - 432 = -2*u + 99. Let m be ((-534)/u + 2)/(22/(-88)). Which is smaller: 0 or m?
m
Let m = 335 + -331. Which is bigger: m or 11?
11
Suppose 5*j + 1391 + 1901 = -4*a, -1315 = 2*j + a. Is -655 at least j?
True
Let i = -0.9 + 4.1. Let h = i - 2.4. Let o = -32 + 32.1. Which is smaller: h or o?
o
Let i be ((-3072)/80)/(2/10). Let u be 9/30*i/21. Let a = 15/7 + u. Is a equal to 0?
False
Suppose 0 = -n - 0*n + 2*d + 108, -d = 5*n - 551. Which is bigger: n or 109?
n
Let m = -15074/1221 + 136/11. Let s = 68 + -67. Which is smaller: s or m?
m
Suppose 0 = -2*i + i + 2, -3*i = -4*t - 6. Let p = 61 + -101. Let o be (8/10)/(56/p). Which is bigger: o or t?
t
Suppose 0 = -83*f + 71*f - 636. Is -54 less than f?
True
Suppose -2122*p = -2126*p + 436. Which is greater: -1 or p?
p
Let r = -2.06 + 2. Let o = -2.06 - r. Let g = -764 + 3818/5. Is o >= g?
False
Let n(w) = -w**3 - 13*w**2 - w - 8. Let x be n(-13). Let k be -3 - -3 - (x + -5). Which is bigger: k or 1/18?
1/18
Let x = 176 + -175. Do x and 6/13 have the same value?
False
Let m = 9 + -17. Suppose 0 = 14*u + 268 - 114. Which is smaller: m or u?
u
Let v(r) be the second derivative of r**4/12 + r**3 - 9*r**2/2 - 7*r. Let s be v(-9). Let z be 1 - s/(-33) - 1. Which is smaller: 0.2 or z?
0.2
Suppose 0 = 2*j + 3*z + 1, 0 = -j + 5*z - 5 + 24. Suppose -g + 0*g - j*d = -13, 0 = 4*d + 12. Suppose 8*u + 200 = 16*u. Are u and g equal?
True
Let l(t) = t**2 - 3*t - 1. Let g be l(3). Let j(s) = s**2 + 18*s - 2. Let a be j(-20). Let b be 148/a - (-2 - -6). Is g equal to b?
False
Suppose -29*m + 11*m - 144 = 0. Which is smaller: -6 or m?
m
Suppose -2*q - 750 = -192. Are -279 and q equal?
True
Suppose 0 = -3*n + 5*h - 12 + 70, h - 43 = -2*n. Suppose -2*g + n = -5*r - 13, 0 = 4*r - 2*g + 28. Which is smaller: r or -0.1?
r
Let d = -5 + 8. Suppose -2*s = 5*y + 18, d*y - 8 = -4*s + 4*y. Suppose 5*r - 17 = -4*v, -s = 4*r + 5*v - 20. Is r <= -2/9?
False
Let x = 292 - 297. Is -6 equal to x?
False
Let q = -5 - -9. Suppose 2*c - 2 = q. Suppose a = c*u + 2*a + 14, -11 = -3*u + 4*a. Which is smaller: u or 0.1?
u
Suppose 1601 = -3*h + 4*r, -h - 3*r + 175 = 700. Let w = 5861/11 + h. Is 1 at least as big as w?
False
Let y = -16 - -19. Suppose 2 = -y*m + m. Which is smaller: m or 1/10?
m
Let b(o) = o**3 - 4*o**2 - 19*o - 14. Let y be b(7). Which is smaller: 34 or y?
y
Let d = -1.7 + 3.33. Let z = d + 0.37. Is z not equal to 15?
True
Let x(u) = -u**3 - 11*u**2 - 3*u - 31. Let l be x(-11). Let c be l/5 + (-63)/(-105). Are -2/165 and c unequal?
True
Suppose 0 = 5*c + o - 306, 2*o = -47 + 39. Is c > 54?
True
Suppose 5*b - 1424 = 2*t, t - 89 = 2*b - 658. Suppose -4*y = -b + 46. Let o be 4/(-2) - y/(-27). Is -1 at most as big as o?
True
Let b = 891.5 + -891. Which is greater: b or -33?
b
Suppose -6*h - 288 = -10*h. Suppose l - h = -l. Are 36 and l unequal?
False
Let l = -4348/5 + 870. Let i = 0 - 0.2. Let m = i - -0.14. Is l > m?
True
Suppose l = -5 - 4. Let j = 10.7 - 11. Let i = 0.7 - j. Which is smaller: i or l?
l
Let i = -914 - -882. Is i <= -44?
False
Let t = 0.018 - 0.348. Let y = t + 0.11. Which is smaller: y or 2/7?
y
Let h be 2/6*30/4. Let m be ((-4)/16 + 49/(-28))*-1. Is h >= m?
True
Let w(s) = -4*s**2 + 3*s - 4. Let j(p) = 3*p**2 - 2*p + 3. Let x(g) = 3*j(g) + 2*w(g). Let i be x(-1). Do i and 2 have the same value?
True
Let g(z) = 11*z + 1. Let p be g(-1). Let k be 162690/475 - (-4)/p. Let q = 342 - k. Is -1 < q?
True
Let a be (-140)/56 + 3 + 23/2. Let r be ((-38)/(-3) - 1) + -1. Which is smaller: r or a?
r
Let b(j) = -2*j**2 - 4*j - 2. Let g be b(-2). Let c be -1*1*g/(-2). Let f be (-6 + 10452/1746)/((-22)/(-33)). Which is smaller: c or f?
c
Suppose -16 = r - 5*r. Suppose a - 3*g = -4*g - 6, -3*g - 29 = r*a. Suppose -7*o + 4*o = -5*z + 5, -65 = 5*o + 3*z. Is a greater than or equal to o?
False
Let h = -272/665 - -18/35. Let w = 16 + -12. Suppose -4*y - w*y = 0. Which is greater: y or h?
h
Let n = -463.8984 - 0.1016. Are n and 0.2 equal?
False
Suppose 0 = -k + 1, 2*s = -k - 2*k + 11. Suppose -54 = -2*o + 7*q - 5*q, q = s*o - 99. Let m be (1 - 0)*2 + 23. Is o >= m?
False
Let p = 65 + 81. Let r be (-10)/(-25) - p/(-10). Let x be (-6)/22*20/r. Is -1 > x?
False
Suppose -79*h = y - 81*h + 51, -2*y + 3*h = 103. Is -61 greater than or equal to y?
False
Let q(u) = 3*u**2 - u + 1. Let o be q(2). Let n(y) = 6*y - 24. Let g be n(o). Suppose 0 = 2*t + 26 - g. Is t <= 8?
True
Suppose -9 - 11 = -5*t. Suppose 0 = 4*u + t + 32. Suppose -a - 51 = 5*s, -5*a + 25 = -5*s + 2*s. Is u <= s?
False
Let m = 2 - 3. Let v = 928 - 918. Is m less than v?
True
Let t = 0.009 - -0.991. Does -0.088 = t?
False
Let g be 2349/(-30)*4/(-6). Let b = g - 52. Let x be 3 + 0 + (-62)/22. Does x = b?
False
Let m = 12937/13 - 995. Is m < -7?
False
Let m be (-561)/(-6) - (-924)/(-168). Is 86 at least m?
False
Suppose 3*k - 3 - 6 = 3*z, 0 = -2*k - 3*z + 16. Let w(n) = 2*n**2 + 13*n - 2. Let x be w(-7). Is x smaller than k?
False
Let j(o) = -o**2 - 9*o + 8. Let a be j(-10). Let c = a + 6. Let q be 4/(-9) + c/6. Do 1/2 and q have the same value?
False
Suppose 3*w = -2*k + 11, 0 = -k - 2*w - 3*w + 9. Let u be 3/(-4)*(32/(-37))/k. Is -1 bigger than u?
False
Let q = 39 - 40. Let b be (q - 0) + (-6 - -8). Which is smaller: 5/12 or b?
5/12
Let x = -1197/5 - -239. Let s = 39 - 60. Is s <= x?
True
Let h be (-8 - -3 - -3) + 6 + 1. Let g be (-106)/(-5) + h/(-25). Which is smaller: 19 or g?
19
Let v be (-1)/((4/8)/((-6)/(-76))). Is -1 < v?
True
Suppose 173 = -5*t + 378. Are 24 and t unequal?
True
Let c = 13.2 - 13. Which is bigger: c or -95?
c
Let b(c) = c**2 + 3*c + 2. Let f be b(-7). Suppose 5*h = -4*n + 34, 0 = -h + 3*n + 2*n + f. Let d = 17 - h. Is d equal to 8?
False
Let k = 7 + 0. Let z(x) = 70 - x - 134 + 64 - x. Let f be z(k). Which is smaller: -15 or f?
-15
Let t = 1600 - 1600.5. Is t at most as big as -36?
False
Let a(t) = t**2 + 5*t + 5. Let k be a(-4). Suppose -5*n - k = 4. Let p be 22*5/(-45) + 2. Are n and p unequal?
True
Let m be (1*2)/(8/(-36)). Suppose -60*b = 17*b + 616. Which is bigger: m or b?
b
Suppose -22 - 108 = -10*m. Which is smaller: 12 or m?
12
Let u = 104 - 105. Does u = 6/7?
False
Let a(p) = p**3 - 19*p**2 - 17*p - 57. Let n be a(20). Is -15 smaller than