+ 72 = 9*m, 4*g - 9*m + 64 = -5*m. Is -12 less than g?
False
Let s = 533 - 257. Let w = s + -254. Let a = -49/3 - -251/15. Which is greater: w or a?
w
Suppose 3030 + 1846 = 3*b - 5*c, 3*b - 4826 = -5*c. Which is greater: b or 1615?
b
Let z = -12.3 + 150.3. Let a = 6940/63 - 994/9. Are a and z unequal?
True
Let q(j) = -11*j + 9*j + 3*j + 5*j + 24. Let x be q(-4). Is -4/121 bigger than x?
False
Let n(h) = -47*h**3 - 4*h**2 + 3*h + 2. Let c be n(1). Is c less than or equal to -409/9?
True
Suppose -5*x = 3*a + 5, -5*x + a - 25 = -0*a. Let i be x/10 - (4 + (-2555)/575). Suppose 9*l = 3*l - 6. Which is smaller: i or l?
l
Let x = 0.89338 + -0.01938. Are -0.2 and x non-equal?
True
Let h = 294057 + -1436669/5. Let s = h + -6654. Which is smaller: s or 69?
69
Let l be 12/(-72) + (-2)/4. Which is greater: l or -1/10?
-1/10
Let o = -4.15 + 3.08. Let j = -0.07 - o. Is j smaller than 92?
True
Let o be 8/(-92) - 12792/(-26496). Which is smaller: o or -1?
-1
Let j(l) = 11*l**2 + l - 1. Let s be j(-2). Let x be 1 - (5 - (s + -2)). Let k(p) = 4*p**3 + 3*p - 3. Let d be k(2). Is x less than or equal to d?
True
Let f = -8067 - -6781. Which is greater: f or -1287?
f
Let c = -2/756721 - 5234239111/17404583. Let d(z) = -28*z + 21. Let f be d(-10). Let b = c + f. Is b < -1?
False
Let m = -43369 + 42256.34. Let h = 1122 + m. Let s = 9.3 - h. Which is smaller: s or -3?
-3
Let u(d) = 9*d + 17. Let k be u(-3). Let s be 1 - 0*3/(-6)*1. Let c be s/(k/(-6)) + (-98)/(-245). Which is bigger: 12/7 or c?
12/7
Let b(l) = -69*l + 768. Let n be b(22). Is -746 > n?
True
Suppose 0 = -l + 5*u - 122 - 113, 2*l = -u - 426. Let m be l/(-86)*8/5. Do 62/17 and m have the same value?
False
Let s = 127 + -127.1. Is 18.76 > s?
True
Let z be (-3)/((-18)/8 - -3). Let p = 383 - 354. Suppose p = -f + 30. Do f and z have different values?
True
Let y(r) = -r + 13. Let j(a) = a - 9. Let g(d) = 8*j(d) + 5*y(d). Let l be g(6). Do 45/4 and l have different values?
True
Let c = -8.06 - -334.86. Let d = c - 327. Is d not equal to -0.31?
True
Let n(z) = -18*z + 39. Let b be n(2). Suppose -2*w + 3*f - 5 + 2 = 0, b*w = 5*f - 3. Is w at least -7?
True
Let r be ((-14080)/(-143))/10 - 8/(-52). Let h = 15 - 10. Suppose 4*j + 19 = x, -x - h*j - 20 + 3 = 0. Are r and x unequal?
True
Let k = 2904 - 2903.9. Does 271 = k?
False
Let v(x) = 24*x**2 - 6*x - 10. Let a be v(-4). Is a bigger than -2?
True
Let f = -7.39 - -0.33. Let u = f + 0.06. Let v = 1743 - 1740. Is v less than u?
False
Suppose 2*a + 28 = -2*a - 4*b, 0 = 5*a - 4*b - 10. Let z be -6 - a*(-61)/(-20). Suppose 4*h + 2 + 2 = 0. Is h <= z?
True
Suppose 5*h - 53 = 4*b, 4*b + 8 + 25 = h. Let c be (-2 - 16/b) + (-2440)/8295. Which is smaller: c or -1?
-1
Let i(v) = -32*v**2 + 10*v + 23. Let o be i(-3). Let q = o + 295. Is -1/863 at most as big as q?
True
Let y be (25/15)/((-10)/(-12)) + -151. Which is smaller: y or -138?
y
Let q = 67 + -39. Let k = 1459 + -1430. Which is smaller: q or k?
q
Suppose -b = -3*x + 206, 72 = 2*x - 2*b - 64. Suppose 5*y + x = m, -m = -2 - 2. Is -18 at most y?
True
Let n(j) = 2*j + 11. Let i be n(-4). Suppose i*x - 1 = 5*d, -4*x - 4*d = -4 - 8. Let b be -2 - ((-3)/(-15) - x). Which is greater: b or 1?
1
Let h be ((-239834)/(-111))/((-8)/12). Is h at most -3240?
True
Let d = 1 + -8/3. Suppose -5*f - 33 - 12 = 0. Let u be f/(-54) - (-38)/(-12). Which is greater: d or u?
d
Let f = 613.5 + -610.5. Which is smaller: f or 0.0619?
0.0619
Let i = 455.1 - 454.1. Is -6206 less than or equal to i?
True
Let o(h) = 6*h**3 + 17*h**2 + 8*h + 135. Let v be o(-9). Which is bigger: v or -2935?
v
Let q(j) = -2*j + 57. Let r be ((-20)/(-8) - 12/4)*-34. Let p be q(r). Let c = p + -22. Which is smaller: c or 0?
0
Let b(n) be the second derivative of 30*n - 1/6*n**3 + 0 + 1/2*n**2. Let i be b(5). Is -7 at least i?
False
Suppose 0 = -272*c + 280*c. Let q = 144352313/41078 - 133141/38. Let g = q + -240/23. Which is smaller: c or g?
g
Suppose 81*s = -3*x + 86*s + 453, 4*x + 4*s - 572 = 0. Which is smaller: x or 144?
144
Let z = -237297/26 + 9125. Which is smaller: -1 or z?
z
Suppose 0 = -29*d - 180 + 296. Let q = 11 + -6. Suppose 3*n - 5 = -2*l, -4 = -3*n + d*l - q*l. Is 0 not equal to n?
True
Let z(a) = a**3 + 26*a**2 + 148*a + 47. Let l be z(-18). Which is bigger: l or -671/27?
-671/27
Let l be (285/20)/19 - 2693/(-4). Suppose -4*s - l + 58 = 2*d, -s + 2*d = 144. Do -151 and s have the same value?
False
Suppose -2*q = -2*n - 5*q - 13, 4*n - 3*q - 19 = 0. Let l be 41041/98 - (0 - -3). Let r = l - 416. Are r and n unequal?
True
Let x be (0 - -4 - 114/30) + (-2573)/465. Let r(m) be the first derivative of m**2/2 - 1. Let c be r(-5). Is x equal to c?
False
Let p = -5105/597054 - 17/906. Which is smaller: 1 or p?
p
Let j(s) = s**3 - 12*s**2 - 63*s + 491. Let u be j(5). Let d = 10/117 - 1387/14859. Which is smaller: d or u?
d
Let d = -33.9959 + -0.0041. Which is greater: d or -38?
d
Let a(y) = 308*y - 731. Let z be a(-5). Are z and -2269 equal?
False
Let g = 1096/19 + -27735/437. Are -7 and g non-equal?
True
Let j = 401 - 1184/3. Suppose 0 = -44*q + 34*q + 50. Is j != q?
True
Let h be -3*10/30 + (-3)/(0 + -3). Which is greater: 2/135859 or h?
2/135859
Let i(k) = 8*k. Let v be i(-1). Let y be (1 - -13 - 15)/((-2)/1284). Suppose -637*j + 20 = -y*j. Are v and j unequal?
True
Let u = 6340 + -6340.15. Is u less than or equal to 734/5?
True
Let q(p) = 2*p**2 - 33*p + 44. Let y be q(15). Let v be (5 - (-2 - y)) + -220. Is v less than -213?
True
Let t be 2 - 2 - -11*1. Let w(h) = 16 + 5*h**3 - h**3 - 5*h**3 - 1 + 11*h**2. Let u be w(t). Do 2 and u have the same value?
False
Let g = 29829 + -29830. Which is bigger: g or 10/2701?
10/2701
Let w be (-1140)/(-112) - (-9)/(-21). Let b = w - 113/12. Is b at least -61?
True
Suppose 0 = -25*j + 8741 + 10637 - 4603. Which is smaller: 598 or j?
j
Let t(k) = -k**2 - 16*k + 57. Let r be t(-16). Let i be r - (-9 - 1)/(-5). Which is smaller: 56 or i?
i
Let u = 2.917 + -3.917. Which is bigger: -21.5 or u?
u
Let x(u) = u**2 + 10*u. Let v(w) = w. Let o(z) = 5*v(z) - x(z). Let r be o(-5). Let t be 573/(-764)*16/822. Is r != t?
True
Let h be (-8 + 9)*(-1)/(-2)*0. Which is bigger: h or 2/703?
2/703
Suppose s - 6*s = -210. Suppose -2*p - 17 = -3*z, -3*p + s = -3*z + 6*z. Suppose -z*u = 155 - 20. Is u > -16?
True
Let h(d) = 3*d**3 + 6*d**2 - d - 8. Let a be h(-2). Let o be a/(-48)*28*10. Which is smaller: o or 37?
o
Let q(n) = 0*n + 72 - 23*n - 6*n. Let b be q(4). Does b = -46?
False
Let v = -2451 + 7581. Is v != 5131?
True
Let l(b) = -b**3 - 47*b**2 + 1089*b - 17. Let f be l(17). Which is smaller: 14/1335 or f?
f
Let x = -6076 - -6076. Which is greater: 11/193 or x?
11/193
Let s be 18/264*11 - (-1659)/(-1524). Is s <= -1?
False
Suppose 49 = g - 3*y + 3, 3*g - y - 162 = 0. Let i be 10/g - (-39)/(-33). Is -4 at most i?
True
Let b be ((-60)/9 - -2)*(-21)/14. Let d(u) = 5*u + 6. Let o be d(7). Suppose 4*a = -o - b. Are -9 and a unequal?
True
Let f(j) = -468*j - 2783. Let v be f(-6). Which is greater: -27 or v?
v
Let u be 4*(-1)/(-52)*-2. Let g be (4/7)/(30/595). Let x = g - 59/6. Which is bigger: x or u?
x
Let q = -2660 + -1771. Which is smaller: q or 1/4?
q
Let z = -0.5395 - -249.6395. Let v = z + -249. Which is smaller: -140 or v?
-140
Let b = -307 + 690. Let l = b + -260. Which is smaller: l or 125?
l
Let l = -8958 - -5724164/639. Let w = l + 631/2556. Is w smaller than 38.5?
True
Suppose 2*s = 5*m + 3*s + 2, 5*s - 14 = -m. Let a be ((-21)/(-3) - 50) + m. Is a <= -42?
True
Let b be 4/(-34) + (-44406)/(-306). Let l = -98 + b. Which is smaller: l or 93/2?
93/2
Let h = -39 - -21. Let w = -15 - h. Suppose -2*o = w*c + 2*o + 28, -21 = 2*c + 5*o. Is -10 smaller than c?
True
Let a = 4093/6 + -4085/6. Suppose 0*d = -3*d. Is a > d?
True
Let l = 659/8990 + -5/58. Is l >= -0.4?
True
Let n = -2247 + 967. Is -2/5 less than n?
False
Let i(u) = -9*u + 73 + u**2 - u + 0*u**2 - 29. Let l be i(13). Is l greater than 83?
False
Let x = 0.27231 - 0.04631. Which is smaller: -7 or x?
-7
Suppose 10*k = -520 - 360. Let h = -76 - k. Is h not equal to 81/7?
True
Let d be (9 - 1)/(2 - 1). Let q(k) be the third derivative of k**4/24 + 8*k**3/3 + 75*k**2. Let z be q(-9). Is z greater than or equal to d?
False
Let v(a) = -5*a - 41. Let j be v(-13). Let f be j/(-32)*(8 -