e d(u). Let t = 1.45 + -0.45. Which is smaller: q or t?
q
Let i be ((-9)/6)/(2/20). Is i < -133/9?
True
Suppose 6*u - 1545 = 1275. Is u bigger than 472?
False
Let b = 4180 + -1353. Is 2827 at least as big as b?
True
Let x = 533 + -533.1. Let o be ((-2)/14)/(6/4). Is x smaller than o?
True
Let i = -482 + 594. Are i and 113 nonequal?
True
Suppose -l - j = -3, 4*l + 2*j - 8 - 2 = 0. Suppose -6 = -l*d - d. Is 2 at least d?
True
Let k be 1/((3/237)/1). Let i be k/(-38) - (5 - 7). Which is greater: i or 1?
1
Suppose -20 = 4*t + 4. Let m(i) = -i**2 - 5*i - 6. Let v be m(-5). Let p = v - t. Is p at least -2/9?
True
Suppose 0*l = -3*l - 5*t + 25, l + 4*t = 20. Are -2/51 and l unequal?
True
Let j = -12 - -12.3. Let r = -1.6 - j. Let t = r - -2. Which is smaller: 4 or t?
t
Let w(h) = h**2 + 3*h - 29. Let d be w(-7). Let q(p) = p**3 - 3*p**2 + p. Let o be q(2). Let n = d + o. Which is smaller: -5 or n?
-5
Let n(a) = -a**2 + 30*a - 192. Let c be n(9). Is c >= 232?
False
Let g(f) = 3*f**3 - 3*f**2 - 6*f + 4. Let i be g(-2). Is i <= 8?
True
Let d(g) = -74*g - 16. Let y be d(0). Is -19 greater than or equal to y?
False
Let y be 5*-11*(-10)/50*-2. Is -10 less than y?
False
Let r be (-1 - -5)*(-5)/(-4). Let h(k) = k**2 + 12*k - 7. Let b be h(-12). Let y = -2 - b. Is r >= y?
True
Let s = -15349522129/9627261 + 27/458441. Let v = s + 1594. Are v and -1 equal?
False
Let a be 2/((-10)/25 + 96/(-10)). Which is smaller: 126 or a?
a
Let q = -15.3 - 2.7. Let c = -17 - q. Suppose -1 = -4*b + 3. Is c > b?
False
Suppose 0 = -j - 3*j - f + 1896, -j + f = -469. Let x = -6157/13 + j. Which is smaller: -1 or x?
-1
Suppose -4*j - 1 - 1 = -f, -f - 30 = 4*j. Suppose -4*g + 8 = b + 7, -5*b = 5*g + 55. Is b at most as big as f?
True
Let n = 30 - 33. Let w be 5/((-34 - 5)/n). Which is smaller: 0 or w?
0
Let m = 11 - 26. Suppose -10*t - 68 = -6*t. Which is smaller: m or t?
t
Let g = 110 - 158. Let k = 47 + g. Let n be 1*(-1 - 4/(-5)). Which is smaller: k or n?
k
Let i = -37 - -33. Let r = i + 2. Which is smaller: -1/2 or r?
r
Let h be 12/(-126)*1923 - 3/(-21). Do h and -1 have different values?
True
Let d be -2 + -1 - (8 + 0). Which is smaller: -0.13 or d?
d
Let m = 4.716 + 0.284. Is m >= -0.65?
True
Suppose 38*j = -96*j + 134. Which is greater: j or 5/213?
j
Let j = 22 - 18. Suppose 4*w = 3*v - 26, 3*v + 2*w + 0*w - 14 = 0. Is j >= v?
False
Suppose 5*b - 2*b = k + 12, 0 = 5*k + 2*b - 25. Suppose -8 + 14 = k*g. Let l = 0.3 - 0.1. Does g = l?
False
Suppose -2*h - 2*x - 3*x + 138 = 0, 3*x = h - 91. Let v(r) = -r**3 - r**2 + r + 79. Let p be v(0). Does p = h?
True
Suppose 3*p - 4*t = 2*p - 4, -5*p = t - 1. Which is bigger: p or 25/36?
25/36
Let l be ((-4)/(-145))/((-66)/(-7260)). Are l and 4 equal?
False
Let p be 408/(-48) - 4*-2. Which is smaller: p or -12/55?
p
Let l = 578 + -577.352. Are -1/3 and l nonequal?
True
Let q = 31 - 44. Is -12 less than or equal to q?
False
Suppose 111 = 3*f + 3*q, -2*q = 3*f + 53 - 159. Let a = -27 + f. Suppose 4*y - 6*r + r + 11 = 0, 5*r = -a*y + 20. Which is smaller: 2/13 or y?
2/13
Let l = -155 - -147. Which is greater: l or -2/5?
-2/5
Let s = -247 - -258.5. Is 0 smaller than s?
True
Let y(w) = w**3 - 7*w**2 - 2*w + 17. Let s be y(7). Suppose -s*v + 4*v + 2*o = -11, 3*o + 10 = 5*v. Let n be ((-3)/(-2))/(12/(-32)). Which is smaller: n or v?
n
Suppose -5*m - 3*i + 5 = 2*i, -3 = m - i. Let v be ((-33)/11)/((-3)/4). Suppose 0 = 5*n - 3*g - 2 + 15, -v = -4*g. Which is smaller: m or n?
n
Let n = -144 - -63. Let x = 83 + n. Which is smaller: -1.5 or x?
-1.5
Let j(i) = i**3 - 11*i**2 + 5*i - 31. Let p be j(9). Which is bigger: p or -147?
-147
Let j(b) = -b**2 - 3*b + 154. Let w be j(-14). Which is smaller: w or -3?
-3
Let u(l) = -27*l + 64. Let m be u(3). Is -15 smaller than m?
False
Let d = 43 + -41. Suppose -d*r = -41 + 13. Is r equal to 15?
False
Let p be (-3780)/171 - -22 - 33558/(-38). Does 883 = p?
True
Let n(h) = -h**2 - 14*h + 19. Let j be n(-15). Suppose 4*l - 2 = 2*a, 0 = -a + l - j*l + 14. Is a <= 6?
True
Let c = 8.29 - 0.29. Let b = 151 + -143.7. Let f = b - c. Which is greater: 0.2 or f?
0.2
Let s = -7.1 - 2.9. Let d = -10 - s. Is 3/5 < d?
False
Let m = 6 - 6. Let r = -256 + 243.16. Let g = -0.16 + r. Is g at least as big as m?
False
Suppose 22 + 13 = 5*d. Suppose -6*b + 2*b + 20 = 0. Suppose t = 4*j - 4*t - 57, 2*t - 30 = -b*j. Which is greater: d or j?
j
Suppose -n + 5 - 2 = 0. Suppose n*d = -0*d - 36. Let q(t) = t - 6. Let g be q(d). Is -18 != g?
False
Suppose 10*b - 36*b - 26 = 0. Which is smaller: -2/327 or b?
b
Let d(b) = b**2 + 6*b - 23. Let r be d(-12). Let w = r + -50. Is -3/13 >= w?
True
Let f be (10 + 2)/(10/15). Let r = f - 18. Let b = 0.14 + -0.04. Which is bigger: r or b?
b
Let o be (6 + (-35)/15)/(1/3). Let b(a) = a**2 - a + 12. Let q be b(0). Let v = o - q. Is -20 < v?
True
Let g be 2 + -4 + 6 + 0. Suppose 0 = v + 3 - g. Let r be 3 + 476/(-120) - 2/(-3). Are r and v unequal?
True
Let r = -2/1449 - 9673/340515. Which is greater: -1 or r?
r
Let d = 40.1 - 40. Let g be 1/5*(2 - 3). Which is smaller: g or d?
g
Suppose 4*k + 2*t = 17 + 13, 0 = k - 5*t - 13. Are 23/3 and k nonequal?
True
Let v be 0 + -2*(-4)/(-6). Let o = 183 + -185. Is v != o?
True
Let v = -61 - -106. Let d be (v/3)/(8/34). Let w = -62 + d. Which is greater: w or 2?
2
Suppose 4*r - 3 - 5 = 0. Suppose r*l + 12 = 6*l. Let k be l/(-27)*-3*-7. Are -2 and k non-equal?
True
Let k(l) = 3*l**2 - 2*l + 2. Let j be k(-3). Let f be j - ((-4)/(-14) - (-23)/(-7)). Is 37 equal to f?
False
Let i = 79241/61 + -1299. Suppose 12 = -12*y - 0. Which is bigger: y or i?
i
Let n = -3.84 - -3.74. Let g = 5.6 + -0.6. Which is smaller: g or n?
n
Suppose -7*x - 12 = -10*x. Suppose 0 = -x*s + 31 - 155. Which is bigger: s or -30?
-30
Suppose -4 = 2*a - 3*c - 5, 7 = 2*a - c. Let t = 1 - -1. Which is bigger: t or a?
a
Let t be (-472)/(-72) - 1 - 2. Let m(j) = 2*j**3 - 4*j**2 + 3*j - 2. Let v be m(2). Are v and t non-equal?
True
Suppose -3*d - 5*u = 27, -d - 4*u = 2*d + 27. Let g be ((-9)/(-42))/(d/12). Let y be (0 - -2 - 1) + -2. Is y bigger than g?
False
Let n be ((-1)/(-2))/(4/104). Let z be -2 + (25/(-1))/(10 - n). Let v = 5 + 0. Is z < v?
False
Let g be (76/(-40) + 1)*(-5)/(-2). Suppose 4*x + 5*k + 23 = x, 5*k = 4*x - 16. Which is greater: g or x?
x
Suppose 5*n - 2 = -3*w + 36, -n - 18 = -w. Suppose 25 = w*q - 21*q. Do -3 and q have different values?
True
Let w = 381 + -398. Which is bigger: w or -10?
-10
Let v(u) = -u**2 + 12*u - 3. Let h be v(10). Let x(d) = 2*d**2 + 8*d + 2. Let a be x(-6). Let r = h - a. Does -10 = r?
False
Let r = -69 - -73. Let o be -1 - ((r + -1)/3 - 2). Which is greater: o or -2/3?
o
Let l be (-27)/1 + 7 + -7. Let h = 26 + l. Let q = 5 + h. Which is greater: q or 1?
q
Suppose 2*c + 2 + 6 = 0. Let m be (-1)/c + (-2)/(-8). Let j be -1*(-15)/12 + -1. Which is greater: j or m?
m
Suppose 29*h = 35*h + 1320. Which is bigger: h or -219?
-219
Let x(s) = 12*s + 11. Let m be x(5). Which is smaller: -2/7 or m?
-2/7
Suppose -x = -6*x + 25. Let l(t) = t**2 - t + 2. Let b be l(2). Suppose n = -0*n + b. Is x bigger than n?
True
Let g(u) = -u. Let a(y) = -y**3 + 8*y**2 - 9*y - 14. Let l(c) = a(c) - 5*g(c). Let t be l(7). Is t < 6?
False
Let t = 0.261 - -2.559. Let o = t + -17.87. Let m = 15 + o. Do m and 0 have different values?
True
Let w = -45497/67 - -679. Suppose -2*p = -c - 13, -74*p + 2 = 4*c - 73*p. Do w and c have different values?
True
Let b be (104/(-8) + 14)*(-22)/(-37). Is b != 1/2?
True
Let g(x) = 5*x**3 + 48*x**2 - 16*x + 21. Let r be g(-10). Is -0.14 at most as big as r?
False
Let i be (-2 - -8)/(16/13). Which is smaller: 6 or i?
i
Let y be (12/(-10))/((-4)/(-10)). Suppose 14 = -2*d - 5*q, q + 0*q + 16 = 4*d. Let n = d - 6. Is n less than y?
False
Suppose -135 = -11*o + 129. Is 24 at least as big as o?
True
Suppose -5*n = -2022 + 2087. Which is bigger: n or -23/2?
-23/2
Let j be (-1)/((4066/20)/(-19)). Which is smaller: 1 or j?
j
Let f be (6 - 5)/(1/8). Let m(r) = -r + 3. Let w(u) = -3*u + 10. Let p(x) = f*m(x) - 3*w(x). Let g be p(9). Is g smaller than 0?
False
Suppose -4*z + 271 = -j, -2*j = 3*j + 5*z + 1330. Let p = 20574/7 + -18708/7. Let h = j + p. Is -1 smaller than h?
True
Let h be 2/(-8) - 35/4. Let z(r) = 2*r + 8. Let n be z(h). Let d = -11 - n. Which is smal