2*a - 20 = -i. Is d <= i?
False
Let g = -21 - -12. Let y = -11936.9 - -11937. Which is smaller: g or y?
g
Let x = -631 + 629. Let g = 3/2 + -8/5. Do g and x have the same value?
False
Let d = -281/469 - 2/2345. Is 1 not equal to d?
True
Let p be -2 + (-29)/25 + 3. Which is greater: -1 or p?
p
Let m be 1*((-4)/12)/(2/12). Let o be m*((-12)/(-4) + -4) + 0. Which is bigger: o or 18/11?
o
Suppose -3*o = 4*u - 20, 3*o - 16 = 2*u - 7*u. Suppose 3*j + o = 6*j. Which is greater: 6 or j?
6
Let s = -120154/4581 - -10/1527. Let z = 26 + s. Let t(y) = -y. Let d be t(0). Which is smaller: d or z?
z
Let r be (-20 - -18)*(-2)/1. Suppose -r*h + 0 = -12. Suppose 0 = h*l - 12, 3*q - 4*l + 13 = -15. Which is bigger: -2 or q?
-2
Let r be (-6)/(-1251)*(-3 + 2). Let x be (-2492)/2085 + (-3)/15. Let a = r + x. Which is smaller: a or -2?
-2
Let l = 1224 - 1319. Are -95 and l non-equal?
False
Let j = -134761/45 + 2995. Which is smaller: -1 or j?
-1
Let n(v) = 30*v - 142. Let s be n(5). Which is greater: -2 or s?
s
Let l = 339/79577 - 1/1054. Which is greater: l or 1?
1
Let y be (5 - 6)/(5/(-2763)). Let j = y - 556. Let d = j - -109/35. Which is bigger: d or 0.03?
0.03
Suppose -4*o = -4*u - 5*o + 5, 2*u = -4*o + 6. Let a = 40 - 85. Let t = -43 - a. Which is greater: u or t?
t
Let g = 1564 + -1591. Is g less than or equal to -109/4?
False
Let y = -20 - -22. Suppose 5*v = -y*r - 35 - 20, 3*r + 37 = -4*v. Let c be 12/(-54) - (-124)/(-9). Which is bigger: v or c?
v
Suppose 10*o = 14*o - 12. Suppose -o*q - 51 = -2*w + 34, 89 = -3*q + 4*w. Is q not equal to -27?
False
Suppose h + 0*l = -2*l - 12, -3*h + 3*l - 27 = 0. Do -105/11 and h have the same value?
False
Let o = 26 - -8. Suppose 4*f - 3*f = 9. Suppose -5*d = -o + f. Which is smaller: d or 4?
4
Let z be (-15)/(-100)*(-4)/21. Do z and 1 have the same value?
False
Let p(k) be the first derivative of -k**2/2 + 3*k - 4. Let x be p(2). Let q = x - 2. Is 0 > q?
True
Let x = 4075 + -4076. Let g = -2/133 + 141/532. Which is smaller: g or x?
x
Let w be -324*(-1 - -2) - -4. Which is smaller: -0.1 or w?
w
Suppose -160 = 230*p - 225*p. Is p less than or equal to -33?
False
Let h = -0.176 - -0.132. Which is smaller: h or -0.11?
-0.11
Let y = -12 + 11. Let z be 14/12*y - 2/(-12). Is -1.9 greater than or equal to z?
False
Let k be 1*(-2 - (0 - (2 + 0))). Are -2/27 and k nonequal?
True
Suppose 96 = 38*d - 14*d. Which is smaller: -3 or d?
-3
Let i be (-2)/4 + (2 - 1). Let s be (-91)/(-28) - 5/4. Suppose z + 4*j - 41 = -s*z, 5*z = 2*j + 25. Which is greater: z or i?
z
Suppose 2*y + 11 = 55. Let d be y/(-3 - -1) - -3. Suppose -2*l - 32 = 2*l. Is l > d?
False
Let v = 62 - 2. Let z = -67 + v. Suppose -3*x = -2*q + 7 + 21, 5*q = -x + 2. Is z at least x?
True
Let m(i) = i**3 + 4*i**2 + 4*i + 7. Let c(n) = -2*n**3 - 7*n**2 - 7*n - 15. Let b(l) = 2*c(l) + 5*m(l). Let d be b(-5). Which is bigger: d or -8/11?
d
Let b = 46579/37 + -1259. Which is greater: b or 0?
0
Suppose l - 2*l - 4*t = -20, -5*t - 122 = -4*l. Let u = -49 + l. Let z be (u/7)/(1/2). Do -8 and z have the same value?
False
Suppose -4 = -36*b + 32*b. Which is greater: b or 2/693?
b
Let y = -47 - -70. Let i = 0.048 - -0.152. Do y and i have different values?
True
Let t(j) = j**3 - 5*j**2 - 8*j + 12. Let y = 49 + -43. Let o be t(y). Which is smaller: o or 4/13?
o
Let j = 45/31 + -467/279. Are -7 and j equal?
False
Let s(g) = 8*g + 23. Let y = -3 - -8. Let w(u) = 7*u + 22. Let t(f) = y*s(f) - 6*w(f). Let x be t(-11). Does x = 1/5?
False
Let h = -0.0949 - -0.0649. Which is smaller: h or -17?
-17
Let a = -1469/29415 - 4172022242/2264955. Let i = 1842 + a. Is i > 0?
False
Let j = 6 - -2. Suppose -2*m + 0*p = p - 2, -4*p = -3*m - j. Let c = 42 + -251/6. Which is greater: m or c?
c
Let a = -0.53 - -0.33. Let s = -1 + 0.9. Let d = 0 - s. Is a greater than or equal to d?
False
Suppose 5*o - 5*f + 145 = 0, o - 139 = 6*o + f. Let a = 3 + 1. Suppose -a*t - 141 = 5*u - 0*t, 5*t = -5*u - 140. Which is bigger: o or u?
o
Let f be 96/(-135) - 7/(-63). Is f at most -60/11?
False
Suppose u + 2*c = -2*u - 431, 0 = 4*u - 5*c + 613. Which is smaller: u or -145?
u
Let v = 363 - 1082/3. Is 2 smaller than v?
True
Let u = 677/17 + -40. Let q be -6*1/(-24)*(0 - -4). Which is smaller: u or q?
u
Suppose -4*r - 5*h - 1263 = 0, -2*r - 389 = -4*h + 223. Is r at most as big as -312?
True
Let b be (-234)/(-24)*(-5 + 7/3). Which is smaller: b or -25?
b
Let d = -100 - -98. Let v be d - (4 - ((-4)/(-7))/(-1)). Which is smaller: v or -7?
-7
Suppose 0 = 16*p + 15*p - 3131. Which is greater: 0.1 or p?
p
Suppose 0 = -3*z - 5*g + 334, 5*z + 3*g - 500 = 6*g. Let w = z - 102. Do w and 3 have different values?
True
Let g be 406/290*(-18)/14. Which is greater: 1.3 or g?
1.3
Let o = 0.53 - 0.646. Is o less than 0.2?
True
Let z(b) = 15*b - 244. Let q be z(16). Let p(v) = v - 1. Let w be p(1). Do w and q have the same value?
False
Let g = -4.11 + 0.11. Let f be (-99)/(-21) + 8/28. Suppose 5*v - f = 0, -4*x - 27 = -3*v - 0*v. Is g at most as big as x?
False
Let t = -314.5 + 315. Is 5 != t?
True
Let h = 9095 - 9089. Let z = 10 + -6. Suppose -k + 6 = -2*p, k + z*p - 6 = -0*k. Is h at most as big as k?
True
Let i(o) = -2*o + 59. Let g be i(26). Let v be (1 - 3)/(-1) - 0. Suppose -2*b = v*n - 1 - 15, 5*b - 38 = -3*n. Is g smaller than b?
False
Let b be (-84)/18*(-6)/4. Suppose 3*y + 8 = b*y. Suppose 0 = -3*r + y*r + 11. Which is smaller: 10 or r?
10
Let h(z) = -5*z - 17 + 2*z**2 - 8*z**2 + z**3 + 19. Let a be h(5). Is -48 < a?
False
Let r be (6/(-12))/(4/(-8)). Suppose -36 = -3*b + 5*b. Let q be (-6)/(-2) + 58/b. Is r <= q?
False
Let w(g) = -5*g - 70. Let j be w(-12). Which is smaller: -16 or j?
-16
Let x be ((-182)/(-84))/((-1)/(-6)). Let g = 7 - 7. Which is smaller: g or x?
g
Suppose -p + 0*p + 2 = 0. Let i be (p/14)/((-168)/(-49)). Which is smaller: 0 or i?
0
Let b = 179.4 - 179.35. Which is greater: 2/7 or b?
2/7
Let p = -921.87 - -927. Let i = p + -0.13. Which is bigger: 1/3 or i?
i
Let t = -60 + 60. Does t = 1/34?
False
Let a = 31 + -19. Is a > 12?
False
Let d = 8 - -1. Suppose -4*x - 1 + d = 0. Suppose -9 = 2*h + 3*i, -x*h - 5*i - 15 = -0*i. Is -1 <= h?
True
Suppose -68*i + 45*i + 1495 = 0. Which is greater: 575/9 or i?
i
Let m be (7 - 12)/10*-268. Which is greater: m or 136?
136
Let f be 2 - (-3)/(72/(-39)). Let r be (-6)/(-6 - -12) - (-1 - 1). Is f less than r?
True
Let b = -22 + 2. Let l = b - -28. Let w be 1/(-4) - 78/l. Which is smaller: -11 or w?
-11
Let m = 59 - 53. Suppose -m*d - 7 = -1. Do -5/16 and d have different values?
True
Let a(i) = i**3 - i**2 + 3*i. Let k be a(2). Suppose 5*o - r - 13 = 9, -o - k = -5*r. Let p = -0.019 - -0.019. Which is smaller: p or o?
p
Let q(k) = k**2 - 6*k. Let h be q(6). Suppose -2*n - 4*i + 90 = h, -5*i = 2*n - 6*n + 128. Is 37 greater than or equal to n?
True
Let v be 2/12 + (-287)/(-6). Let i = v + -62. Which is bigger: i or -12?
-12
Let j be (-554)/(-696) - 1 - (-4)/16. Is 1 equal to j?
False
Suppose 4*u - 171 = -3*k, 5*k + 12 + 3 = 0. Let r be u/(-39) + 0 + 2/13. Which is smaller: r or 24?
r
Let k be 4/18 + (-25)/(-9). Let u = 6 - k. Let i be -2 + u + (-2 - -2). Is -1/6 at least i?
False
Let v = -8389/3 + 2797. Let b = -0.5 + 0.6. Is v less than b?
False
Let o be 768/(-4644) - (40/(-18))/5. Which is smaller: 0 or o?
0
Let g = -1219 + 6093/5. Which is greater: g or 340?
340
Let w(c) = 19*c + 191. Let y be w(-10). Which is greater: 1/408 or y?
y
Let s(i) = -2*i**2 + 27*i - 6. Let d be s(14). Which is smaller: d or -13?
d
Let t = 21 - 1. Suppose 0 = -2*g + 5*l - 27, -3*g = l + 1 - 3. Is g at least t?
False
Let i(q) = q**3 + 10*q**2 - 3*q + 30. Let m be i(-10). Is m >= 58?
True
Suppose -2*u = 12 - 30. Which is bigger: u or 15?
15
Let c = -737 + 739. Which is greater: c or 28?
28
Suppose -5*t = -19 - 81. Suppose 3*o = 8*o - t. Suppose -3 = -b + o*b. Are b and -1 unequal?
False
Let x(o) = 2*o - 5. Let i(a) = a. Let f(r) = 3*i(r) - x(r). Let l be f(-5). Which is smaller: 1/81 or l?
l
Suppose -2*y = 69*a - 74*a + 20, 40 = -4*y + 3*a. Which is bigger: -26 or y?
y
Let n = -3 + 17. Let r = n - -17. Is -1/2 less than r?
True
Suppose 11 + 5 = -2*u. Let b be (-68)/u*-2*1. Let y = b - -19. Is -5 > y?
False
Let d be 7*5168/(-30180) - 3. Let g = d + -2/1509. Which is greater: g or -3?
-3
Let s = 