r: -1/6 or u?
u
Suppose 180 - 130 = -10*y. Let z = -11 - -8. Let m be (4/z)/(2/6). Which is greater: m or y?
m
Let k be (-1)/(180/86 + -1). Let j = 52648794 - 200433955369/3807. Let u = j + k. Which is greater: u or -1?
u
Suppose 0*t = -3*t - 3. Let s be (t/2)/(-1 - -2). Let l = 37 + -41. Which is greater: s or l?
s
Let d = -3131/350808 - -5/622. Is d bigger than 1/3?
False
Let b be 7/(-2)*20/(-35). Suppose -b*x + 20 = 5*c, 2*c + 3*c = 3*x + 20. Let h be c/(-1) + 2 + 3. Which is smaller: h or 4/13?
4/13
Let n be (6/(-8))/(3/(-48)). Let g(j) = -j**3 + 13*j**2 - 9*j - 22. Let a be g(n). Is a != 16?
True
Let o = -1672 + 1774. Which is smaller: o or 5?
5
Let m be 2/6*1*(-44 + 47). Which is bigger: 262 or m?
262
Let c = 184 - 240. Is -1/7 not equal to c?
True
Let m = 4 + -2. Let k = 841 + -10923/13. Is m greater than or equal to k?
True
Suppose 0 = -w + 4 + 2. Suppose -w*f = -f. Suppose f = -q + 2*q. Is -5/6 at most q?
True
Suppose -69*q + 92*q + 437 = 0. Suppose -u = 11 + 9. Are u and q unequal?
True
Let m = 0.6 - 1.6. Is -69 smaller than m?
True
Let n be 2/(-6) + 59508/178516. Let v = n + 80733841/1338870. Let x = v + -60. Which is bigger: x or 1?
1
Suppose 4*q + 4*r = -216, r = -3*q - 2*q - 290. Which is smaller: q or -237/4?
-237/4
Suppose 0 = 16*w + 24 - 40. Is -2/1293 greater than w?
False
Let r be (-24)/246*(4 - 11). Which is bigger: r or 0?
r
Let a be (-6)/(-54) + (-2)/18. Suppose p + 21 = -a*p. Do -21 and p have the same value?
True
Let u = 26 - 24.9. Let b = -0.1633 - -0.4633. Which is bigger: u or b?
u
Let c be (-2)/579*(-18)/((-54)/(-9)). Let t = -0.38 - -0.38. Is c bigger than t?
True
Let y = 144.1 - 144. Which is smaller: 21/4 or y?
y
Suppose -u = 2*w + 7, u + 0*w - 5*w - 14 = 0. Which is greater: u or -2/1075?
-2/1075
Let n(a) = -a**3 - 8*a**2 - 7*a + 5. Let h be n(-7). Suppose h*y = -15 + 35. Is 6 > y?
True
Suppose 3*z - 34 = 5*u, -2*z + 2*u = 3*z - 25. Suppose c + 17 = -z*l - 3*c, -4*l - 2*c = 6. Let f = l + 10. Is f equal to 10?
False
Let s be (-86)/(-90) + (1 - 2). Let v = -16 + 17. Let x be ((-5)/10)/(v/2). Is s bigger than x?
True
Let p be -1*1 + 36225/36200. Is p not equal to -1?
True
Let b be ((-2)/3 + 0)/(4/258). Let j = 15 + b. Which is smaller: j or -29?
-29
Let b = -4 + -38. Let x = b - -45. Which is bigger: 1 or x?
x
Suppose 0 = -2*z + 6*z - 2008. Is z smaller than 503?
True
Let j = -424 - -424.02. Let p = 0 - -0.1. Which is bigger: p or j?
p
Let o be (-2 - 26/(-6))*3/(-9). Is o at most 0?
True
Suppose -j + 3*c + 4 = 2*c, 2*j - 4*c - 12 = 0. Suppose -9*x = -j*x. Is x < 1/28?
True
Let s be (-3 - 2)/(-2*2/12). Is s at least -3?
True
Suppose o = 6*o - 5*u + 30, 0 = 5*o + 2*u + 37. Let h = 25 - o. Do 31 and h have the same value?
False
Let t be (13 - (-62)/(-4))/((-5)/3964). Which is smaller: t or 1983?
t
Let y be (1 - 6/2)*-8. Let n be (5 - -3)*(-12)/y. Which is smaller: n or -32/7?
n
Let u = -1350 + 1433.3. Let o = -81 + u. Which is smaller: o or 0?
0
Let l = -25 - -13. Suppose -5*w - 3 = g, 4*w = -w - 5. Do g and l have different values?
True
Suppose 3 = -2*l + 1. Let i(c) = -137*c - 4009. Let f be i(-29). Is l equal to f?
False
Suppose 16 = 4*v, -5*v + 15 + 15 = -d. Let u be ((-35)/d)/(-7)*0. Is u at most as big as 0?
True
Suppose g = 3*v - 6*v - 1, -2*g = 3*v + 2. Let i be ((-28)/12 - v)*(-4)/14. Let c be (-3*1)/(42/(-4)). Is i >= c?
True
Let m(g) = g**2 + 8*g - 4. Let d be m(6). Let n(l) = -l**3 + l**2 + 13*l - 21. Let h be n(3). Suppose -2*z - 2*z - d = h. Which is smaller: -19 or z?
z
Suppose 3*x + 2 = u, 0*x = 3*u - 2*x + 1. Let a(l) = l**3 + 4*l**2 - 1. Let h be a(u). Suppose h*g = -2*g - 12. Which is bigger: -2 or g?
-2
Let o be 1*-2 + 0 + 6. Suppose -10 = 5*y - 4*l, -o*y - 14 + 2 = -4*l. Let f = -17/2 - -9. Is y >= f?
True
Let i(j) = -3*j**3 - 6*j**2 + 12*j - 13. Let u be i(7). Let p = -61350/49 - u. Do 1 and p have different values?
True
Let y = -2 - -3. Let d be 4/(-3) + ((-1)/(-3) - y). Is d not equal to -3/5?
True
Suppose -5*t = -4*f + 11 + 5, -4*f - 4*t = 20. Let n = f - -3. Suppose 4*q + 22 = -2*w, n*w + 23 = -w - 4*q. Is w at least 1/4?
False
Suppose -61 = 3*p - 5*q, -3*p + 2*q - 6*q = 97. Let g = -75 + 47. Which is greater: p or g?
p
Suppose -2*o + 64 = 2*o. Let d = 3 - -6. Let k = o - d. Which is bigger: 3 or k?
k
Let y(z) = -3*z**2 + 2*z - 1. Let g be 4/10*25/10. Let d be y(g). Is 3 >= d?
True
Let m be 29/1 + (-3 - -3). Let t = -32 + m. Is -7/3 less than or equal to t?
False
Suppose 2*x - 4*x + 4 = 0. Suppose 5*s + 5*b - 255 = 0, -5*s + 3*b + 300 = -b. Let z = s - 56. Which is greater: x or z?
x
Let r be ((-8)/(-4540))/(39/(-65)). Is r at most as big as -1?
False
Suppose -2*h = -6*h + 4. Suppose 4*c = 4*i + 516, 2*c = 4*i - 5*i - 114. Let o = 126 + i. Which is smaller: h or o?
h
Let b = -65.9 - 9.1. Is b <= -1/3?
True
Let s = 521/195 + -33/13. Which is smaller: -2 or s?
-2
Let w = -0.8 - -3.6. Let b = 9.3 - w. Let z = b + -7. Is z greater than or equal to 2?
False
Let k be 3*3 - 50/10. Suppose -h - 2*g - 3 = -g, -19 = -3*h + k*g. Which is greater: 2 or h?
2
Let j = -5.1 - -4.2. Let m = -0.8 - j. Which is smaller: 0 or m?
0
Let l = 2/20929 - -1402223/209290. Is l at least as big as 8?
False
Suppose 3*p - 82 = -q, -3*p - 3*q + 106 = p. Let n(c) = -c - 41. Let u be n(-14). Let f = p + u. Is f at most -5?
False
Let q = 11695151798507/6604 - 3541838809/2. Let w = 2/1651 - q. Which is smaller: w or -8?
-8
Let u = 22217/696 + -383/12. Is u greater than 0?
True
Let q = 0 + -1. Let p be -3 + 3 + (-7)/((-7)/4). Suppose 0 = -r - 3, p*r - 3*r - 17 = -2*w. Which is greater: q or w?
w
Let y = -3/376 - -21071/1880. Suppose 362*g - 360*g + 3*h - 28 = 0, 65 = 5*g + 5*h. Which is smaller: g or y?
g
Suppose 2*d = -0*f - 4*f + 316, 3*f - 247 = d. Suppose -4*o + 25 + 219 = 3*t, -3*t + 4*o = -236. Which is bigger: t or f?
f
Let l = -74.1 - -56.1. Let t be (-2 - -2) + (-2)/3. Which is greater: l or t?
t
Suppose a - 2 + 0 = 0. Suppose 0 = 4*h - f + 10 - 4, 4*f = 8. Does h = a?
False
Let p = -19.2 + -15.08. Let h = p + 34. Is h greater than 0.1?
False
Let v = 26 + -16. Suppose -6*j - 14 - v = 0. Let c be (-5)/(-4)*(j - -6). Which is greater: 3 or c?
3
Suppose -36 = -4*p - 25*n + 26*n, n = -4. Let u = 6 - -3. Which is smaller: p or u?
p
Let p = 45 - 44.86. Let t = p - 0.12. Which is smaller: 2/5 or t?
t
Let y be 6/(-14) + (-13587)/(-29988). Which is smaller: 0 or y?
0
Let q(t) = -t**3 - 9*t**2 - 22*t - 107. Let v be q(-8). Are -45 and v equal?
False
Let o = -77 - -1618/21. Which is smaller: o or 0?
0
Let v be (690/(-33))/5 + 2/11. Let k be 16 - 1 - 4/v*-1. Which is smaller: 67/5 or k?
67/5
Let c = 224 - 130. Let x = 98 - c. Which is bigger: -0.06 or x?
x
Suppose -b = b - 52. Let n = -22 + b. Which is greater: n or 1?
n
Let b = -154 - -219. Is b less than or equal to 64?
False
Let b be (9/6)/((-3)/(-4)). Let d be (b - (-5 + 3)) + 2. Let p be 8/d - (-5)/(-10). Which is bigger: p or -1/5?
p
Suppose 0 = -4*n + 3*m - 50 - 17, -2*n - m - 31 = 0. Let d be (-114)/n*8/30. Let i = d + -7/5. Which is smaller: i or 1?
i
Let j = 9 - 11. Let x be j/136*(2 - 1). Is x greater than 0?
False
Let z be 3168/189 + -6 - (-18)/(-3). Is 5 equal to z?
False
Let t = -25 + -10. Let q = 35 + t. Which is smaller: q or 2/137?
q
Suppose -10*x + 356 = -8*x. Suppose 3*i = 3*f + x - 46, 4*i = f + 50. Let y be (-2)/(-7) + 5/f. Is y greater than 1?
False
Let w(f) = 2*f**2 + 6*f - 112. Let v be w(-9). Let p = -6 - -2. Is p not equal to v?
False
Suppose -3*j = -3*m - 33, -j - 2*j = 4*m - 61. Is j >= 136/9?
False
Let s = 31 + -29.8. Let v = s - 1. Which is smaller: v or 1/10?
1/10
Suppose -4*x - 4 = 3*f + x, 12 = f + 5*x. Let g(r) = r - 8. Let h be g(f). Let l = h + 65/4. Which is smaller: -1 or l?
-1
Let q be (4/(-4616))/(170/5636). Let c = q + 3/577. Which is bigger: 0 or c?
0
Let b = 49 + -48.86. Let y = -0.56 + b. Do y and -2 have different values?
True
Let b be 76/(-6) - 28/42. Is -14 >= b?
False
Let j(g) = 4*g + 8. Let q be j(7). Let h = -1 - q. Which is smaller: -36 or h?
h
Let h(f) = -f - 3. Let w be h(-6). Suppose n = -w*n. Let m = 36 - 37. Which is smaller: n or m?
m
Let s = 1801/3 - 606. Let h(m) = -2*m - 8. Let q be h(-1). Is q != s?
True
Let b be (3 - 7)/1 + (-685)/(-20). Is -1 >= b?
False
Suppose 0 = -3*o + 4*c - 58, -o = -6*o + c - 108. Let w = 12