u*q, 2*h + 5*q - 10 = 3*q. Which is smaller: h or -12?
-12
Let a = 142 - 209. Let j = -64 - a. Which is greater: 25/6 or j?
25/6
Let c be 6/((-6)/4 - -3). Let o = 10 - c. Which is greater: 9/2 or o?
o
Let u be 21 - (-2 - (-2 + 0)). Let a = 11 - u. Let i = 2504 + -10017/4. Is a equal to i?
False
Let k be (-28)/(-28) - (-2)/(2/(-259)). Is k less than -257?
True
Let t = -100 - -103. Suppose 0 = 2*c - t*c - 7. Which is smaller: -5 or c?
c
Let t = -7.6 + 1.6. Let y = 270 - 269.9. Which is smaller: t or y?
t
Let v be 2 + -15 + 2646/196. Let b = 110/3 + -36. Is b <= v?
False
Let c = 10 - 20. Let k be (-4)/(-14) + 66/14. Suppose -k*v + 20 = 0, 0 = -0*o + o - 4*v + 26. Is o not equal to c?
False
Let g(x) = 8*x + 116. Let l be g(-8). Which is bigger: 53 or l?
53
Let t = -1.98 + -0.02. Let u be 12*(-4 + (-11)/(-3)). Which is bigger: t or u?
t
Let z be (-4)/((-392)/567) - 3/(-1). Do z and 8 have the same value?
False
Let p = -0.7 + 0.3. Let w = p - 1.6. Which is greater: -1 or w?
-1
Let t = -13 + 2. Let y = 1834 + -1843. Is t <= y?
True
Let m(d) = d**2 - 6. Let c be m(-3). Suppose -5*h = c*g - 4*h - 14, -5*g + 3*h = -14. Is 16/5 at least as big as g?
False
Let i = -6 + 14. Suppose v = 3*v + i. Suppose 0 = -2*y + 9*d - 8*d - 3, 2*y = 4*d + 6. Which is bigger: y or v?
y
Let t be (-2)/(-8) - (-13)/(-4). Let r = -3 + 5. Suppose 4*i = r*i - 2. Is t smaller than i?
True
Let f(t) = -22*t - 111. Let m be f(-5). Does -8/5 = m?
False
Let d = 2.7 - 5.7. Let z = -21 + 29. Let n = z + d. Is n smaller than 1?
False
Let h = -48 - -534/11. Which is greater: h or -3?
h
Let z be (-20068)/84 + (4 - 1). Let v = -236 - z. Is v at most 1?
True
Suppose -72 = 3*k - 3*m, 20 + 104 = -5*k + 3*m. Let p be 34*((-18)/8)/3. Is p >= k?
True
Let j be (-5)/15 - (-4)/6. Which is smaller: j or 159?
j
Let b be (-4)/14 - (-1452)/(-63). Which is bigger: b or -23?
-23
Let u = 392220/2123 + -2032/11. Is u != -1?
True
Suppose 24 = 4*i - 3*q + 319, 3 = -q. Is i <= -74?
True
Let y be (35 + -5)*(0 + 2/2). Suppose 0 = 3*b + 3*b + y. Is -11/3 greater than or equal to b?
True
Let i be ((-2)/3)/(-5 - 188/(-36)). Let l(k) = k. Let f be l(4). Suppose 0*v - f*v - 12 = 0. Is v <= i?
True
Let t = 1254 + -1256. Which is greater: t or 672?
672
Let h be (1 + -1)*(-3)/((-6)/2). Let k be 3 + 3/9 + -2. Is k bigger than h?
True
Let p be (-77082)/(-84588)*-1 - 1/(-1). Let k = -11/106 + p. Is k bigger than 0?
False
Let a be (6 - -2 - 2)/((-9)/8). Let v = 35/6 + a. Which is bigger: 1 or v?
1
Let y = 186 + -152. Which is smaller: 33 or y?
33
Let r = 1378 + -1775. Is -397 less than r?
False
Suppose -4*r + 5*p - 31 = 0, -5*p - 1 = 3*r + r. Let k be (-65)/(-90) - r/(-18). Let g(w) = w**3 + 10*w**2 + 2*w + 14. Let s be g(-10). Is s smaller than k?
True
Let f be 30/(-25)*24/276. Which is bigger: 0 or f?
0
Let m = -1 + 8. Suppose -5*x + 20 = -4*b, -4*x + 0*x + 16 = 5*b. Suppose 3*t - 21 = -b. Is m less than or equal to t?
True
Suppose 0 = -0*s + 5*s. Suppose -2*p + 4 = -s*p. Suppose 2*f - 9 = 3*c - f, -p*c + 3 = -5*f. Which is bigger: -5 or c?
-5
Let o = -0.27 + 2.87. Let j = o + -3. Is -0.1 smaller than j?
False
Let j be 1 + -1 + 0/(-1). Let s = -22 - -67. Let q be ((-1)/3)/((-5)/s). Do j and q have different values?
True
Let h = -2.97 + -0.43. Let d = h + 1.7. Let b = d + 1.5. Is -3 greater than or equal to b?
False
Let j be 58/3*(-15)/(-10). Suppose 9 - j = -4*y - 3*g, 0 = -5*g. Suppose -2*w - y*x - 21 = -w, 2*w - 18 = 5*x. Which is smaller: w or 1/4?
w
Let b = -772 - -2318/3. Let k(p) = -2*p - 4. Let s be k(-3). Suppose s*h = 3*h. Which is greater: h or b?
b
Let c = -1164 - -1164.095. Is -2 >= c?
False
Let a be (3 + -1)/(-2)*-38. Let d be (-2)/(-5)*(-10)/a. Let n be ((-24)/10 + 2)*1. Does n = d?
False
Suppose 2*y = u + u - 386, -5*y = 4*u - 817. Let g = 983/5 - u. Is 0 != g?
True
Let l = -318 + 310. Is -43/5 bigger than l?
False
Let j be -11 - -7 - (-9)/(-3). Let d(m) = -m - 12. Let v be d(j). Which is smaller: v or -4?
v
Let x = -167/12 + 115/6. Which is smaller: -9 or x?
-9
Let r = 309 + -373. Is -2/13 bigger than r?
True
Let x be 6*(-4)/(-36)*6. Suppose -1 = -x*v - 33. Is -8 equal to v?
True
Let b = -244 - 8. Let u = -266.1 - b. Let k = -14 - u. Is k not equal to 9?
True
Let a(p) = -9*p - 4*p**2 + 2*p**3 + 7*p - 3*p**3 + 3. Let n be a(-3). Let v be (0 - -5)*(-2)/(-35). Which is bigger: v or n?
v
Let c = -65.002 + 0.002. Let s = c - -64.9. Which is greater: s or -5/2?
s
Let h(l) = l**2 + 2*l - 1. Let u be h(-2). Suppose -4*i = 1 + 11. Let d(f) = -5*f - 17. Let c be d(i). Which is smaller: u or c?
c
Suppose 77*k - 76 = 73*k. Is k at most 15?
False
Let p = 2.44 + -2.04. Which is smaller: -2/57 or p?
-2/57
Suppose 3*u - j - 5 = 0, 4*u + j - 1 = 15. Suppose 7*n = u*n - 32. Let g be (-65)/7 + n/(-28). Is -9 at least as big as g?
True
Suppose -9 = 6*i - 3*i. Let f = -2 - i. Is -1 bigger than f?
False
Suppose -3*t - 9 = -6*t - 4*w, 0 = -t - 4*w + 3. Suppose x - t*x = 0. Is -3/23 at most x?
True
Let k = -3228/5 + 648. Is 11 at most k?
False
Let r be (19 + -43)*(-1)/58. Which is smaller: 1 or r?
r
Suppose 4*c = 6*c + 2. Let a be 63/49 + c*(2 + -1). Is 1 smaller than a?
False
Let f be 36/84 - (-5230)/14. Let j be f/(-4) + 1/(-2). Which is smaller: -93 or j?
j
Let r be (-48)/120 + 1984/(-15). Let d = 132 + r. Which is smaller: 1/60 or d?
d
Let r = -3 - -1. Let b be 7/r*(3 + (-324)/105). Does b = 1?
False
Let s(g) = -103*g**3 - 2*g**2 + 2*g - 1. Suppose 5*d = 6 - 1. Let t be s(d). Let y be 6/21 + t/(-28). Does 6 = y?
False
Let k = -388 + 389. Are k and -323 nonequal?
True
Let g be (1 - 1) + 1 - 3. Let n = -3421 + 3433. Is g at least n?
False
Let d be 1 + -2 + (-3 - -1). Let r(o) = -o**3 - 3*o**2 - 2*o - 2. Let v be r(d). Let f(b) = -b - 24. Let z be f(-26). Which is bigger: v or z?
v
Let c(q) = -39*q - 787. Let p be c(-37). Which is bigger: p or 655?
p
Let b(v) = -v + 9. Let d be b(7). Let f be (-2)/d*7/(-1). Suppose -4*t + 0*t + 24 = 0. Is f < t?
False
Suppose 4*l + 5*w - 71 = 0, l - 4*w + w = 5. Let k = l + -10. Let m = k + -1. Which is smaller: 7/3 or m?
7/3
Let l be (-3)/(-6) - 7/6. Let p = 6641/4 - 1665. Which is smaller: p or l?
p
Let w(p) = p**2 + p - 1. Let j(o) = -o**3 + 9*o**2 - o + 16. Let x(q) = -j(q) + 2*w(q). Let k be x(6). Which is smaller: -1 or k?
k
Let g = 10 - 18. Let b = 22 + -19. Suppose -3*x - 2 = b*d + 19, 4*x - d = -38. Which is bigger: g or x?
g
Let h = 0.035 + -0.465. Let t = -0.23 - h. Is 7 < t?
False
Suppose z = 6*z. Let o be (-490)/(-75)*(-11)/24 - -3. Let i = o + 1/20. Is z >= i?
False
Let v = 960 + -33598/35. Let u = 53 - 53. Is u greater than or equal to v?
False
Suppose 97 + 65 = -9*y. Let l be (-2)/84*(-24)/y. Is l at least -1?
True
Let h = 11.76 + -0.16. Let u = -1.6 + h. Let i = u - 10. Which is smaller: -2/7 or i?
-2/7
Suppose 2*z = -9 + 1. Let d(x) = -x**2 + 12*x - 13. Let a be d(10). Suppose 0 = 11*h - a*h + 20. Is h not equal to z?
True
Let c = 184 - 541. Let k be (14/c)/(3/((-18)/16)). Which is greater: -1 or k?
k
Let w = 18 - -8. Suppose 0 = 15*i - 7 - 383. Do i and w have different values?
False
Let y(u) = 3*u**2 + u - 15. Let r be y(2). Is -60/31 at most as big as r?
True
Suppose -r + 6*r - 480 = 0. Suppose 3*o + 3*o = -r. Are o and -16 non-equal?
False
Suppose -2*d + 48 = 2*b, -4*b + 10*d + 132 = 5*d. Which is smaller: -2/5 or b?
-2/5
Let h(i) = -5 + 2*i**3 + 0*i + 5*i**2 + 4*i - i**3 + 6. Let z be h(-4). Which is smaller: -2/13 or z?
-2/13
Let f = 117 - 124. Which is smaller: f or 8?
f
Suppose -41*y + 40*y + 12 = 4*v, 4*v - 12 = -2*y. Which is bigger: y or 20/151?
20/151
Let x be -22*5/20*1*2. Let c = x + 14. Is 5 >= c?
True
Suppose 3*y + 4*s - s + 66 = 0, 2*s + 78 = -4*y. Let w = 19 + y. Suppose -3*z - 3*m = -12, m - 1 = -4*z + w*m. Is z bigger than -2/11?
True
Let j = -104 + 57. Let o = 20 + j. Let m = o - -23. Are 2 and m non-equal?
True
Let q be (-4)/22 - (-79)/11. Suppose -2*d - 13 - q = 2*z, 2*d = z + 7. Is z < -9?
False
Let m(w) = 10*w + 69. Let l be m(-7). Which is smaller: l or -0.11?
l
Let t(z) = -2*z + 12. Let p be t(11). Let v = 14 + p. Suppose v*f - 2 = 2*f. Is f equal to -12/5?
False
Let p be (-3 + 9/2)/(6/8). Suppose p*a = -3 + 3. Which is greater: 4/75 or a?
4/75
Suppose -2*m + 4*n + 106 = 2*n, 124 = 3*m + 4*n. Which is bigger: 51 or m?
51
Let p = 5294/2061 + -3/22