r: s or x?
x
Suppose 477 = 3*i + 3*z, 3*i = -7*z + 5*z + 481. Which is greater: 164 or i?
164
Suppose -3*r + 5*r - f - 4 = 0, 4*f + 16 = 5*r. Which is greater: 3/1280 or r?
3/1280
Let i = 129477/116 + -4457/4. Which is smaller: i or 2?
i
Let t = -24 + 8. Let r = t - -28. Do 12 and r have the same value?
True
Let o be ((-2)/4)/(2/(-16)). Suppose 0 = -o*q + 3 - 19. Which is smaller: -9 or q?
-9
Let o be (-4 - (-9 - -4))*5. Which is smaller: o or -2?
-2
Let l be (-100)/(-6)*216/90. Let s be ((-2)/3)/(l/(-60)). Which is smaller: -3/32 or s?
-3/32
Let d be (-660)/(-484)*4/(-190)*-1. Which is smaller: d or 1?
d
Let n(y) = -y**2 - 12*y - 11. Let c be n(-1). Is 4/143 != c?
True
Let k = 20 + -34. Let o = 913 + -913. Do k and o have different values?
True
Suppose 3*d = 0, 4*g - 19*d = -20*d - 92. Is -24 less than g?
True
Suppose 5*t - o + 24 = 0, 0 = 24*t - 28*t + 3*o - 17. Is t greater than or equal to -6?
True
Let f = -0.84 - 22.36. Let g = f - -23. Which is smaller: g or -1?
-1
Let k(p) = p**2 + 8*p + 7. Let j be k(-7). Suppose -3*r = -j*r + v - 19, -5*v - 17 = r. Let q = -3 - -1. Is r at most q?
False
Let g be (-4)/14 - (-4 + 10/14). Suppose -3*d - 9 = 0, h + 15 = -g*d - 1. Which is smaller: h or -9?
-9
Let p(c) = -c**2 - c + 1. Let l(j) = -3*j - 18. Let r be l(-8). Suppose r*z = 2*z - 8. Let n be p(z). Which is bigger: 1.2 or n?
1.2
Let s be 6*1/2 + -1. Suppose -3*b = -5*f + 49, 0 = -7*b + s*b - 15. Suppose 4*v + f = -28. Is v smaller than -8?
True
Let b = 7 + -3. Let k = -0.03 + -4.57. Let i = k - -4.7. Is b equal to i?
False
Let l = 757 + -756. Is l at least as big as 1?
True
Let u = -1077/5 - -2071/15. Which is bigger: -77 or u?
-77
Let f be 4/10 + 1 + -1. Let o = 1.28 + -3.28. Is f < o?
False
Suppose -3*o - o = -20. Let z = o + -14. Which is smaller: -8 or z?
z
Let t be ((-28)/42)/((-4)/18). Is t >= 17/6?
True
Let l(f) = f**3 - 9*f**2 - 9*f - 10. Suppose 3*s - 34 + 4 = 0. Let o be l(s). Is -1/31 smaller than o?
True
Let v = 5180 + -5184. Suppose 24 = -4*u + 2*j - 4*j, 0 = -4*j. Are v and u non-equal?
True
Let n(z) = z**3 + 4*z**2 + z + 4. Let m be n(-4). Let a(x) = -x**2 - x + 3. Let j be a(m). Let i = -100 + 898/9. Do i and j have the same value?
False
Let d be 2/(1*8/36). Let u = d - 35. Let a(p) = p - 37. Let o be a(12). Does u = o?
False
Let h = 10.32 + -10. Let b = h - 0.12. Let q = -37/55 + 3/11. Is b < q?
False
Let h = 0.054 - 41.054. Let l = h + 40.9. Which is smaller: l or 51?
l
Suppose 0 = -257*g + 259*g + 16. Is g < -4?
True
Let m = 27 + -26.79. Let o = 0.17 - m. Which is smaller: -2 or o?
-2
Let g be (7 - 150/18)/10. Which is greater: g or 49?
49
Let t = -59 + 59. Is t > -3/64?
True
Suppose p - 1 = 0, 2*v = -4*p + 2*p + 10. Suppose 3*u - v = 2*u. Suppose x - 8 = 4*m, -5 = -2*m - u*x + 9. Is m at most as big as -5/6?
True
Let m = -561 - -484. Is m not equal to -76?
True
Suppose -39*o - 994 = -53*o. Which is smaller: o or 1?
1
Let z = -0.1726 - -6.1446. Let k = -0.028 - z. Let y = -1 - -2. Which is smaller: k or y?
k
Let r = 40.2 - 34. Let a = 6 - r. Suppose -9*b = -12*b. Is a at least b?
False
Let l = -1.913 - 0.067. Let t = -0.02 + l. Let z = t + 5. Which is smaller: z or 2/5?
2/5
Suppose -40*a = -34*a + 744. Is a at least as big as -125?
True
Suppose -n + 4*n = 6. Let s = n + 3. Let p be ((-6)/s)/((-20)/50). Is p less than or equal to 6?
True
Suppose -o + 9 = 5*v - 16, o = -2*v + 10. Suppose -4*d + t = -24, 3*t = 4*d + 6 - 38. Is d greater than or equal to v?
True
Let m = -1.57 + 0.57. Let y be 10/(-55) - (-40)/99. Which is bigger: m or y?
y
Let s = -387 - -1300. Is 912 bigger than s?
False
Suppose -4*c - 7 = -i - 3*c, -2*c + 16 = 3*i. Let n(a) = 2*a**3 - 5*a - 1 + a**3 + 0*a + a**2 + i*a. Let f be n(1). Is f greater than 5?
False
Let f = -42 + 22. Let p be (-1)/f*-11 + 3/12. Let c be (-1 + 1)*1*-1. Are p and c non-equal?
True
Let n = -0.36 - -0.53. Let z = n - -0.17. Let x = z - 0.54. Which is smaller: -14 or x?
-14
Let w = 1276 + -11521/9. Is -4 greater than or equal to w?
True
Let l(m) = m**2 - 14*m + 45. Let g be l(5). Is 5/6 greater than g?
True
Let l be ((-570)/45)/(8/(-6))*-6. Does -62 = l?
False
Let z(o) = -o - 5. Let r be z(-5). Let m be (-21)/60*(-13587)/49. Let n = -97 + m. Which is greater: n or r?
n
Let l be -2*(5/12)/5. Let s be (5 - 0)*66/110 - 4. Which is smaller: s or l?
s
Suppose 3*d - 9 = 6. Suppose -5*f + 24 = -2*x - 0*x, d*f - 28 = 4*x. Which is smaller: f or 3?
3
Let t = 278036/5133 + 1/3422. Let p = -54 + t. Suppose 5*i = -3*f - 17, -16 = 4*f + i + 4*i. Which is smaller: f or p?
p
Let k be 5/(-1 + -4) + -2 - -3. Is k greater than -1?
True
Let g = 3934475/14388 - 3008/11. Which is bigger: g or -1?
g
Let z be 64/(-80)*(-660 + 5). Is 524 greater than or equal to z?
True
Let f = 3/238 + -2203/119. Which is greater: -20 or f?
f
Let r(m) = -m**2 - 13*m - 1. Let x be r(-16). Let v be ((-18)/(-12))/3 + 291/(-6). Is v greater than or equal to x?
True
Let d(a) = a**3 + a**2 - a + 4. Let u be d(0). Let o be u/10 + (-4)/10. Let y = 0.12 - 0.02. Which is smaller: y or o?
o
Let g = 30.9 + -31. Let c = g + -1.3. Is c smaller than 0.1?
True
Let m = 77 - 80. Let w = 45309/17 + -2667. Are m and w nonequal?
True
Let z be -1*2*-1*(12 + -13). Which is smaller: z or -6?
-6
Let g be (3 - (-27)/(-12)) + (-2)/(-8). Let r be (g*2/(-5))/((-84)/15). Is 0 at least as big as r?
False
Let m be (1/23)/((735/10)/21). Which is smaller: m or -1?
-1
Let t = 1442 + -1464. Is 7 != t?
True
Let m(i) = i**3 - 5*i**2 - 3*i + 5. Let f be m(5). Let z = 13 + f. Suppose -v = b + 4, -8*v = 2*b - z*v + 17. Is b less than or equal to 2/5?
True
Let d be 85/119 - (-4)/14. Let p(f) = f**2 + 5*f - 5. Let b be p(d). Which is bigger: b or -2/273?
b
Let c = -1031.4 + 1059. Which is smaller: -0.1 or c?
-0.1
Let p = -56/255 - -6/17. Which is greater: p or 3/7?
3/7
Suppose -191*h - 784 = -193*h. Is h equal to 393?
False
Let w be (2 - -5 - 6) + (-143)/37. Let k = w + 2172/629. Which is greater: k or 1?
1
Suppose g = 2*j - 1426, -2*j - 9*g + 1406 = -5*g. Is j bigger than 710?
True
Let j = -57 - -30. Let g = j - -28. Which is smaller: 6/7 or g?
6/7
Let a(n) = -n**2 + 9*n - 9. Let s be a(8). Let c = -6932/225 - -278/9. Which is smaller: c or s?
s
Let v = 1999 - 2010. Which is smaller: v or -12?
-12
Let f be (-1)/(-1) - -8*1. Let g be (f/(-42))/(-3)*6. Let o(c) = 30*c + 1. Let i be o(0). Which is smaller: g or i?
g
Let h be 2/4 + (-104)/(-80). Suppose -3*b = 5*t + 10, 0*b = 3*t - 2*b - 13. Suppose 0 = n - 0*n - t. Are h and n non-equal?
True
Let a = -23 + 42. Let g = 18.9 - a. Let v = 3.5 - -12.5. Are g and v nonequal?
True
Let u be 16/(-5)*(-40)/16. Suppose -3*j = u + 61. Which is bigger: j or -24?
j
Let v(h) = h**2 + 1. Let f(r) = 2*r**2 + 12*r + 14. Let u(z) = -f(z) + 3*v(z). Let j be u(13). Let k be -8*(-5)/((-105)/(-6)). Which is greater: k or j?
k
Let d = 16 - 7. Let m be 5/(-60)*d/(-8). Which is greater: 0 or m?
m
Suppose 0 = -m - 0*m. Suppose m*a = -a. Suppose 4*q = 2*b + 56, 5*q - b + 4*b - 59 = a. Which is bigger: q or 14?
14
Suppose 0 = 23*a + 50 + 1606. Which is smaller: -67 or a?
a
Let c be 42/6951*(-2 + 1). Which is smaller: 0 or c?
c
Let s be (-11 - -2)*-2*(-1)/(-6). Let o be ((-2)/s)/((-7)/105). Are 14 and o nonequal?
True
Let s be (-57)/12*6*4. Which is bigger: s or -105?
-105
Suppose 5*l - 2*y = -94 + 9, -2*l + 4*y = 50. Let i = 18 + l. Are 3 and i equal?
True
Let s = 0.193 - 0.107. Which is smaller: -1 or s?
-1
Let t be 30/((-11)/(-7854)*35). Is t <= 613?
True
Let k be (1 + -1 + 2)/(9/45). Suppose 6*j + k = j. Which is bigger: -5/6 or j?
-5/6
Let y = -2366225/14 + 169216. Let t = y + -200. Let z = 20 + -21. Is z at least t?
False
Let p(r) = r**3 + 4*r**2 - 2*r - 6. Let z be p(-4). Suppose 2*v + 7 = 3*u, -v + z*u + 1 - 3 = 0. Let n = v - -12. Is 7/2 bigger than n?
False
Let u = 60 + -55. Let l = u + -14. Which is smaller: l or 2?
l
Let p = 6566824/25 - 262811. Let h = -138 - p. Which is smaller: h or 0?
0
Let i be -6 - -10 - (-6000)/(-1503). Do i and 1 have the same value?
False
Suppose 0 = 55*o + 109 + 441. Which is smaller: o or 4?
o
Let g be -5*(-3)/(-6)*60/(-25). Suppose -28 = -11*z - g. Which is greater: 15/11 or z?
z
Let w = 13.928 + 0.172. Let s = w + -14. Is -2/5 >= s?
False
Let y be (-939)/1530 - (2 - (-23)/(-10)). Which is bigger: y or 0?
