f = -234 - -3747/16. Is f at most as big as c?
False
Let l(z) = z**2 + 6*z - 4. Let j be l(-6). Let k be -1 - j - (-8 + 8). Let t = k - 24. Does t = -21?
True
Suppose 1819 - 1863 = 11*n. Which is bigger: 7 or n?
7
Suppose -7 = -f + 4*j, -2*f - 2*j - 2*j + 74 = 0. Suppose 2*u + 3*x = -2*u - 32, -3*x - f = 3*u. Which is greater: -7/2 or u?
-7/2
Let y = 4667198778/19 + -155375714512220/632529. Let p = y - 4/2603. Is p > 1?
False
Let u(k) = 41*k**2 - k. Let i be u(-1). Let j be (-1 + (-17)/(-14))*147/i. Is j > 1?
False
Let p be (-2 - (0 - 1))*0. Let n = -78/115 - -11/23. Which is smaller: n or p?
n
Suppose 3*m + 4*n = -1, 4*m + 0*m - 4*n - 8 = 0. Which is bigger: -9/104 or m?
m
Let y(g) = -g + 15. Let t be y(9). Let n be -2 + t/1 - 2. Suppose -n*o = 2*o + 8. Do -1 and o have different values?
True
Let a = 705.12 + -705. Is -15 > a?
False
Let x be ((-135)/10)/(-9) + 138/(-4). Let b be (-66)/4*22/x. Is 8 not equal to b?
True
Let m be 2/(-3)*(-9)/2. Let p = 80 + -79.67. Let q = p - 0.33. Is m not equal to q?
True
Let s = -52718/5 + 10636. Which is smaller: 91 or s?
91
Let s be -3*(33/36 - 1). Let i(y) = y**3 - 9*y**2 - 23*y + 13. Let c be i(11). Is c greater than s?
True
Let x be (-9)/(-15) + (-189)/165. Let v be (-45)/72 - (-6)/(-16). Which is bigger: v or x?
x
Suppose -4*m = -3*k - 2*k, k + 2*m = -14. Let t(d) = 2*d**2 + 5*d + 2. Let o be t(k). Let j be 17/o + (-3)/2. Are j and -1/5 equal?
False
Suppose 0*y + 6*y - 96 = 0. Which is smaller: y or 15?
15
Let a = 500 - 497.81. Let s = a - -0.01. Let w = s + 1.8. Which is greater: 0.1 or w?
w
Suppose 4*w + 3*b = -0*b - 3, 5*w = -3*b. Suppose -r = w*r. Which is bigger: -3/14 or r?
r
Let s be 9*(36/(-108))/(1/1). Which is bigger: -100/29 or s?
s
Let d(u) = u**3 - u + 1. Let m be d(-2). Let p be (-12)/(2 + m/2). Let f = -123/5 + p. Do f and -1 have the same value?
False
Let m = 565 + -575. Which is smaller: m or -2?
m
Let w = -14218/543 + -27/181. Let d = 613 - 640. Which is greater: d or w?
w
Suppose 5*m - 4*p = -827, 4*p = 3*m + 2*p + 495. Are m and -164 equal?
False
Let u(c) = -c**3 + c**2 + c + 4. Let d be u(0). Suppose 3*n = 9, 5*t - n - d = n. Let g be (-15)/6*t/(-5). Which is greater: g or 6/5?
6/5
Suppose 5*c = -0*c. Let w(s) = s**2 - 2*s. Let p be w(c). Let v be (-12)/20 - 0 - p. Which is smaller: v or 0.1?
v
Let f(k) = -6*k + 37. Let p be f(6). Is 9/17 not equal to p?
True
Let x be 25241*3/(-24) + (-1)/(-1). Let s = x + 3162. Which is bigger: s or 7?
s
Suppose 4*b + 14 = 2. Let i = -70 + 54.5. Let v = i + 16. Which is bigger: v or b?
v
Let z be 16/29 - (0/4)/(-1). Is 2 greater than or equal to z?
True
Suppose 3*x - 4*h + 87 + 55 = 0, 5*x - 4*h = -226. Let i be 4*32/(-42) - (-12)/x. Is i != -4?
True
Let i = 167/12 + -18887/1356. Is 0 smaller than i?
False
Let m = 21 - 12. Let a = 1112 + -1108. Is m at most as big as a?
False
Let m be (-360)/(-44) + (-2)/11. Let z be (m/18)/((-6)/(-12)). Suppose 0 = -3*y + 2*y + 2. Is y at most as big as z?
False
Let h = -4.32 + -13.98. Which is bigger: h or 3?
3
Let b = 191.162 - 191. Let y = b - -0.038. Is y < 2.3?
True
Let i = 769 + -817. Which is greater: -49 or i?
i
Let a(x) = 7*x**3 - 2*x**2 + 2*x - 1. Let y be a(1). Let u(c) = -c**3 + 2*c**2 + 10*c - 7. Let g be u(4). Which is greater: g or y?
y
Let y = 0.0479 - 1.1379. Let g = 17.91 + -18. Let p = g - y. Is p less than or equal to -18?
False
Suppose 1 = -a + 5. Suppose z - g = -4*z + 1, 4*z + 12 = a*g. Which is greater: -2/75 or z?
z
Let u = 13 - 15. Let z = -12.4 - -14. Let p = z + u. Is p greater than or equal to -2/5?
True
Let j(g) = g - 4. Let n be j(3). Let f be 0 + 243*n/215. Let z = -3/43 + f. Which is smaller: 0 or z?
z
Let b = -585 - -25161/43. Is b at least as big as -1?
True
Let k = -531 + 531. Is -55 at least as big as k?
False
Let c = -1013 - -1012. Is 2/203 > c?
True
Suppose 1630 = -23*o + 112. Is o equal to -65?
False
Let m = 117/25 - 787/25. Which is smaller: m or -27?
-27
Suppose 2*p = -t - t - 26, 4*p - 5*t + 43 = 0. Let b be 0 - (-1 + (-4 - -5)). Let j(l) = -l - 11. Let o be j(b). Is o != p?
True
Let s be 19/(-76) + (-37)/(-4). Let i = s + 11. Is 20 at least as big as i?
True
Suppose 6*y = 5*y + 1. Let u = 0.239 - 2.419. Let v = 3.18 + u. Does v = y?
True
Suppose -5*i + i + 12 = 0. Let y(z) = -8*z - 23. Let j(m) = -4*m**2 + 9*m - 5. Let o be j(2). Let u be y(o). Which is bigger: u or i?
i
Let v = -792 + 816. Are v and 23 equal?
False
Let o = -747 - -744. Let g be ((-2)/(-15))/(2/(-12)). Which is bigger: g or o?
g
Let z = 15 - 4. Suppose z*u - 8*u = 0. Which is bigger: -1 or u?
u
Let k be 2*(14/4)/(-7). Which is bigger: k or -19/12?
k
Let d be (-3 - -1)/(6/(-18)). Let x be (d/(-6))/(2/(-4)). Let b be 24/20 + x/(-10). Is 0.3 smaller than b?
True
Let k = 12 + -11.908. Let b = 0.092 - k. Which is smaller: -53 or b?
-53
Suppose 3*c - 64 = 2*z, -5*c - 5*z + 114 = -z. Let o = c + -30. Suppose 3*x + 9 = -12. Are o and x unequal?
True
Let w = 21 - 18. Let i = -2 - -4. Is i at most as big as w?
True
Suppose -10 = -i - 4*i. Suppose 0 = -k + i*a - 9, -5*k + 2*k + 9 = 3*a. Which is bigger: k or -3/70?
-3/70
Let i be (1 - 135/127)*(-22)/88. Which is bigger: 1 or i?
1
Let a = 9/4 - 157/68. Let u = 2 + -8. Let l be 0 - (u/(-2) + -3). Is l at least a?
True
Let b = -243.8 - -152.8. Is b equal to -1/2?
False
Let v = 11221/9 + -3779/3. Are -12 and v nonequal?
True
Let l(c) be the first derivative of -2*c**2 - 7*c + 7. Let h be l(-2). Which is smaller: h or 3/4?
3/4
Let g = -1230269/187 + 6579. Which is bigger: g or 0?
g
Let u(q) = q**3 - 3*q**2 + 4*q - 3. Let r be u(2). Let m(b) = -b + 24. Let h be m(-21). Let f be (-10)/36 - (-5 - h/(-10)). Which is smaller: f or r?
f
Let m = 321 - 347. Which is bigger: m or -20?
-20
Let r = -140 - -231. Is 91 <= r?
True
Let r(m) = -2*m - 1. Let y(h) = -1. Let l(p) = r(p) - 4*y(p). Let c be l(-4). Let q = 11 - c. Do q and -1 have the same value?
False
Let p(m) = -m**2 + 15*m + 7. Let k be p(15). Suppose -k*c = -4*c + 45. Let o be (-3)/15 + 12/c. Are -4/9 and o equal?
False
Let u = 219 - 139. Let p = 59 - u. Which is greater: p or -22?
p
Let o(k) = 2 - 1 - 3 - k - 2. Suppose -2*b = b - 15. Let c be o(b). Is -1/2 < c?
False
Let t = 215 - 217. Which is bigger: t or -38?
t
Suppose -89 = -20*q - 349. Is -73/6 greater than q?
True
Let j = 39 - 71. Let m be 16/12 + j/(-3). Is m at most -1/2?
False
Let k(n) = -n**3 + 11*n**2 + 11*n - 50. Let h be k(9). Which is smaller: h or 212?
h
Let m(b) = -b + 3. Let o be m(7). Let h(f) = -f - 7. Let l be h(o). Let n(p) = 3*p**2 + 3*p. Let i be n(l). Which is greater: i or -0.1?
i
Let z = 1262 - 6341/5. Is -7 at most z?
True
Suppose -4*v = -5*z + 20, -4*v - 2*z + 7 = -1. Suppose v = -i + 1 - 0. Suppose i = 4*w - 3. Is w smaller than 1?
False
Suppose -4*p - 106 + 3550 = 0. Let q be (12/p)/(70/49). Is q equal to 1?
False
Suppose -10 + 7 = 3*m, 0 = 2*h - 4*m - 810. Which is bigger: 404 or h?
404
Let f = -3/11255 + 11267/45020. Let s = 0 + -3. Which is smaller: f or s?
s
Let z = 197244577/48 + -4109412. Let v = 150 + z. Suppose 0 = -0*a - a. Which is smaller: a or v?
a
Let y be (-1 - -2)/(-1 - -3 - 35/(-21)). Let w = 109/280 + -1/70. Does y = w?
False
Let d be (-26)/(-12) + (-4)/(-8). Let y(k) = -k**3 - 5*k**2. Let c be y(-5). Suppose 3*q + 7 - 19 = c. Is q greater than d?
True
Let r = 35675 - 285757/8. Are -44 and r nonequal?
True
Suppose 6*c - c + 30 = 0. Let w = -12 + c. Let h = w + 16. Which is bigger: h or 1?
1
Let q = 36.997 + 0.003. Let p = q - 35. Is 2/7 != p?
True
Let m(l) = l - 1. Let i be m(1). Suppose 4*j + 3 + 1 = i. Are j and -2/5 equal?
False
Suppose 5*f + 0*x = -x + 28, 3*f - 4*x - 3 = 0. Let l = f - -8. Suppose -h = 4*u + l, -2*h - 4*u - 4 = 14. Is h at most as big as -7?
False
Let u = 50/133 - 28895/798. Let b = 36 + u. Let c(v) = -2*v**3 + 22*v**2 - 25*v + 50. Let n be c(10). Which is bigger: b or n?
b
Let n(d) = d**3 - 12*d**2 - 12*d - 14. Let b = 4 + -2. Suppose 4*w - 5*w = -h + 8, 62 = 4*h + b*w. Let r be n(h). Does r = -4?
False
Let u = -735 - -856. Is 119 at most as big as u?
True
Let d = -61221698477/95069028 + 1/1377812. Let l = d - -644. Is l != -1?
True
Let g(f) = f**2 + 16*f - 17. Let z be g(-17). Let d(j) = 2*j - 1. Let l be d(z). Let i be 10/1*l/(-2). Which is smaller: 7 or i?
i
Let c = 46 + -47. Let k = -3.6 + 