r: i or b?
i
Suppose -51*u = -5*a - 49*u + 48, a + u - 4 = 0. Suppose 0 = 3*x - 11 - 13. Are a and x equal?
True
Let s be -3 - (1562/48 + (-10)/15). Let x = s + 35. Which is smaller: x or 2?
x
Suppose -3*v + 4*u = -u - 54, 4*v - 3*u = 72. Suppose 0*o - 2*o = v. Suppose 0 = 4*y + 6*y + 100. Which is smaller: o or y?
y
Let j = -21 - -57. Suppose -5*p + 60 = -5*h, 3*p - 4*h = h + j. Which is bigger: p or 13?
13
Let u be (1 + 33/9)*32/(-42). Which is smaller: u or 8?
u
Let x = -0.8 + 16.8. Let q = 14 - x. Let c = -1.8 - 10.2. Which is smaller: q or c?
c
Suppose m + 3*m = 4*x - 8, 4*x = 5*m + 5. Suppose m*v - 5 = 4. Let h = -2 + v. Is 0.08 not equal to h?
True
Let p = -12 + 15. Let g(n) = -4*n**2 - n - 2 + n + 3*n**2 - p*n. Let w be g(-3). Which is bigger: w or -0.2?
-0.2
Let g = -27.3 - 2.7. Let n = g + 29.9. Which is smaller: 0.3 or n?
n
Suppose 56*c - 6 = 50*c. Let n(i) = -i**2 + 13*i - 13. Let w = 11 + 1. Let r be n(w). Is c less than r?
False
Let h(y) = y**3 - 10*y**2 + 2*y - 134. Let x be h(11). Let p(t) = -69*t**2 - t. Let j be p(-1). Let n be (-2)/(-7) + j/(-7). Which is greater: n or x?
n
Let r be 46/(-36) + (-12)/(-9). Are 42 and r equal?
False
Let m(l) = l**3 - 4*l**2 + 6*l - 9. Let h be m(3). Let d(q) = -q - 3. Let g be d(-4). Let y be (1 + -1)*g/2. Is h >= y?
True
Let t = 1/254 + -853/23114. Which is smaller: t or 1?
t
Let y be 1/(-8) - (2765/(-40) - -4). Suppose -3*v = -5*x + y, -2 = x + 3. Do v and -31 have the same value?
False
Let j = 9 - 12. Let c be ((-472)/36 + 3)*j. Let l = c + -30. Do l and 1/21 have the same value?
False
Let p = 68 - 48. Which is bigger: -0.1 or p?
p
Let q = -0.0094 - -2.9704. Let p = q + 0.039. Which is smaller: p or -0.3?
-0.3
Let m be -42*(5/(-20))/((-6)/(-8)). Is 15 at most as big as m?
False
Let r be -1*5 - (-2 + 0). Suppose 3*p = 4*o + 27, 2*p - 32 = -2*p + 4*o. Suppose -3*k + 8 = -4*h, -3*k + 17 = -p*h - k. Is h >= r?
False
Let h(o) = -o - 13. Let i(z) = -z**3 - 13*z**2 + 2*z. Let d be i(-13). Let a be h(d). Which is smaller: 12 or a?
12
Let q = 44.16 - 44. Let u = q - 0.16. Is u greater than or equal to 3?
False
Suppose 0 = 5*b - 9 - 6. Suppose -2*r + 0 + 2 = -2*f, -4*f + r - 1 = 0. Suppose 0*v - 2*v + 10 = f. Are b and v non-equal?
True
Let c(z) = 26*z**2 - 14*z - 40. Let v be c(-4). Is 0.2 greater than or equal to v?
False
Let q(f) = -60*f - 60. Let z be q(-1). Is z less than or equal to -14/95?
False
Suppose 0 = 3*x - 2*u, 2*x - 2*u = 3*u - 11. Suppose 4*s + x*p + 58 = 0, p + 10 = -s + 2*p. Is -12 smaller than s?
False
Let p = 1849/16212 - 4/579. Let c = -2/7 + 1/28. Let h = c + p. Do h and 0 have the same value?
False
Let x be (-26)/((-1)/((-3)/(-6))). Is x less than 25?
True
Suppose -3*v = v + i + 31, -6 = 2*i. Let a(u) = -2*u + 0*u - u + 4*u. Let r be a(-3). Does r = v?
False
Suppose 5*x = -5*o + 30, 0 = 5*x + 4*o - o - 20. Is x greater than -4/175?
True
Let z = 47 + -31. Suppose -4*s = -3*s + 5, -2*m = -2*s - z. Let q be ((-2)/5)/(m/(-30)). Are 4 and q non-equal?
False
Let p = -0.161 + -0.039. Is -1/16 at least as big as p?
True
Suppose -v + 3*v + m = 0, 0 = -v - 2*m + 6. Let k = 42 - 38. Which is greater: k or v?
k
Suppose 5*y - 5 = 10. Let u(v) = 2*v**3 - 2*v**2 - v - 1. Let h be u(y). Is 33 not equal to h?
True
Let r = -2 + -60. Let q = 106 + r. Is q > 44?
False
Let k be 19/17 - 40/340. Let s(l) = 3*l + 2. Let c be s(-2). Let r be (-4)/(-14)*(-2)/c. Which is smaller: r or k?
r
Let a = -12 + 12. Let h = -6 - -7. Which is bigger: a or h?
h
Let a(k) = k**2 - 3*k - 21. Let b be 0 - (4 - 2) - -2. Let p be a(b). Are -21 and p nonequal?
False
Let t be -8*3/(-48)*-214. Is t <= -213/2?
True
Let x = -111.01 - -111. Is 1 less than or equal to x?
False
Let f = 5 - -34. Let j = -42 + f. Which is smaller: j or -16/9?
j
Let s(b) be the first derivative of 1/2*b**2 - 1/4*b**4 + 3 + 3*b + 5/3*b**3. Let a be s(5). Is a != 0?
True
Let r be 1/((-78)/(-12) - 7). Let i(a) = -32*a**2 + 1. Let q be i(1). Let k be -3 - q/(-18)*r. Which is bigger: 1/4 or k?
k
Let m = 505 + -519. Which is smaller: -18 or m?
-18
Let y(g) = 2*g - 3. Let p be (1 - 3 - -1) + (0 - 5). Let x be y(p). Which is smaller: x or -16?
-16
Let y = -2/3277 - 396513/6554. Is y not equal to -60?
True
Let d be (164/41)/((-1 + 2)/1). Let u(p) = -p + 3. Let f be u(-2). Is f at most as big as d?
False
Let h(z) = 19*z**2 + z. Let g(t) = t. Let p be g(1). Let l be h(p). Let y be (7/(-21))/(l/6). Is 1 greater than y?
True
Let n = -35 + 25. Let o = 15 + n. Let a = -1 - o. Which is greater: -2 or a?
-2
Let q = -77/5 - -139/10. Let t = -97/3 - -32. Let n = t - -1. Which is greater: n or q?
n
Suppose 15 = 5*h - 3*b + b, -4*b = 2*h - 6. Let a = -439 + 466. Suppose -3*u - h = -a. Which is greater: 9 or u?
9
Let r be 5 + -3 + 27/30. Let p = 629/210 - r. Which is smaller: 0 or p?
0
Suppose -4*m - 32 = 2*o, 4*o + 3*m - 9 = -48. Is o < 30?
True
Let t(g) = g**3 - 8*g**2 - g + 7. Suppose 2*m - 32 = -2*m. Let s be t(m). Let l be s + (148/(-48) - -4). Is l less than 1?
True
Let j = 32.9 - 63.07. Let w = 30 + j. Is w at most -2/5?
False
Suppose -3*m + 0*m - 3 = 0. Let f be ((-400)/(-84) + -6)*(-9)/(-6). Which is smaller: f or m?
f
Let a be (6 - (-138)/(-24))*2*-1. Is 68 >= a?
True
Let s be 4/(6*(-5)/(-230)). Is s greater than 31?
False
Let x be (-4)/1*(-2)/2. Suppose -3*u = -5*j - 2, 5 = j + x*u - 13. Suppose -25 = -j*w - 5*c, -2*c + 5 = -5. Which is smaller: -1/5 or w?
-1/5
Let a = 6 - 5. Let j = 0.21 + -0.08. Are j and a equal?
False
Let u = -13 + 96. Is u at least 2/7?
True
Let j = 54 + -5. Which is smaller: j or 50?
j
Let y be (-40)/105 + (-2 - (-60)/35). Let p = -0.4 + 0.5. Which is bigger: y or p?
p
Let y be (-4)/20 - (287/160 + -2). Is 0 greater than or equal to y?
False
Let m be (-20)/4*(-412)/20. Which is smaller: m or 104?
m
Let q = -683 - -683.642. Let g = -0.058 - q. Let o = -0.6 - 0.4. Is o < g?
True
Let b(s) = s**2 - 4*s - 50. Let l be b(8). Which is greater: -14 or l?
-14
Let u(b) = b**2 + 19*b + 39. Let v be u(-21). Let i be (v/(-6))/((-27)/8 - -3). Do 35 and i have different values?
True
Let k = -1679 - -1678.9. Is -1123 not equal to k?
True
Let z be (2 - 4)*(-15)/6. Let y(t) = t**2 - 16*t + 3. Let o be y(16). Suppose -3*i = x - 1, o*i + z*x - 3 = -10. Which is greater: -15 or i?
i
Let w be 0 - -5*(-10)/(-150). Let g = 31 + -29.3. Which is bigger: g or w?
g
Let v(h) = -2*h**3 - h**2 - h - 1. Let p be v(-2). Let z = p + -9. Suppose 4*l = -3*u - 7, -5*u + z*u + 15 = -3*l. Which is smaller: 4 or u?
u
Let a be (-54 - -53)/((-6)/2). Is -19 > a?
False
Let q be (144/(-20))/((-3)/(3*50)). Let m = 3593/10 - q. Which is smaller: m or -2?
-2
Suppose 0 = 5*f - i + 5, 5*f - 5 = -0*i - i. Let h = -13330 - -13357. Which is bigger: f or h?
h
Let m = -40 + 77. Suppose 0 = m*p - 32*p - 25. Which is smaller: p or 6?
p
Let h = -199 - -195.77. Let s = h - -3.2. Which is smaller: -1 or s?
-1
Let w = -10 + -2. Let c = w + 12. Is 4 smaller than c?
False
Let o = 56.2 + -43. Let s = -13 + o. Which is bigger: s or 21?
21
Suppose 131 - 140 = 9*c. Let u be 3 - (-260)/(-252)*3. Which is greater: u or c?
u
Let c(f) = -3*f**3 + 10*f**2 - 2*f - 14. Let x be c(5). Does -149 = x?
True
Suppose -q + 0*q = -3*q. Let p be 3 + -1 + -5 - 1. Let l = 5 + p. Is q bigger than l?
False
Suppose -38*t + 6727 + 9461 = 0. Which is greater: t or 428?
428
Let l(f) = f**3 + 5*f**2 - f - 5. Let b be l(-5). Let j be 4/(-18) + 1460/90. Let p be j/64 - (-22)/24. Is b bigger than p?
False
Let s(t) = t**2 - 5*t + 5. Let d be s(4). Let y be ((-6)/(-8))/(d*(-20)/(-96)). Which is bigger: 4 or y?
4
Let i = -17/160 - 3/32. Suppose 3*z - r - 3*r = -340, -5*z - 2*r - 558 = 0. Let b = 112 + z. Which is greater: b or i?
b
Suppose 4*z - 186 = -354. Which is smaller: -39 or z?
z
Let u be 2 + ((-68)/14 - -2). Suppose 28*q = 8*q. Suppose -n - 2*n = -s + 9, q = -2*s + 2*n + 6. Is s > u?
True
Let p = 283 - 283. Let s(y) = y**2 - 7*y + 2. Let c be s(6). Let t be ((-2)/c)/(10/12). Do p and t have the same value?
False
Suppose 4*a = -2*u - 34, 5*u + 41 = -0*u + a. Let c = u - -14. Suppose 8 = 3*x + 2*s - 3, -3*x + 3*s = -21. Is c at least x?
True
Suppose -687 = z + n, -2*z - n = -0*z + 1370. Which is smaller: -682 or z?
z
Let i = 791 + -792. Are i and 51 equal?
False
Let p(r) = 0*r - 3*r - 2*r + 6*r - 8. Let g be p(-6). Let z 