3)/(-2)*(120/(-45) + 2). Let l be 50/44 - (-1 - -2). Are t and l unequal?
True
Let p = 880 + -568. Suppose 5*x + p = x. Let a = -547/7 - x. Is 1 at most a?
False
Suppose -34 = -2*j + j. Suppose 2*z - h - 21 = 0, -4*z + 4*h = -j - 2. Which is smaller: z or -1/2?
-1/2
Suppose 3*s = 2*s. Let p be (-27)/(-25) - (1 + s). Suppose 4*k + 2916 = 2912. Which is greater: p or k?
p
Suppose -9 - 31 = 10*q. Is 9 > q?
True
Let a = 33 + 3. Let v = 36.1 - a. Which is bigger: 9 or v?
9
Let o = 5.4 + 8.8. Let i = 14 - o. Do i and -0.7 have the same value?
False
Let t be (-1)/(((-5)/(-15)*6)/(-2)). Is t greater than or equal to 1/154?
True
Let u be 7/(7/4) - 225. Let v be 287/(-17) - (-26)/u. Let g = -35/2 - v. Which is smaller: 0.2 or g?
g
Let y = 1214 + -1195. Which is bigger: y or 143/8?
y
Let f = 66.173 - 66. Which is bigger: f or 1?
1
Suppose -2*o + 82 = 26. Suppose 0 = 4*b - 0*b + o. Let y = 209 - 216. Is b less than y?
False
Let b = -5938/957 + 68/11. Is 0 smaller than b?
False
Let q be 2 + 6*5759/(-22). Let x = q - -1567. Which is bigger: x or -3?
x
Let b = 435 - 433. Let v = -28 + 31. Which is smaller: b or v?
b
Suppose 0*k + 63 = 4*m - 3*k, -2*m = k - 19. Let i(p) = -p**2 + 9*p + 50. Let l be i(m). Is l not equal to 14?
False
Let a be (2/12)/(1/37). Let f = -14/3 + a. Which is bigger: f or 0.2?
f
Let r be (-3)/(-7)*231/(-1056). Is r > -1?
True
Let h(d) = -d**3 - 15*d**2 - 24*d + 29. Let q be h(-13). Suppose 0*u + 36 = 3*u. Suppose -q*y = y + u. Is y bigger than 2/7?
False
Let i be (-156)/9 - (8/3 + -2). Does i = -19?
False
Let t(z) = z**3 + 13*z**2 - 15*z + 7. Let q be t(-14). Let f = q + -18. Which is smaller: f or -2?
-2
Let v = -0.52 - 2.48. Let b = -2.9 - v. Which is bigger: 15 or b?
15
Suppose 36 = 15*j - 17*j. Let a be j/(-60)*12/9. Is a not equal to 0?
True
Let u(n) = -9*n + 8 - n**3 + 0 - 3*n + 8*n**2 + 4*n. Let c be u(7). Is -2/105 equal to c?
False
Let x be 0*(0 + (-2 - -3)). Let p be 5/15 + (-55)/156. Let f = p + -3/13. Which is smaller: f or x?
f
Suppose 2 = g - 2. Suppose 3*u - g = -22. Let t be (0 - (-2)/u)/1. Which is smaller: t or 0.2?
t
Let r(s) = 2*s**3 + 13*s**2 + 8*s + 12. Let z be r(-6). Suppose f + 0 - 3 = z. Is f equal to 0?
False
Let p(z) = 0 - z**2 - 2*z + 5 + 3*z - 3*z. Let a be p(-4). Which is bigger: a or -2?
-2
Let j be ((-6)/4)/(3/4). Suppose -166 = -2*g - 2*b, -g + 4*g = b + 265. Let a = g + -88. Which is smaller: a or j?
j
Suppose -3*g + 3*v = 3, 0 = -4*g - 2*v - 2 + 4. Let c be ((-40)/30)/(4/(-3)). Is g at most c?
True
Let r be 34 - (1 + 1) - 2. Let u be (1 + -2)*(-3)/r. Let l = 298 + -298. Is u not equal to l?
True
Let y = 211 - 211. Suppose -2*t = -4*t + 6. Suppose -x + 1 - t = y. Is 3 <= x?
False
Let k be 6/1 - 1456/377. Are 3 and k equal?
False
Let n = 851 - 804. Is 48 less than n?
False
Suppose -2*b = 3*f - 0*f + 4, -b - 2 = -2*f. Suppose k - 2*w = -f*k - 119, 3*k + 351 = 3*w. Is k less than or equal to -116?
False
Suppose 4*h - 4*o - 7 = 9, -3*h = -2*o - 14. Let n be 3 - h/2 - 19. Let p be -4*(n/(-4) + -2). Is -11 >= p?
True
Let u = -3020.9 - -3021. Which is smaller: 276.8 or u?
u
Let q(w) = w**2 + w - 8. Let f be q(-4). Let s be 12/f + 4/2. Are 5 and s nonequal?
False
Let n be (-2)/5 - 48/(-20). Let h be 10 + -11 - (n - 3). Which is smaller: -3/16 or h?
-3/16
Suppose -1142 = -7*k - 113. Which is smaller: k or 148?
k
Let p be 7*(2 + (-14)/9). Let q = p + -104/45. Let x = 1030 - 1029. Is x > q?
True
Let t be 4*(-2367)/(-504) + (-2)/4. Which is greater: 19 or t?
19
Let d be (-16)/(-2) - (36 + -18). Which is greater: 15 or d?
15
Let c be -2 + (-2 - (-336)/81). Is c at most as big as 0?
False
Suppose 0 = -4*g - g + 90. Let s = 4956 + -4937. Is g greater than s?
False
Let z be ((-493)/51)/(1 + (-5)/6). Is z at most -51?
True
Let l(u) = -2*u - 1. Let t be l(2). Suppose 6*d = 5*d + 3. Suppose 0 = -4*z + 2*c - 46 + 12, d*z - 4*c + 33 = 0. Which is smaller: t or z?
z
Suppose -u = -3*u - 2*u. Suppose 0*y - i = -4*y, -5*i = 3*y. Let d = u - y. Is d != -5/8?
True
Let k(j) = -j**3 - 8*j**2 - 4*j + 10. Let h be k(-7). Let w = -26 - h. Let s = -3014 - -3000. Which is greater: s or w?
s
Let t = 67.6 + -3.6. Let a = -67 + t. Are a and -2/9 equal?
False
Let l(a) = a**2 + 3*a - 4. Let o be l(-4). Which is smaller: 8/51 or o?
o
Let b = 790 + -746. Is b > 27?
True
Suppose c = -x + 19, -c - 9 = 2*x - 50. Suppose -114 = 3*d - t - 4*t, 4*t - 177 = 5*d. Let s be (-6)/d + (-136)/x. Is -6 not equal to s?
False
Let u = 1540 - 1541. Is 2/4975 bigger than u?
True
Suppose -14*b - 3*x = -10*b - 10, 18 = 3*b - 3*x. Is b > -2/99?
True
Let y = -1366.5 - -1366. Let x = -0.05 - -0.11. Which is smaller: y or x?
y
Let g = -0.07 - -0.1. Let h = g + 0.33. Let c = 0.1 - h. Which is smaller: -2/3 or c?
-2/3
Let k = 22 - 22. Suppose k*w = 5*w. Suppose 56 = 4*v - w*v + 5*b, 2*b = 8. Which is smaller: 8 or v?
8
Let t = 19.4 - 10.8. Let m = -3.6 + t. Is m at most -0.1?
False
Let h = -1 + 1. Let x = -33179/8 - -4139. Let j = x + 8. Is h <= j?
False
Suppose 3*o = 3*h - 21, 4*h = o - 1 + 14. Suppose -4*k + h = -14. Let p be 0 - k*(-6)/(-8). Which is greater: 1 or p?
1
Suppose -2*a - 12 = -3*i - 2, 5*i - 8 = -a. Suppose i*w + 4 = 6. Let k be (-3*1/(-3))/1. Does k = w?
True
Let a = -28 + 39. Let u(v) = 5*v**2 + 6*v - 4. Let p(d) = d**2 - d + 1. Let b(k) = 6*p(k) - u(k). Let w be b(12). Which is greater: w or a?
a
Let k = 49 + -308. Are k and 2/5 unequal?
True
Suppose 0 = 4*f - 3*z - 11, 3*z = -2*f + 6*z + 1. Suppose 12 = -f*p - 28. Which is greater: p or -15/2?
-15/2
Let a = -1284 - -9010/7. Let n = 2 - a. Is -2 > n?
False
Suppose -5*s - a = 10, -5*s - 5*a - 11 + 1 = 0. Let z be (-4)/s - (-6)/5. Suppose h = 17*h - 64. Is h != z?
True
Let l = -2257/100 + 33/25. Let j = -8 - -29. Let u = j + l. Which is bigger: 1 or u?
1
Let l(j) = -j**2 + 6*j + 6. Let s be l(4). Is s at least as big as 15?
False
Let y(v) = -v**2 + 16*v + 65. Let r be y(-3). Is r > -9?
True
Let k(w) = w**3 - w**2 + w + 3. Let g be 3 + 0/(-3) + -3. Let j be k(g). Let s be -3*1*j/27. Which is smaller: s or -1?
-1
Let x be (-2709)/(-90)*26/91. Is x smaller than 8?
False
Let y be ((4/153)/1)/(4004/(-11310)). Let j = y + 8/231. Which is smaller: j or 0?
j
Let s = -75614/27 - -2800. Which is greater: s or -2?
s
Let y be (33/(-77))/((-21)/28). Is 64 > y?
True
Let p = 9/34 - -4/17. Let h = 0.35 + 3.19. Let u = h - 3.5. Is p < u?
False
Let u be 6 - ((-2 - -8) + -2). Suppose -i - u*i - 18 = 0. Is -8 at most as big as i?
True
Let l = -0.05 - 1.95. Let r = 4 - l. Let n = r + -6. Which is bigger: 2/3 or n?
2/3
Let b be -12 + 8 - -6*2/4. Is -2/355 at most as big as b?
False
Let s be 1 + -1 - 8/(-18). Let g(c) = -3*c**2 - 11*c + 13. Let t be g(1). Is s > t?
True
Let r = -1/245 - 97/245. Let q = -27.7 + 30.59. Let g = 0.11 + q. Do r and g have different values?
True
Let i(p) = -7*p**2 - 6*p - 4. Suppose 0 = 4*q + 2*n + 14, 2*q = -q - 5*n - 28. Let g be i(q). Is g > -5?
False
Let y = 261 + -107. Let g = y - 155. Is -1/100 not equal to g?
True
Suppose -96 = f - 3*f. Suppose -4*p = -7*p + f. Suppose 5*z = -3*k + 4*k - 24, -5*k = z - p. Which is greater: -2 or k?
k
Suppose -3 = 2*y - 0*k + k, -5*y + 2*k + 15 = 0. Suppose -n - y = -j + 9, 0 = -n + 1. Is 11 greater than j?
False
Let b = -686 + 686. Is b greater than 3/91?
False
Suppose -13*l + 16 = -5*l. Let a(x) = x**3 - x + 3. Let m be a(l). Which is smaller: m or 17/2?
17/2
Let z be -9 + ((-1)/1 - 2). Let d = z - -13. Is d bigger than -2/31?
True
Suppose 14*a + 22*a = -7164. Is a greater than or equal to -993/5?
False
Suppose -5*p = -o - 229, 0 = 5*p + 4*o + 8 - 217. Suppose -p = 3*f - 0*f. Let z be 2/(-6)*f/(-65). Does 0 = z?
False
Let i(k) = -12*k - 8 + 5*k + 8*k + 5*k + k**2. Let b be i(-10). Is b != 33?
True
Let c = -61 + 33. Let l be (-6)/c - 3/6. Let g be ((-2)/(-3))/((-12)/36). Are g and l non-equal?
True
Let k be ((-105)/(-39))/(2/14). Let x = k - 19. Let u = -33 + 33. Which is smaller: u or x?
x
Suppose 0 = -2*h + u - 3, 7*u - 11 = -h + 5*u. Which is smaller: 19 or h?
h
Let r(j) = 9*j + 535. Let f be r(3). Which is bigger: f or 0?
f
Let s = 1 + -1. Let b = -0.9 - 0.2. Let k = b - 1.9. Which is smaller: s or k?
k
Let m = -2.3 + -2.7. Which is greater: m or -14?
m
Let u(l) = l**2 + 5*l - 67. Let z be u(6). Let m = -630 + 4402/7. Which is greater: z or m?
z
S