ue
Let t(r) = -r**2 - 6*r + 5. Let v be t(-5). Let x be ((-177)/45 - -2) + (-4)/v. Which is smaller: x or -2?
x
Let q = -19 + 5. Let b = -5 - q. Let j = -8 - -16. Is j at least as big as b?
False
Suppose 2*m + 4*c = 110, -2*m + 3*m = -4*c + 45. Is m <= 64?
False
Suppose 43 + 37 = -5*d. Let w be (d + -2)*2/(-4). Suppose -5*h = 3*x - 3*h - w, x = 4*h - 11. Are -3 and x equal?
False
Let i(m) = -2*m + 2*m - 19*m - 18*m. Let o be i(-1). Let z = -31 + o. Does 5 = z?
False
Let l be (-2877)/315 + 2/15. Do -12 and l have the same value?
False
Let t(o) = o**2 - 11*o + 11. Let c be t(8). Suppose -3*d - 65 = 5*h, -10 = -59*d + 61*d. Is h smaller than c?
False
Let k(c) = 5*c**2 + 2*c - 2. Let y be k(3). Let d be 0 + 10 - (17 + -9) - -46. Is y >= d?
True
Let b = -6 - -9. Let v = b + 1. Suppose 0 = -2*t + 2*s + 8, v*t - 21 = 6*s - s. Which is greater: t or -8/5?
t
Let r = 11 + -15. Let g(b) = -b**3 + 2*b + 1. Let a be g(-2). Suppose -6*m - 4*o = -m + 36, -4 = -4*m + a*o. Is m less than or equal to r?
True
Suppose 43708 = 6*a - 2*a. Let f = -54983/5 + a. Let g = -70 - f. Which is bigger: g or 3/8?
3/8
Let d = 0.08 + -0.18. Is -158 at least as big as d?
False
Let y = -484 + 485.7. Is y <= -0.34?
False
Let v be (5/(-5))/(-1 + 12/9). Let j be 133/21*(v + 2). Is -7 at least j?
False
Let r = -2714 - -2712. Let j(t) = -8*t - 1. Let b be j(1). Let w be (-4)/(-18) + 14/b. Which is greater: w or r?
w
Suppose -37*d + 1456 = -89*d. Which is smaller: -161/6 or d?
d
Suppose 0*t + 15 = i - 3*t, i = 4*t + 20. Which is greater: i or 1/606?
1/606
Let x(r) = 21*r**2 - 23*r - 378. Let w be x(-10). Is w equal to 1952?
True
Let y(f) = -5*f + 4*f + 5 - 3. Let d be y(8). Let g be (0 + (-3)/d)*14. Is 8 greater than g?
True
Suppose n - 2*n = -4*z - 2, -5*n = -2*z - 10. Let u = 5 - n. Let d = u + -1. Which is smaller: 0.2 or d?
0.2
Let u = -306 - 71. Is -378 at most as big as u?
True
Let x be (-27)/(-15) + 1/5. Suppose x*k = 5*i - 20, 0 = -5*k + 2*i - 3 - 5. Which is greater: -1/4 or k?
k
Let d(v) = -v - 6*v + 3*v + v**3 - 3*v**2 - 4*v + 4. Let k be d(5). Is k less than or equal to 38/3?
False
Let c(q) = -7*q**2 - 6*q - 2. Suppose 77 = 4*g + 89. Let k be c(g). Is k at least as big as -48?
True
Let h be (-4)/(-28) - 237/2247. Let l = 402/5029 - h. Which is bigger: -1 or l?
l
Let w(f) = -2*f**2 - 16*f + 39. Let d be w(-10). Is d greater than 3/482?
False
Let u(n) = -3*n - 26. Let y be u(-13). Let b = -9 + y. Suppose b*a = 3*a - 3*i, 0 = -5*a + 2*i. Which is smaller: 3/11 or a?
a
Let x be -2 + ((-2)/(-4) - -1). Let h(t) = t**3 + 4*t**2 - 11*t + 6. Let c be (4 - 2) + 8/(-1). Let r be h(c). Is x bigger than r?
False
Let r(y) = 2 - 5*y - 4 + y. Let a be r(2). Let x be 4/30 + 1336/(-120). Which is smaller: a or x?
x
Let u be 0*((-5)/2 + (-7 - -9)). Let p be (48/72)/(2/69 + u). Which is greater: p or 1?
p
Let a be 109044/(-286260) - 4/(-10). Which is bigger: a or -1?
a
Let m(k) = k - 17. Let h be m(15). Let n be (32/(-70) + h/5)*-21. Suppose -2*v = -2*c + 21 + 7, 0 = -2*c - 3*v + 43. Is c at most n?
True
Let x be (-24)/180 + 512/15. Suppose -4*m + x - 10 = -3*c, 0 = -c + 4*m - 8. Which is smaller: c or 3/5?
c
Suppose 3*r + 1 = -2*v, 3*r + 1 = -3*v - r. Is v less than 24/17?
True
Let s = -83.48 - -84. Let c = s - -0.12. Is -1 smaller than c?
True
Let a = 27.9 + -28.9. Is -0.1 equal to a?
False
Suppose 2*f = 3*f + 13. Let b be -1*2*f/(-78). Is 45 >= b?
True
Suppose -4*x - 19 = 77. Let r be (9/(-12))/((-78)/x). Is r greater than or equal to 1?
False
Suppose -q - 2 = -2*q. Suppose -q = -x - 11. Do -11 and x have the same value?
False
Let o = -83/402215 + 2/2343. Which is smaller: -1 or o?
-1
Let w = -165 + 281. Are w and 118 equal?
False
Let y(j) = 33*j. Let q(x) = 3*x - 13. Let n be q(4). Let i be y(n). Which is smaller: -32 or i?
i
Let p(q) = -2*q**3 - q - 1. Let h be p(-2). Let j = -15 + h. Suppose -5*g + x + j*x = -10, 2*g = 2*x. Which is smaller: 3 or g?
3
Let w(b) = b + 2. Let g = 24 - 22. Let z be w(g). Suppose -3*s = 5*f - 6, -3*f - 8 = -z*s - 0*f. Is s at most 1?
False
Let b be (2*(-3 + 4))/(-2). Let k = 1.03 - 1.04. Is b < k?
True
Let c = 198.1 + -198. Is -198 at least c?
False
Suppose 3*v = 5*t - 442, 5*v - 450 = -5*t - 0*v. Is 88 greater than or equal to t?
False
Suppose -3*o = -7*o + 3*o. Are o and 3/77 non-equal?
True
Let g(n) = -3*n + 21. Let z be g(-11). Let d = 58 - z. Is d not equal to 8/3?
True
Let k be (-5)/(((-175)/10)/7). Let r(w) = w - 2. Let c be r(6). Let s be c/3*6/4. Is s bigger than k?
False
Let w = 1541.74 - 1539. Which is bigger: 2/5 or w?
w
Let p be (4 + -5)/((-2)/8). Let a be 15/p + (-18)/24. Suppose -8 = 5*s - a. Is s smaller than -2?
False
Let y = 93 - 92. Is y bigger than -0.257?
True
Let c be 8/36 + (-2)/9. Suppose 3*y - 6 + 3 = c. Is -2/69 greater than y?
False
Let z(c) = -2*c - 4. Let r = -12 + 9. Let i be z(r). Suppose -5*s + t + 5 = 0, 5*s - i*t = 2*s + 10. Which is greater: s or 7/5?
7/5
Suppose -5*p - 2*w = -1192 + 188, 5*p = 5*w + 1025. Which is bigger: 201 or p?
p
Let b(p) = -p**3 - 9*p**2 + 6*p + 20. Let q be b(-9). Let n = 48 + -81. Is n != q?
True
Let p be (-42)/(1 + -15) + (-10)/2. Is p <= -0.155?
True
Suppose -3*j + 27 = o - 8*j, 2*j + 20 = 5*o. Let f be (-12)/15 + 4/5. Suppose -o*i = f, 9*h + 4*i + 75 = 4*h. Is -15 greater than or equal to h?
True
Let p = -3.108 - -0.008. Let s = p - -1.6. Let n = 0.9 + s. Which is bigger: 2 or n?
2
Let o = 43 + -76. Let g be ((-11)/o)/(131/(-6)). Is g greater than or equal to 1?
False
Let h = -216 - -221. Let r be ((-2)/(-5))/(2/(-10)). Which is bigger: h or r?
h
Let o = -5/7 - -123/35. Which is greater: o or 4?
4
Suppose 40 = -2*u + 6*u. Let b(j) = -j + 4. Suppose -6*o = -11*o - 20. Let y be b(o). Is y at most u?
True
Let v = 58726747/62952 - 50/7869. Let r = v - 934. Is r at least -1?
False
Let p = -1.45 - -0.45. Is 198 at least p?
True
Let k be 11 + 3/((-12)/16). Let w = 2 + k. Suppose -b + 3 = 3*l - w, b - 8 = -2*l. Is -1/9 greater than b?
False
Let j = -2502 - -32508/13. Let x = 880/91 + j. Is x != 9?
True
Let z(m) = -m**3 - 4*m**2 + 5*m - 7. Let c be z(-5). Let q = c + 7. Which is smaller: 1/3 or q?
q
Suppose 3*n + 341 = b, 0 = -2*b - 4*n + 1002 - 350. Are b and 331 equal?
False
Suppose -5*p = -s - 750, 6*s = 3*s. Suppose 2*j + p = 5*u - 3*j, 4*j = 3*u - 86. Is u at least 34?
True
Suppose 0*y = 5*i - 2*y - 111, 3*y = 2*i - 40. Let n = 83 - 60. Is i < n?
False
Let n(o) = -58*o - 505. Let u be n(-11). Which is smaller: 0.1 or u?
0.1
Let b(m) = -m**3 - m**2. Let p be b(0). Let g(x) = 2*x**2 + 8*x - 14. Let i be g(-11). Let h be ((i/63)/(-10))/((-2)/12). Which is smaller: p or h?
p
Let k be 180/32*10/(-15). Which is smaller: -4 or k?
-4
Suppose -5*k + 82 = 4*p, 8 = k - 2*p + 7*p. Suppose 4*c = 4*a, -k - 12 = -4*c - 2*a. Do 18/5 and c have the same value?
False
Suppose -51*q + 45*q - 636 = 0. Is -106 at most q?
True
Suppose -f - 4*o = -2*f + 58, -3*o = -f + 60. Which is greater: 65 or f?
f
Let g be 3*2/(8/4). Suppose -3*r + 2*r = -4*b + 136, -g*r = 0. Which is greater: b or 36?
36
Let k = 276.135 - 276. Is k equal to -1?
False
Suppose 5 = -5*u + 2*w + 28, -2*u = w - 2. Suppose u*k = 7*k. Which is smaller: 1/4 or k?
k
Let h = -165 - -165.1. Let y be -2*25/2 + 1. Which is greater: h or y?
h
Let c be -1*5 - (-1)/(40/512). Which is bigger: c or 8?
8
Let y be 28/7 + 4 + -8. Which is smaller: 57/40 or y?
y
Suppose 32*x + 92 = 156. Which is bigger: -15.6 or x?
x
Let c = 39358/41 + -960. Let h be ((-2)/1)/(7*10/(-35)). Is h at least as big as c?
True
Let o be 3/((-3)/(-1)) + 1 + -3. Let j be (1 - (-1)/o) + 4. Is j >= 2?
True
Let m = -2 + 38. Let w be 2/9 + (3 - 368/m). Let x = -7 - 0. Is w greater than x?
False
Let s = 18646/103 + -181. Is 0 < s?
True
Let i = 1.162 + -1.642. Is 3 less than or equal to i?
False
Let g = -8 - -5. Let j(m) = -m**2 - m + 4. Let o be j(g). Let t = 109 + -109. Which is bigger: t or o?
t
Suppose 5 + 0 = -z - 3*y, -3 = -3*z - 3*y. Suppose -4*w + 6 + 0 = -d, 4*d = -z*w - 4. Is 1 greater than w?
False
Let s be 178/(-4) + (-43)/(-86). Which is bigger: -8 or s?
-8
Suppose -8 + 2 = -3*w. Suppose -w*j = -0*j + 12. Let m = 6 + j. Is m equal to -1?
False
Let b be (4 + -6)*(13 + 6). Suppose 3*u = -15, -2*u - 162 = 4*r - 0*u. Is b greater than r?
False
Let x be 14/(-77) + 9532/154. Let j = x - 62. Wh