True
Let r = 65 + -65. Is r at most -1/48?
False
Let q(h) = -3*h**2 + 22*h + 17. Let g be q(8). Is g greater than or equal to 3/5?
True
Let d be -6*3/(-2)*-1. Let z = -8 - d. Which is greater: z or 13?
13
Let p = 205.2 - 207. Which is greater: -5 or p?
p
Let i(y) = 102*y**3 - y**2 + 5*y - 3. Let w be i(1). Is w greater than or equal to 3/7?
True
Suppose -3*k + 12*b = 16*b + 820, 4*k = 2*b - 1108. Let a be (921/2)/(10/6). Let r = k + a. Which is smaller: -1 or r?
-1
Let c be ((-316)/155 + 2)/(280/(-47700)). Let d = -93/14 + c. Do d and 1 have the same value?
False
Let y = -12 - -22. Let o = 7 + 28. Let i be o/14*4/(-25). Which is bigger: y or i?
y
Let l = 15 + -13. Let q be (23/l)/((-10)/(-340)). Let p = q + -13293/34. Are 1 and p non-equal?
True
Suppose 5*v - 28 = 7. Suppose 0 = -w + v*w. Which is bigger: 49 or w?
49
Suppose -n = 4*h - 21, 3*n + 0*n = -3*h + 18. Which is bigger: -155 or n?
n
Let s = 3.6 + -4. Let x(j) = -j**3 + 7*j**2 + j - 6. Let r be x(7). Let v be (-3)/(-2)*r*(-4)/(-12). Is s less than or equal to v?
True
Let s = 142 + -141. Which is smaller: 4/21 or s?
4/21
Let h = 102.784 + 0.216. Let w = -98 + h. Which is greater: w or 0.03?
w
Let m be (-7 - (-198)/30)*(-10)/(-26). Which is smaller: 1.5 or m?
m
Suppose 95 = 29*i + 66. Let u = 8 + -40. Is i > u?
True
Let t = -16 + 15.9. Suppose 8*s - 12*s + 60 = 0. Which is smaller: t or s?
t
Suppose d = 6*d + 5. Let o = -1528/693 + -8/99. Which is smaller: d or o?
o
Suppose -5*u + o = -772, 2*u - 250 - 57 = o. Which is smaller: u or 156?
u
Let b be 1*-14 - (-3 + 1). Suppose 57*s + 3*q + 112 = 52*s, 2*s + 60 = -5*q. Which is smaller: s or b?
s
Let j be (-2)/3 - (68/(-18))/17. Is -4 > j?
False
Let l be -6 - -12 - (-4 - 62/(-6)). Which is greater: 413/2 or l?
413/2
Suppose -14*i + 79 = 23. Suppose 0 = -4*g + 28 + 8. Which is smaller: i or g?
i
Let j = 32 - 30. Suppose 2*a = -j*b + 22, 2*a = -0*a - 5*b + 28. Suppose 4*n - 3*g - 22 = 15, -5*n - g = -51. Which is smaller: n or a?
a
Let i = -16 + 18. Let c(d) = 2*d**2 - 3*d. Let z be c(i). Let p = 50 + -1652/33. Which is smaller: z or p?
p
Let x = 35.88 + -36. Are x and 21 nonequal?
True
Let y be (-7)/(-3) - 0 - 0. Let j(p) = 3*p**2 - p**3 + 4 - 9 - 4*p + 10*p. Let w be j(4). Is y >= w?
False
Let d(w) = 64*w - 493. Let q be d(11). Which is greater: q or 208?
q
Suppose -3*t + 24 = n, 0 = -5*n + 3*t - 2*t + 88. Let c = -199/11 + n. Is c bigger than 1?
False
Suppose -34 = 4*b - 3*k, -b + 3*k = -5*b - 46. Let i be b - (6/3 - (-1 + 3)). Which is greater: i or -9?
-9
Let r(q) = 8*q + 11. Let u be r(3). Is 35 not equal to u?
False
Let j = 9 - 9.3. Let y = -55 + 36. Let a = -17 - y. Which is smaller: j or a?
j
Suppose -378 - 137 = -3*x + s, 4*x - 712 = -5*s. Which is smaller: 175 or x?
x
Suppose -5*g - 77 = -67. Let u be (-2)/1 + (-3*12 - g). Are u and -36 nonequal?
False
Suppose 9*z = 4*z - 5*p - 5, -3*p = -5*z + 11. Is -6/133 > z?
False
Let c = 327 + -379. Are c and -52 non-equal?
False
Let s = 1219 - 23160/19. Is s less than or equal to 5?
True
Suppose -15 = -5*w + 2*j - 5, w - 2*j - 2 = 0. Let b be (-2)/12 - w/6. Let u be 2 + (-18)/6*1. Is b less than or equal to u?
False
Let z = 46 + -97/2. Let b be (-59)/(-4) - (-1)/4. Let a be (-3)/b - (-21)/(-45). Which is bigger: z or a?
a
Let t = 9 - 21. Let b be 63/28*t/(-9). Let r be (6 + -4 - b)/1. Does r = 2/23?
False
Let d(t) = -t**3 - 13*t**2 - t - 16. Let q be d(-13). Let a = -1.9 + 3. Which is greater: a or q?
a
Let b = 89 + -64. Let x = b + -25. Is -1/10 not equal to x?
True
Suppose 0 = -3*v + v. Suppose t + 4*h - 11 = 0, 3*h - 3 = -6. Let i be (-1)/(-6)*t/25. Which is bigger: i or v?
i
Let q = -817 + 831. Which is greater: 3 or q?
q
Let z = 0 - -0.2. Let c = 182 + -548/3. Is c smaller than z?
True
Let r = 78 + -389/5. Suppose 12 = 11*f - 14*f - 3*b, -f = -4*b - 16. Does r = f?
False
Let c(l) = -5*l - 45. Let y be c(-8). Which is bigger: 23 or y?
23
Suppose 3*p - 2*p - 4366 = -5*q, -5*q + 3*p = -4382. Are q and 876 unequal?
True
Let i = 1493 - 1492. Is -1/1546 greater than or equal to i?
False
Let x = 52 + -75. Let k = -1.553 + 1.553. Is k at most as big as x?
False
Let t be 17920/(-41) + 4 - -3. Let v = -430 - t. Which is smaller: v or 1?
v
Suppose -3*l - l = -3*y - 29, 0 = 2*l + 3*y - 1. Let a be 6/(-30) + 1/l. Which is smaller: a or 2/77?
a
Let a(c) = c**2 + 5*c + 6. Let z be (-5 - -7)/((-2)/5). Let k be a(z). Suppose 13*x - k*x = -84. Which is bigger: x or -13?
x
Let u be (-1)/(-2 + 3) - -3. Suppose s - 4*s + 181 = u*a, 0 = 5*s + 4*a - 305. Let r be (4 - 2) + s/(-27). Is -1 <= r?
True
Let d be (9 + -3)*(1 - 4). Let v = 1/2 + -7/6. Which is greater: d or v?
v
Suppose 0 = -3*x + 2*z - 9, 2*x = -0*x + 2*z - 6. Let g = -4 - -10. Let n be (1 - (x + g))/(-6). Is n > 0?
True
Let u(p) = -p**2 - 24*p - 44. Let h be u(-22). Let i be -1 - -1*2/(-14). Is i >= h?
False
Let y be 8/(-14) - 184/(-28). Suppose 2*d - y*d = 4. Let v = d - 0. Is v equal to 2/17?
False
Let x = -379 - -380. Let v = -53 + 87. Let p be v/60 + 1/(-2). Are p and x unequal?
True
Let s be ((-2)/(-4))/(12/288). Let v be (30/9 - 4)*-6. Let g be 4/14*v/s. Is g less than 0?
False
Let s be (-36)/(-30)*(-30)/9. Suppose 13*z = 11*z + 10. Do s and z have the same value?
False
Let c be 4/(-12)*(-3)/(-1). Let i be c + -2 + (-4)/(-1). Is 1 bigger than i?
False
Let l be (-1)/8 + 847/(-968). Let t = 3 - 1. Let h be (t - (-22)/(-8))*4. Is h not equal to l?
True
Suppose 4*q + 35 = 6*k - k, -11 = 4*q + 3*k. Suppose 4*u - 2*s = -12, -u - 2*s = -3*s + 3. Let i = -7 - u. Is q at least i?
False
Let c = -11 + 14. Suppose c*i + 2 + 37 = 0. Suppose -4*d - 42 = -d. Is d greater than or equal to i?
False
Let b(d) be the second derivative of d**3/6 - 3*d**2/2 - 5*d. Let t be b(2). Let r be ((-7)/14)/(t/(-12)). Is r at least -7?
True
Let z = -80 - 201. Is z smaller than -281?
False
Let w = 18 + -6. Let l be 8/w*3/(-46). Let k = -9 - -8. Which is bigger: l or k?
l
Suppose -2*g + 30 = 2. Let w be 2 + g/(-8) - (-6)/8. Is 1/69 at least w?
False
Suppose g - 10 = -3*i, -6*g + 26 + 13 = -3*i. Let b(j) = -j**3 - 5*j**2 - j + 2. Let q be b(-5). Is g less than q?
False
Let o = 15 + -13. Let f be (-4)/(0 + o) + 0. Is 0 less than or equal to f?
False
Suppose 4*n - 4*s + 344 = -0*s, -2*n - s - 187 = 0. Let x be 2/(-56) - 26/n. Are -1 and x equal?
False
Let p = -30554/45 - -679. Which is smaller: 1 or p?
p
Let o be (9/(-6))/(2/(144/(-28))). Is o > 3?
True
Let y(a) = -a**3 - 15*a**2 - 11*a + 43. Let g be y(-14). Let k = -4248803/56 + 75875. Let p = 22/7 - k. Which is bigger: g or p?
g
Suppose 3*z = -28 + 10. Let f = 2181 - 2189. Is f <= z?
True
Let o = 5611684 - 162719375/29. Let s be (-2)/1 + 1338/(-2). Let g = o + s. Which is greater: g or -0.1?
g
Let y = 0.0746 - -0.0254. Which is smaller: -5.7 or y?
-5.7
Let h be 53538/(-23056) + (1 - -1). Let k = h + 27/88. Is 1 smaller than k?
False
Let g = 745353/202709 - -3/6539. Which is smaller: 3 or g?
3
Let r be ((3 - 3) + 0)/(-2). Let x be 10/11 + (48/(-22) - -2). Which is greater: x or r?
x
Let r = 294 - 232. Is r at most 59?
False
Let z(l) = -17*l + 144. Let t be z(10). Is -27 equal to t?
False
Let f = -221 - -220.9. Which is greater: f or -0.007?
-0.007
Suppose -5*l + 340 = 14*j - 11*j, -4*j - 45 = -l. Does -2 = l?
False
Let h = 51.43 - -0.57. Let l = h + -52.3. Which is bigger: -1/14 or l?
-1/14
Let t = 40 + -39.92. Let i = 0.18 - t. Which is greater: i or 2?
2
Suppose -2*k - k + 42 = 0. Let g be ((-24)/k - -1)*-3. Do 2 and g have the same value?
False
Let j = 3 - 7. Let c be 8/10*(j + -1) - 2. Is c not equal to -6?
False
Let f = 8.9 - 4.7. Let k = f + 0.8. Let n = k + -6. Are n and -0.04 equal?
False
Let v = 15 + -15. Suppose 2*y + 2*k - 28 = -3*y, v = 3*y - 4*k + 4. Let s = -1 + 0. Is y at most as big as s?
False
Let w(v) = 3*v**2 + 62*v - 44. Let a be w(-23). Is 119 not equal to a?
True
Let j(z) = z**3 + z - 4. Let d be j(0). Are d and -54/17 equal?
False
Let x(q) = -q**2 - 3*q. Let y be x(-2). Suppose -y*t = v - 4, 2*v - t = -0*t - 2. Which is smaller: v or -2?
-2
Suppose 3*o = 2*c - 107, -37 - 8 = o - 3*c. Let u(f) = -f**3 - 57*f**2 - 107*f + 134. Let x be u(-55). Is x <= o?
False
Suppose 0 = -2*j + 29 - 31. Is j > 3/32?
False
Let q(y) = y**2 + 64. Let o be q(0). Suppose p - o = -3*p. Let j = 707 + -691. Is j equal to p?
