= 112.1 + -112. Let d = -8.2 - -8. Let a = 0.1 - d. Are v and a nonequal?
True
Let f = -845 + 822.19. Let b = 0.19 - f. Let j = b + -22.5. Are j and 1 equal?
False
Let b = -617/18 + -55/18. Is -37 less than or equal to b?
False
Let s = -10.09 - -9.09. Let m = -46 - -27. Is s at least as big as m?
True
Let y = -1404 - -7066/5. Let g(x) = 8*x**2 + 1. Let h be g(1). Which is bigger: h or y?
y
Suppose -32*p = 18*p - 100. Which is smaller: -572 or p?
-572
Let d = -85.2 - -99. Let u = d + -14. Let n = 29 + -29.1. Is n less than u?
False
Suppose -3*a - 340 = a. Let g = -128 - a. Let y = -30 - g. Which is bigger: y or 12?
y
Suppose -b + 54 = 4*b + 2*j, 0 = -b - 4*j. Suppose 0 = -3*m - 9 + b. Which is smaller: -1/155 or m?
-1/155
Let o = -350106526/14137 + 1434420/67. Let y = -3356 - o. Which is smaller: y or 0?
0
Let n = 2 + -2.15. Let k = n - -1.05. Let u = k + 0.1. Are u and -0.2 nonequal?
True
Let p be (1 + 0)*(-380)/(-20). Let s = 50 - p. Is 31 greater than or equal to s?
True
Let d = -0.12 - -10.12. Let x = d + -9.9. Let o = 1.54 + -1.5. Are o and x nonequal?
True
Let j = -16.8 - 4.2. Let n = -21.2 - j. Is n < -4?
False
Suppose 3580*v - 3582*v + 346 = 0. Which is greater: 174 or v?
174
Let a = -2986 - -2080. Is a != -906?
False
Let p(t) = -t**3 + 5*t**2 - 3*t + 12. Let u be p(5). Let v be -3 - 3/(u/((-51)/(-13))). Which is smaller: 1 or v?
v
Let g = -292/1243 - -6/113. Suppose -4*a + 0*q = -5*q - 11, -7 = -2*a + 3*q. Which is greater: g or a?
g
Let k be ((-5)/(-70))/((-8)/(-7)). Let s be (28/50)/((-32)/(-65)). Let z = s + k. Is z at most 0?
False
Let p be 1/(-5) + (-182)/(-35). Let o(h) = h**2 + 4*h - 9. Let g be o(-5). Is g bigger than p?
False
Let z be -3 + (5 - 4)*33. Let v = -16 + z. Does 14 = v?
True
Let l(v) = v**2 + 18*v + 33. Let j be l(-19). Suppose -55*z = -j*z - 69. Which is greater: z or 25?
25
Let h be 2*((-9)/6 + 2). Let i be (6 - (7 + -3)) + (-21)/9. Which is bigger: i or h?
h
Suppose 1935 = 11*x - 1178. Do 283 and x have the same value?
True
Let z(k) = 9*k + 50. Suppose -2*s + 4*v - 8 = 2*s, 0 = 2*v + 10. Let q be z(s). Is q at least as big as -11?
False
Suppose 0 = c + 4*c - 10. Suppose -5*r - 77 = -o, -o - 4*o + 5*r = -285. Suppose 0 = -4*t + c*t + o. Is t at least as big as 26?
True
Let w = -5 - -5.4. Let b = 0.7 - w. Let v = -2583.3 - -2583. Are b and v equal?
False
Suppose 51*g = 226 - 6142. Is g at most -117?
False
Let g(h) = h**2. Let o be g(0). Let a be (2/(-60))/((-13)/39). Which is smaller: a or o?
o
Let c = 3 + -4. Let p = 231 - 228.3. Is p less than or equal to c?
False
Let q = 3 - 1.8. Let w = -3.3 - -2.3. Let b = q + w. Is b greater than or equal to 1?
False
Let p be 169/1300 - ((-21)/12 - -2). Which is smaller: p or -1?
-1
Let r(z) = -21 + 2*z - 18 + 35. Let x(t) = t**3 + 5*t**2 + 5*t + 6. Let j be x(-4). Let c be r(j). Do c and -2/21 have the same value?
False
Let o(g) = 900*g + 2. Let q be o(-1). Let w = q - -8989/10. Which is smaller: 0 or w?
0
Let n = 3.54 + 52.46. Do -2 and n have the same value?
False
Let a(q) = 21*q**2 - 5*q - 2. Let k be a(-1). Is k bigger than 19?
True
Suppose 0 = 3*m + 3*p + 624, 0 = -3*m - 5*p - 319 - 311. Is m at least as big as -205?
True
Let s = -99 + 120. Which is greater: 10 or s?
s
Suppose -5*r = -2*t - 2*t - 35, 5*t = 5*r - 40. Let w be (t - -5) + 0 + 0. Let y = -8335/22 - -379. Which is bigger: y or w?
y
Let l(b) = 8*b. Suppose -2*n = 3 + 3, 0 = 2*y + 2*n + 4. Let c be l(y). Let t be 2/(-3 + 1 - c). Which is greater: 0 or t?
0
Suppose 2 = -s + 7. Let y = 7 - s. Suppose -y*w = k - 8, 2*k + 2*w - 7 = w. Which is greater: k or 1?
k
Let l = 11 - 12. Let y = -34 - -53. Let a = y + -9. Which is greater: l or a?
a
Let n = -12956/7 + 1847. Is n smaller than 0.1?
True
Suppose -2377 = -5*s + 3*x + 1874, 0 = 2*s - 2*x - 1698. Let p = s + -9348/11. Do 3 and p have the same value?
False
Suppose -3*z - 2*z + 3*g + 285 = 0, 4*z + g = 245. Suppose -4*p = 5*l - z, 0 = -l - 2*p + 6. Does l = -1?
False
Let a = -378 + 383. Suppose p + 5*c + 11 = 0, -3*c + 4 = 2*p - 2. Is a != p?
True
Let g = -19 - -12. Let l = 11 + g. Suppose 0*z + v = -5*z + 6, l*v - 8 = -4*z. Which is bigger: z or 1/12?
z
Let q = 13564554 + -69465914/5. Let l = 2306639/7 + q. Let b = -891 + l. Which is greater: 0 or b?
b
Suppose -17 = -i - 3*c - 3, -2*c = -i - 6. Is i < 51/16?
True
Let k be (0/(-3))/(-2 - 0). Let z be 2 + k - (2 - 2). Let u be -4*9/24*z. Is u < -5?
False
Let z = -31 + 1861/60. Which is bigger: z or 0?
z
Let w be ((-1)/(-7))/(30/105). Which is greater: 99 or w?
99
Let a be (1*16/(-4))/10. Is a bigger than 26?
False
Let p(j) = 3*j**3 - 5*j**2 + 6*j - 2. Let m be p(2). Let b = -17 + m. Are 9 and b unequal?
True
Let v = -183 + 184. Is v at least as big as 2/219?
True
Let p(i) = -i**2 - 5*i - 4. Let d be p(-4). Let s be (40/(-42) + 1)/((-10)/(-30)). Which is greater: s or d?
s
Let m = 25.47 - 32.1. Let t = m - -0.63. Which is smaller: t or -2/3?
t
Suppose -4*k - 3*g + 95 = -2*k, -4*k + 2*g + 150 = 0. Let j be k/(-12) - 0 - -2. Is 3 equal to j?
False
Suppose 6*g = -27 + 3. Let p(w) = 5*w + 17. Let s be p(g). Let x be 11*-1*(-2)/(-10). Are x and s nonequal?
True
Let m be -3*6/27 - 0. Suppose 0 = 3*l + 2*l - 20. Suppose -3*b = 2*v + l + 12, -b - 17 = 3*v. Which is bigger: b or m?
m
Let a = 4 + -4. Let s be 32/20*(-5 + a). Is -8 less than s?
False
Let t = -1/1914 + -872305/957. Which is bigger: t or -913?
t
Let c(l) = l**2 - 13*l - 1. Let m be c(13). Is 2/461 at least m?
True
Let o(t) = -t**3 + 11*t**2 - t + 10. Let w be o(11). Let f be 52/(-2) + w + -3. Let a = f + 31. Is 2/3 at least a?
False
Suppose 149*i = 142*i. Is -2/25 less than i?
True
Let f be -1 - 0*(0 - -1). Let z(c) = 5*c**2 - 5*c + 5. Let u be z(3). Let y be 9/(-105)*u/14. Which is smaller: y or f?
f
Suppose -2 = -q, -f + 15*q - 11*q = -458. Which is greater: f or 467?
467
Suppose -11*r = 17*r - 12880. Are 459 and r non-equal?
True
Let r = 47 + -197/4. Let d = 22 - 25. Does r = d?
False
Let h = 47/3 - 15. Is h less than -0.0737?
False
Suppose 0*k = 3*k - 12. Suppose k*s = p + 143, 4*p - 41 = -s - p. Suppose 5*n - 444 = -7*n. Which is bigger: n or s?
n
Let f(t) = -1157*t**2 + 2*t + 1. Let b be f(-1). Let l = 10462/9 + b. Which is smaller: 3 or l?
3
Let q = -0.072 + 0.102. Let p = q - -5.97. Is 2/3 < p?
True
Suppose 0 = -0*v - 5*v. Suppose 4*k - 2*u - 4 = v, 2*k + u + 2 = -2*k. Let r be (6 + -7 + 2)/11. Which is bigger: k or r?
r
Suppose 26*z = 30*z + 8. Let r = -1 + z. Let p = 45 + -46. Is r greater than p?
False
Let k = -0.58 - -3.28. Let b = -2.8 + k. Do b and -5 have the same value?
False
Let h be 4/10 - 7/5. Let g = -1 + 5. Let n be 8 + -8 - 7/g. Which is bigger: n or h?
h
Suppose -5*p + 2*l + 3*l = 1095, 5*l + 903 = -4*p. Let z = p - -1779/8. Suppose -2*y = 5*f - 9, 8*y = -5*f + 10*y + 1. Is f smaller than z?
False
Let f be 2 + (-7)/(7/(-2)). Let v be ((-14)/f)/(2/(-4)). Is v <= 8?
True
Let x = -941 + 957. Is x equal to 34?
False
Let x be (-2)/8 - 148/(-16). Suppose 0*o - 3*o + x = 0. Let h = 110 + -109. Which is bigger: h or o?
o
Let r(b) = 3*b + 190. Let u be r(-5). Is 174 greater than u?
False
Let s(w) = w + 6. Let z be (-28)/(-6) + (-14)/21. Suppose -4*c + 0*c = p + 3, -z*p = -2*c + 12. Let j be s(c). Which is bigger: 3 or j?
j
Let p = 2492 - 77244/31. Which is bigger: 1 or p?
1
Suppose d - 4*u = 17, -u = -3*d - 3*u - 19. Let r(f) = f + 9. Let k be r(6). Let t = 11 - k. Is t not equal to d?
True
Let a = 20.5 - 20.6. Is -1/24 equal to a?
False
Let o = -102/25 - -3172/775. Let k be -6 - 1/(-2)*12. Is k > o?
False
Let n = -0.05 + -29.95. Let g = n - -29. Which is smaller: g or 2/7?
g
Suppose 19152 = -4*q - 24*q. Which is smaller: q or -683?
q
Let v = 1411 + -914. Are v and 498 nonequal?
True
Let l = 1/32 - 57/32. Let m = -2322 - -157785/68. Let i = m - l. Is i less than 0?
False
Let y be (-8)/(-3)*3297/28. Let n be 6/(-14) - y/84. Are -5 and n unequal?
True
Suppose 0 = 2*f + f. Let u = -80 + 115. Let h be (-14)/u + (-48)/(-170). Which is smaller: f or h?
h
Let n = -3064/23715 - -18/155. Is n at least -6?
True
Let b = -1312600/171 - -7676. Which is greater: 0 or b?
0
Let z be (-100)/(-35)*(-266)/(-12). Let x = z + -64. Let v = 1761/5 + -351. Which is smaller: x or v?
x
Let x = -1445 - -1417. Which is greater: 2 or x?
2
Suppose -2*s - 16 = -4*i - 2, 0 =