 g/((-6)/70) + 23/(-69). Is -12 <= q?
True
Let n be 8/18*60/25*20/(-8). Is n at least as big as -2?
False
Let x(c) = 58*c + 3942. Let z be x(-68). Let s = 3.03 + -0.03. Let g = s - 1.7. Is z bigger than g?
False
Let i = 96 + -53. Let p(n) = -2*n**2 + 4*n - 19. Let r be p(8). Let f = i + r. Is -70 less than f?
False
Suppose 0*q - 2*q = 4*f + 196, -5*f = -2*q - 214. Let o = -46 - -61. Let m be ((-12)/q)/((-3)/o). Is m at least -2?
True
Let x = 45 + -41. Suppose 2*i = -x*s + 184, 2*i - 4*i - s = -190. Let j be i/(-9)*15/(-10). Is 15 smaller than j?
True
Let j(l) = -12*l**2 - 174*l + 186. Let o be j(1). Suppose -4*b = 3*a - 0*b + 22, 5*a + 5*b + 30 = 0. Let v be (-3)/16*1/a. Which is bigger: v or o?
v
Suppose -17*h - 212 = 553. Let x be -1*(-6)/(-27)*h/60. Do x and -7/3 have different values?
True
Let r = -1237.6 + 1240.1. Which is smaller: r or 1.4?
1.4
Suppose -g - 37 = -4*g - 5*i, i - 1 = g. Suppose -g*u + 2*u + 2 = 0. Let l = 1036/253 + -46/11. Is l at least as big as u?
False
Suppose -99 = -y - 4*d, -5*y - 6*d = -d - 480. Let r be 4/(-38) + 1245/y. Suppose j - r = 5*b - 2*b, -j = 5*b + 19. Is j < 2/25?
False
Let o(i) = -310*i + 1430. Let w be o(5). Is w smaller than -842/7?
False
Suppose 4*l - 3*r - 19 = 0, 0*l + 2*l - 3*r = 11. Let b be (-164)/(-10) - l/10. Let j be ((-6)/b)/(1/(4/105)). Which is smaller: j or -1?
-1
Suppose -55*g + 51*g = 36, -o + 316 = -4*g. Which is greater: o or 38?
o
Let t(k) = 2*k**2 - 9*k - 8. Let a be t(-1). Suppose -4*n + c = -0*n - 4, -4 = a*n + c. Is n bigger than 42?
False
Let m = -30 - -32. Suppose 5*r = -4 - 11, -m*r = 5*u + 46. Suppose 36 = -4*q + 2*g, 7*g = 12*g - 10. Is q less than or equal to u?
True
Suppose 3*x + 3*r = 7566, 10*x = -3*r - 0*r + 25213. Is x at least 2521?
True
Suppose -692991 = 147*d + 539457. Is -8386 less than or equal to d?
True
Let y(a) = 50*a**3 - 4*a - 3. Let n = 10 - 11. Let b be y(n). Let i = 44 + b. Which is smaller: i or 3/7?
i
Let u = 0.045 + -88.045. Let c = 90 + u. Is c bigger than -0.1?
True
Let x = 115 + -563. Suppose -i + 0 + 2 = 0. Let v be (-1 + i)/(-3 + x/(-148)). Which is smaller: v or 36?
36
Let m = -4 - 75. Let k = 81 + m. Are k and -0.36 equal?
False
Suppose 0 = -2*p + 3*p + a - 2987, 5*p - 6*a - 15012 = 0. Is 2994 at least as big as p?
True
Let v(d) = 3*d**2 + 37*d + 6. Let o be v(-12). Let k(s) = 8*s - 2. Let u be k(1). Suppose 2*f - u + 4 = 0, 2*f = -2*z + 2. Is o < z?
True
Let o be 27/5*(-3800)/(-228). Let a = -73 - -163. Do o and a have different values?
False
Let q be 1318/12 - (-3)/(-90)*-5. Let r be ((-8)/4)/2 + 143/q. Do r and -9 have different values?
True
Let c = 32 - 15. Suppose 140*s + 60*s = 31*s + 3549. Which is greater: c or s?
s
Let h = 645/2372 + -13/593. Which is smaller: h or -0.2353?
-0.2353
Let k be 1 + ((-8)/36 - (-1131)/108). Suppose 3*s - 9 = 102. Suppose s = 10*q - 63. Which is smaller: q or k?
q
Suppose -7*j + 1304 = -950. Let b = j + -332. Is -55/6 > b?
True
Suppose -6*q + 477 - 105 = 0. Suppose -c + 5*l + 10 = 0, 0*c + 4*c - q = -2*l. Suppose -4*p = 4*w - 64, 24*w - 2*p = 19*w + 80. Which is bigger: c or w?
w
Suppose 5*p = -5, -2*a + 0*p + 1 = p. Let x be (144/(-360))/(a + (-14)/10). Is x less than or equal to -2/99?
False
Suppose 5128 = 29*z - 7400. Which is bigger: z or 8?
z
Let i be (-2367)/5 + (-9)/15. Let m be 50/(546/(-133) - -4). Which is bigger: i or m?
i
Suppose -5*s - 2*r + 2859 = 0, 2*s - 1152 = -3*r + r. Which is smaller: 5 or s?
5
Suppose -28*p - 3*m = -27*p - 19, 0 = -3*p - 5*m + 37. Suppose 4*z + p*t = 4, 4 = z + z + 4*t. Which is bigger: z or 147?
147
Let i be (7 - 23)/(-4) - 20230/(-16). Let z = i + -1277. Which is smaller: z or -9?
-9
Let t = 306 - 231644/757. Let m = t - -7584/5299. Which is bigger: 2 or m?
2
Let i = -10.8 - 12.2. Let q = i + 22.9. Let y = q - 0.46. Which is smaller: y or 1?
y
Let b(v) = -201*v - 1207. Let z be b(-6). Is z < -4/2051?
True
Let p be ((-9)/1818)/(((-72)/(-16))/(-3)). Is p greater than or equal to -26?
True
Let f be (-20)/(-5) + (-42)/9. Let y = f - -32/57. Is 1 smaller than y?
False
Let i = -3987.2 - -3967.1705. Let r = 0.0905 - i. Let s = -20 + r. Is s >= 3?
False
Let y be (0 + -1)*2 - -2. Let z be (-15348)/2232 - -7 - (-4)/24. Does y = z?
False
Suppose 4*h = 6*h - 22. Suppose -4*w = 3*w - w. Suppose w = -4*x + 10 + 30. Which is bigger: x or h?
h
Suppose -11*i = -10*i - 3852. Let r = i + -169481/44. Let m = -705/4708 + r. Are 0 and m unequal?
True
Let k = -340995730/3029 - -112577. Which is greater: k or -1?
k
Suppose -5 = -5*c - 5*p, 0*c + 4*p + 12 = 4*c. Let w = -0.02059 + 9.02059. Which is greater: w or c?
w
Let q be ((-2168)/12)/(1/((-12)/40)). Is q greater than or equal to 53?
True
Let s be (-436)/(-10)*375/600. Suppose -15 = 9*b - 258. Which is smaller: s or b?
b
Let u(v) = 3*v**2 + 5*v - 1. Let n be -3 - (5 - (3 - 1)). Let m be u(n). Let f = m + -76. Is 1/4 less than f?
True
Let k(n) = n**3 + 15*n**2 + 27*n - 17. Let b be k(-12). Let v be (4/14)/((-1664)/b + 19). Let l be -2 - 77/(-27) - 1. Do l and v have different values?
True
Suppose 7 = 5*p + 4*n - 13, 5 = -5*p + n. Let i be ((-15)/(-836))/(3*6/189). Let j = i - 1/152. Which is smaller: j or p?
p
Let j(z) = 65*z - 1. Let p be j(0). Is -17/50 less than p?
False
Let o be ((-9)/15 + 346/310)*647. Let m = 334 - o. Is -1 less than m?
True
Let f = -10838 + 19433. Let w be ((-3)/(f/12))/(18/135). Is -1 bigger than w?
False
Let n = 31 + -29. Let z be (5 + -3 - n) + -186 + 2. Let y be (-936)/z - (7 - 2). Which is greater: y or 1?
1
Let l = 3 - -90. Let d = 18822.5 - 18819.5. Are d and l equal?
False
Let u(x) = -5*x**2 + 4*x + 1384. Let j be u(33). Does -0.1 = j?
False
Let k(d) = 2*d**2 + 17*d + 15. Let f be k(-14). Suppose i - 2 = -i. Suppose t = -5*o - i + f, -t = -3. Are 33 and o equal?
True
Let f be (-34)/12 - 2/12. Let b = 95 + -99. Let u be 7 - (2 + (-8)/b). Are u and f unequal?
True
Let i(t) = -4*t - 34. Let f(k) = k**3 + 6*k**2 + 4*k + 15. Let h be f(-6). Let m be 28/(-2) - (h + 4). Let v be i(m). Which is bigger: v or 15/11?
v
Let n = -4301 - -30056/7. Suppose 2 = -x + 5, -4*o = 5*x + 13. Which is smaller: o or n?
n
Let h = 7087 - 11765. Is h at least as big as -3?
False
Let u be 8/(-6) - (-3 - 140/6). Let b be 6/45*9*u/75. Is b greater than -0.086?
True
Let n(v) = 641*v - 12. Let b be n(-1). Let w = 654 + b. Is w at least as big as 3/553?
True
Suppose 0 = 3*k - r - 20, 0 = 61*k - 60*k - 3*r - 4. Is k < 183/29?
False
Let l = -24487 + 21854. Which is smaller: l or -13171/5?
-13171/5
Let t be -21*(-4 - 22/(-6)). Suppose 23 = 3*r - 4*g, -6 = -3*r + 2*g + t. Let m be (-35)/(-45)*4/7. Which is smaller: r or m?
m
Let c(d) = d + 218. Let w be c(-40). Suppose -5*k - 132 = 2*y, 4*y + 86 = 3*k - w. Which is smaller: y or -61?
y
Let v = 69125 + -69106. Let y = 4942/3 - 1629. Is y != v?
True
Let u = -2602 + 2613. Let z(k) = -k - 4. Let i be z(-6). Let f(p) = 7*p - 2. Let m be f(i). Which is smaller: m or u?
u
Let a = 10.33 + -10.03. Let c = -0.78 + 0.36. Let o = 0.5 + c. Which is bigger: o or a?
a
Suppose 0 = 10*o + 32*o + 42. Let k be o + 11/((-11)/315). Which is smaller: k or -315?
k
Let j = -196 + 260. Let r = -63.974 - 0.126. Let c = r + j. Which is greater: c or 1/17?
1/17
Suppose 0*f + f - 52 = 4*t, -5*t = -5*f + 200. Suppose 0 = 4*a - f + 60. Let h be 230/a - 14/21. Are -39 and h nonequal?
False
Let u(k) = -11*k**2 - 14*k - 56. Let w be u(-8). Let y = w + 762. Is y greater than 110?
True
Let o = -5573 - -5573.1. Does -1285.8 = o?
False
Let z be (1 + (-2 - -2))*(-275)/(-9875). Is 1 greater than z?
True
Let z = -13.398 - 0.002. Let v = 51.6 - z. Let b = v - 62. Is -2/5 equal to b?
False
Suppose -c + 0*m = -4*m + 8, 0 = -3*c + 2*m + 6. Suppose 3 = -c*f - 5*p, -f = -4*p + 3 + 3. Let h be (4/2 + (-10)/5)/f. Which is greater: -1/65 or h?
h
Let b = 6.5 - 8. Let t = b + 1.61. Let u = 5043 + -5042.9. Which is smaller: u or t?
u
Suppose 4*m + 4*q = 168, -q - 4*q = 15. Let l = 6 - m. Let f = l + 91. Is 52 less than f?
False
Let m = 888 - 889. Let g be -102 + -1*(m + 3 - 0). Are g and -104 equal?
True
Let n = 14417 + -14787. Do n and -8 have different values?
True
Suppose 65 = 6*t - 499. Let y = t - 83. Which is bigger: 13 or y?
13
Let u = 28393421/149 - 190559. Which is smaller: u or 0?
0
Suppose 0 = -z + u + 4, -u - 22 = -4*z - 0*u. Let l(