-15*3*(-2)/18. Suppose -l = 4*c - 9*c, 0 = -2*c - v*l. Suppose 3*n + 4*s = -17, s = -3*n - 11 - c. Do -3 and n have the same value?
True
Let n(l) = -2*l**3 - 2*l**2 - 8*l - 9. Let w be n(-5). Let v = 2319/10 - w. Let g = v + -197/30. Is g less than -7?
False
Let r = 58.7 - 38.4. Let c = r - 21.3. Is 0.05 bigger than c?
True
Suppose 9*w + 4*b + 7 = 8*w, b = -4*w + 2. Let j be (261/(-54) - -5) + w/14. Which is smaller: -1 or j?
-1
Let l = 15142.2103 - 0.2103. Which is smaller: l or -1?
-1
Let c be (-4452410)/(-426)*5/((-75)/(-9)). Is 6271 bigger than c?
False
Let f be 48/(-12) + (-20)/(-4) + 1. Let q be f/(((-48)/124)/(-2)). Suppose 4*j = -0*j - 5*o + 40, -3*o = 0. Is q equal to j?
False
Let y = 397 - 153641/387. Let o(d) = -309*d - 619. Let f be o(-2). Do y and f have the same value?
False
Let t be ((-14)/(-126))/((-1220)/24). Which is greater: t or -1?
t
Suppose 112 - 100 = 12*h. Let t be -61 + h + -1 + (-2)/(-1). Is t < -8?
True
Let v = -2353 + 2336. Let s be (2 + -1)/(2/38). Let h = s + v. Is h less than 1/2?
False
Suppose 297 = 54*k - 567. Which is greater: -22/13 or k?
k
Suppose 2*i - j = 0, -3*i - 3*j - 3 = -6*j. Suppose 5*u - 3*u = k - 59, 3*u = -k - 81. Does i = u?
False
Let l(z) = -211*z - 267. Let s be l(-2). Is 136 != s?
True
Let i be (-84490)/994 - (-1)/(-1)*1/(-1). Which is smaller: i or -19?
i
Let r be (12/(-16))/((-716099)/(-14304)). Let z = r - -2/5227. Let k(v) = 2*v**3 - 142*v**2 - 223*v + 5688. Let p be k(72). Which is bigger: p or z?
p
Let f be (8001/12)/7 - 3/12. Let c = 147 + -148. Is f bigger than c?
True
Let i be (-2 + (-274)/(-138))*(-11 + (7 - -457)). Is -6 < i?
False
Suppose 5*c = 5*k, -k + 3*c = 5*c + 15. Let b = 316 - 301. Suppose -13*l = -b*l. Are k and l unequal?
True
Let f be 0 + -4 + 325712/120 + 48/(-180). Which is bigger: f or 2?
f
Let o = 9.93 + -8.73. Which is smaller: -22/15 or o?
-22/15
Suppose -9*y + 37 = -8. Suppose -y*d + 2*d - 27 = -4*o, d + 2 = -o. Let v be o - -1 - 7/1. Which is smaller: v or -4?
-4
Suppose -66 = -b - 65. Let q(y) = 28*y - 3. Let d be q(b). Let n be ((-3)/15 - -2)/(1/d). Is n > 45?
False
Let s = 35/78 - 3/26. Let t(a) = 16*a**3 + a**2 + 2*a + 1. Let x be t(-1). Which is smaller: x or s?
x
Suppose 0*b - 5*b - 50 = 0. Let z be ((-10)/(-2))/(b/(-120)). Let i be 36/65 - (-36)/z. Is 1 bigger than i?
False
Let d be 684/12 - 9/((-63)/(-70)). Is 1096/23 >= d?
True
Let k = 22619 + -22893. Is k >= 7/3?
False
Suppose 3*c + 4*x - 745 = 0, 4*x - 264 = -c - 29. Suppose c = -5*f + 85. Let b = f + 26. Is b at most as big as -10?
False
Suppose 38 = 3*w + 167. Let c be w - ((-24)/2)/3. Let x = -32 - c. Is x < 5?
False
Let o be 176/(-132) + 32/6. Suppose o*n = -f, 0 = -3*n - 2*f - f + 9. Is n != 0.9?
True
Let n = -1643/20 + 9209/110. Let d = -20/11 + n. Let l = -13 - -30. Is d bigger than l?
False
Let w = -629/4 - -274879/1748. Is -1 >= w?
False
Let v = 537 - 628. Let o be ((6216/v)/(-6))/(1 + -3). Which is greater: o or -6?
o
Let c = 163 - 268. Let j be (-7)/(c/65) - 5. Is 0.09 at least as big as j?
True
Let m = -3744 + 3392. Is m bigger than -0.3?
False
Let t = -0.637 - -1.147. Let l = 8/103 - 119/206. Is l smaller than t?
True
Suppose 0 = 4*f - 3*m - 465, -3*f - 6*m = -2*m - 380. Let s be 2/(-4)*(-64)/f. Suppose -5*v = -n - 4, 2*v - 5*n = 6*v - 9. Is s greater than v?
False
Let t = 4204/7 + -598. Let s(a) = -6*a - 56. Suppose v + 10 = -5*r - 5, -3*v - 25 = -5*r. Let f be s(v). Which is greater: t or f?
f
Let m = -55 - -91. Let w = 2.56 + 32.44. Let s = w - m. Is -42 at most as big as s?
True
Suppose 4*x - 2*y + 5616 = -x, -x - 3*y - 1130 = 0. Let f be (102/85)/(x/10). Is f at most as big as -1?
False
Suppose i = -s - 139, -i - 225*s - 129 = -222*s. Which is smaller: -1147/8 or i?
i
Suppose 3*t + 8 = -2*m, 0 = 4*m - 3*t - 2*t + 60. Let n(u) = u**2 + 9*u - 8. Let b be n(m). Let l = 4634 + -4634. Is b not equal to l?
True
Suppose 16284 - 15809 = -19*n. Is n greater than 31?
False
Let r be (-2)/(-2)*(3 + 3 - 1). Let d = -1 - r. Let v be d/(-4)*4/(-12). Are -22 and v equal?
False
Suppose 2*o + a + 3274 = 0, -5*o + 2*a - 643 = 7506. Are o and -1 equal?
False
Let t = 23 - 73. Let m = t + 75. Let v = -18 + m. Is v smaller than 3?
False
Let g be 12/20 + 336/(-35). Is -9 at most g?
True
Suppose -17481 = -43*j - 109. Let s = 791/2 - j. Which is greater: s or 12?
12
Let i(g) = -29 + g - 4*g - 4. Let v(d) = -d**3 - 43*d**2 - 60*d + 898. Let x be v(-41). Let t be i(x). Which is greater: -19 or t?
-19
Let u(c) = -356*c**2 + 655*c - 23. Let i be u(7). Is -12883 smaller than i?
True
Let h(k) be the first derivative of 7*k**2/2 - 76*k - 51. Let m be h(9). Is -17 smaller than m?
True
Let c = 5220 - 5219. Is 27/760 bigger than c?
False
Suppose 4*l - 4*r = 868, -2*l + 15*r + 419 = 10*r. Let z be (l/36 - 6)*174. Which is greater: 6 or z?
z
Let i = 4493 - 4490. Are 206 and i nonequal?
True
Let j = -1387 - 2721. Let c be 104/j*2/20. Which is smaller: 1 or c?
c
Let i be 4/(-14) + (-2916131)/4088. Let n = i - -714. Which is greater: n or 15/7?
15/7
Let y(u) = 21*u + 61. Let i be y(-7). Let k = -124 - i. Is -38 at most k?
True
Let b = 141 + -138. Suppose 0 = -b*u, 2*w + 4 = -2*w - 5*u. Is -1/453 greater than w?
True
Let h = 5855 + -2436. Which is smaller: h or 2/5?
2/5
Let u(n) = -n**2 - 6*n - 4. Let l be u(-5). Let y be (-5)/10 + 3/(-2). Let b be (5 - (-64)/(-56)) + (y - 2). Which is smaller: l or b?
b
Let v = 273.05928 - 0.05928. Which is smaller: v or -0.2?
-0.2
Suppose 0 = -t - 5*q + 5, 0 = -5*t - 9*q + 13*q - 4. Let w = -0.01 + -2.99. Let h = w + 4.4. Do t and h have the same value?
False
Suppose -2*d + 115 = 3*d. Let u(j) = -150*j + 3915. Let t be u(26). Are t and d non-equal?
True
Let i(k) = 343*k - 31. Let x be i(0). Which is greater: -40 or x?
x
Let p be (-3)/10*2 + (-8)/20. Let b be (57/(-2))/(p - (-9)/(-3)). Let a = b + -563/88. Which is greater: a or 0?
a
Let i be (-3)/(((-30)/(-4))/5). Let w be 1/i - 21/(-12). Suppose -3 = -j - p, 5*p - 5 = -0. Are j and w equal?
False
Let v = -129/2 - -3995/62. Let m be (-1 - (-1 + -2)) + 4. Suppose 2*r - m = 8*r. Is v smaller than r?
False
Let k = -297 - -301. Which is smaller: k or -0.62?
-0.62
Let u(n) = -8*n - 48. Let g be u(-7). Suppose 12*w + 7*w = g*w. Suppose -b - 17 = -0*d + 3*d, -5 = 5*b - d. Which is smaller: b or w?
b
Let j = 26147/9 + -2823. Let b = -5569/72 + j. Suppose 33 = 5*v - 2*d + 4*d, -2*d = -4*v + 12. Which is greater: v or b?
v
Let d = 2721.4 + -2963. Let w = -240 - d. Let f = 0 - -0.1. Is w less than or equal to f?
False
Let f = 110 - 108. Suppose -g = -6*g - 3*x + 20, 0 = f*g - 5*x + 23. Let t be (1 - g)/(-6 - -8). Which is smaller: t or 18/17?
t
Let h(g) = -2*g + 13. Suppose 5*r - n - 38 = 0, 2*n + 5 - 17 = -r. Let v be h(r). Which is smaller: -20 or v?
-20
Let y = -12278 - -12277. Is 8967 greater than y?
True
Let n = 12745.77 + -12745. Let v = 263/5 + -53. Is n < v?
False
Let z be (-464)/6*567/(-378). Which is greater: z or 109?
z
Let a = -1329 + 7991/6. Let m be 4/10 - 144/(-40). Which is greater: a or m?
m
Let x(l) = -10*l + 37*l + 7 + 106. Let n be x(-7). Which is smaller: n or -77?
-77
Let w(v) = -55*v - 7. Let h be w(-3). Let f = 765 + -609. Which is bigger: h or f?
h
Let n = -11 + -350. Let i = n - -356. Does 12 = i?
False
Let g(f) = 7*f**2 - 9*f - 6. Let l(j) = j**3 - j**2 + j - 1. Let a(q) = -g(q) - l(q). Let m be a(-7). Let k be (5 - (m + 2))/7. Which is bigger: 5 or k?
5
Let h be ((-665095)/(-190))/(-2 - (-6)/4). Is -7002 smaller than h?
True
Suppose -1768 = 11*g - 1504. Suppose -3*s + 4*d + 24 + 11 = 0, -5*d - 35 = -2*s. Does s = g?
False
Let a be (-638)/((-1836)/3128 - 4/(-46)). Which is bigger: a or -2/7?
a
Let y be ((-3312)/(-32))/3*4/6 - 6. Which is smaller: 18.7 or y?
y
Let v be (20/(-15) + 496/1524 - -1)*22. Are 0 and v nonequal?
True
Let b = 0.03 - 0.73. Let g = b + 3.7. Let s = -0.3625 + 0.4725. Do g and s have different values?
True
Let p(q) = q**3 - 12*q**2 - 11*q + 6. Suppose -4*c + 64 = -4*w, -3*c - 2*w - w + 30 = 0. Let r be p(c). Let a = r - 34. Which is smaller: -3 or a?
-3
Let r(a) = a**3 - 4*a**2 + 4*a - 2. Let h be r(1). Are 2164 and h non-equal?
True
Suppose 233 = -4*b + 13. Let y be -65 + (-45)/((-20)/4). Which is smaller: y or b?
y
Suppose -5*k + 2560 = 5*k. Let v = -5 - -9. Suppose k = v*x + 2*u + 3*u, -3*u = x - 7