ater than b?
False
Suppose 4*x + 187 = 183. Is 2/53 bigger than x?
True
Let g(w) = 7*w**3 - 2*w**2 + w. Let a be g(1). Let r = a - 2. Let b = r - 2. Is b equal to 4?
False
Let d = 20 + -20.4. Suppose 4*r = 10 - 2. Which is greater: r or d?
r
Let s(g) = g**2 - 5*g + 4. Let p be s(2). Let c be (0*p/(-12))/(1 - 3). Is c at most 4/21?
True
Suppose 0 = 2*t + 4, -3*t - 158 = 4*m - 176. Let g = -0.2 + 0.7. Are g and m non-equal?
True
Let d = 9 + -4. Suppose r = c - 4, -d*c = -5*r + r - 20. Let l be 164/(-1804)*(1*-2)/1. Are l and r non-equal?
True
Let j(z) be the first derivative of -17*z**3 - 3*z**2 + 6*z - 37. Let a be j(1). Do a and -51 have different values?
False
Suppose 19 = -2*j + 21. Let r(k) = 2*k - 2. Let h be r(j). Is h < -1/3?
False
Let r = 57 - 55. Suppose -10*h + r - 2 = 0. Is -1/53 at least as big as h?
False
Let n be (-11)/(77/140)*(-54)/5. Let k be (-2)/(-8) - 6/n. Let x be ((-2)/4)/((-78)/8). Do k and x have the same value?
False
Suppose 3 + 26 = 29*t. Which is smaller: t or -3/53?
-3/53
Let b(j) = -32*j + 63. Let y be b(2). Let v = 2.1 - 50.1. Are v and y nonequal?
True
Let c be (28/21)/(-2 - 5712/(-2853)). Which is smaller: 632 or c?
632
Let t = -9 - 27. Is -35 less than t?
False
Let m(l) = 10*l - 7. Let q be m(6). Let g = q + -102. Are -50 and g unequal?
True
Suppose -5*o - 5*m = 0, 2 = -8*o + 4*o - 2*m. Let u(y) = 2 - y - 3 + 0*y + 0. Let f be u(o). Which is greater: -2/49 or f?
f
Let r = -47 - -45. Which is smaller: r or 26?
r
Suppose -4*n + 31 = -25. Let l = n + -17. Let p be 3/(-6) + l/(-4). Which is bigger: 1 or p?
1
Let b = 122 + -123. Which is smaller: b or 110?
b
Suppose 3*f + 62 = -4*n, f = -3*f - 5*n - 82. Which is greater: f or -17?
-17
Suppose -9*z = -3261 + 3270. Let y be -1*(-1 + -130)*-1. Let s = -527/4 - y. Do s and z have the same value?
False
Let j = -7731/25 - -309. Is -1 < j?
True
Let w be (-40)/6*36/24. Let q be (w - -339) + 2/2. Let k be (-98)/q + (-12)/(-36). Which is smaller: 0 or k?
0
Let c = -1.5 - -0.9. Is c <= -3/52?
True
Let u(f) = f**2 - 6*f - 6. Let z be 4/5*(-10)/(-4). Suppose -5*h + z + 33 = 0. Let c be u(h). Which is bigger: -2/37 or c?
c
Let g = 2 + -1.89. Let m = -0.794 + 0.184. Let c = m + g. Which is smaller: 2 or c?
c
Suppose -27*b = 3*b - 30. Does b = 3/22?
False
Suppose -2*k = -2*k + k. Suppose -5*h = -k*h. Is h at most 1?
True
Let y(l) = -l + 12. Let p be y(8). Let x be (p*-1)/(-3 + 1). Let n be (1 - 3)*x/16. Which is bigger: n or 1?
1
Suppose 5*x = -n - 20, 2*x = -2*n - 4 - 4. Let f = -96/7 - -100/7. Is n at least f?
False
Let z be -5 + (-99)/2*2. Let h = 108 + z. Which is smaller: 5 or h?
h
Let f be (5 + (-14 - -7))*-3. Let p = 4 + 0. Let h = p - f. Is -2 >= h?
True
Suppose 0 = -c - 5*u + 9 - 10, -55 = -5*c + 5*u. Let b be (24/(-15))/((-6)/15). Suppose 16 = b*w - 20. Is c greater than or equal to w?
True
Let i = -44 - 24. Which is smaller: i or -5?
i
Let r = -5661/451 + 137/11. Is r not equal to -1?
True
Suppose -46*b + 254 = -48*b. Which is greater: -128 or b?
b
Let r = -162.3 + 162.1. Let j = -34.91 - 0.09. Is j at least as big as r?
False
Suppose -7*s + 7 = -14*s. Let d be 1 + s + (-4 - -5). Let z = -3 + 4. Are d and z non-equal?
False
Let y = -248 + 247.89. Is -7 > y?
False
Let i = 131437/1502 + -6/751. Is 89 less than or equal to i?
False
Let n = -3655 - -266803/73. Do n and -1 have the same value?
False
Let f = -48.4 - -57. Let p = -9 + f. Does 8 = p?
False
Let u = 2030/23 - 88. Let i = 8 + -8. Which is greater: i or u?
u
Let f be (-199)/(-21) - 8/(-36)*-6. Which is greater: f or 8?
f
Let n = 1969 - 33399/17. Which is greater: -0.1 or n?
n
Let n be -5 + (-9)/(126/(-91)). Which is bigger: n or 1?
n
Let u(r) = r**2 - 9*r + 15. Let o be u(7). Let a be 14/49 + (-1132)/1855. Let h = a - 4/53. Do h and o have the same value?
False
Let i = 47/21 + -11/7. Suppose l = -15*t + 20*t - 8, -5*l + 4*t + 2 = 0. Which is greater: l or i?
l
Let m(h) be the third derivative of -h**4/8 + 19*h**3/6 + 45*h**2. Suppose 2*r - 3*q - 22 = 0, -2*r + 3*q - 2 = -3*r. Let u be m(r). Which is bigger: u or -0.3?
-0.3
Let l be (-3 + 28/8)*0. Let r be 6/27 + (87/(-27) - l). Which is smaller: -2 or r?
r
Let v = 27/2 + -79/6. Let p(d) = -d**3 + 4*d**2 + 7*d - 3. Let w be p(5). Let q be (-30)/42 - 2/w. Is v > q?
True
Let z = -3/30529 + -3235843/2350733. Let w = -9/7 - z. Which is bigger: w or 0?
w
Let h(o) = o**2 - 8*o - 1. Suppose 0 = u - 4*g - 5, 3*u = 4*g + 23. Let k be h(u). Let n be (-17)/k - (2 - 4). Which is bigger: -1 or n?
n
Suppose 6*v - 7880 = 46*v. Is -196 greater than v?
True
Let t be (-1)/((-5)/(-2)*(-16)/80). Let x be (-4)/(-240)*(t - 0). Which is greater: x or 1?
1
Suppose -9*i = 29 + 313. Let x = -36 - 1. Which is smaller: x or i?
i
Let t = 0.08 - -4.92. Suppose 0 = 7*y - 13*y - 18. Is y at most as big as t?
True
Suppose 0 = 6*a + 2 + 4. Let z = -1/17 - 73/204. Which is bigger: z or a?
z
Let d = 30 + -75. Let o = d + 2. Is 0.1 greater than or equal to o?
True
Let g = -1255 - -1255.1. Which is greater: g or -428?
g
Let f be 3/84 + 8/(-28). Let q = -13 + 14. Is q at most f?
False
Suppose 3*n + 3*n = n. Suppose 0 = -3*c + p + 31, n = 5*c + 5*p - 34 - 11. Which is smaller: 7 or c?
7
Suppose 0 = -5*b - 15, 0 = -6*u + 2*u - b + 21. Let c be 7/98*(1 - u/9). Which is smaller: -1 or c?
-1
Let w be (-20)/(-275)*(-20)/8. Which is smaller: 2/15 or w?
w
Let i = -0.653 + 3.633. Is 1/3 equal to i?
False
Let i = -1945 + 1947. Let x = 259517 - 20242033/78. Let t = x - 38/13. Which is smaller: i or t?
t
Let j(a) = a**3 - 3*a**2 - 3. Let n be j(4). Let o = n - 23. Is o < -2/5?
True
Let m = 7 + -24. Let p = m + 18. Which is smaller: p or -1/8?
-1/8
Let f(y) = 25*y**2 + 135*y + 416. Let z be f(-3). Is z bigger than 237?
False
Let w be -2 + -2 + (-55)/(-14). Let y(b) = -b**3 + 8*b**2 - 7*b + 6. Let i be y(7). Let s be 9/i - 3/2. Which is smaller: s or w?
w
Let n = -224 + 225.03. Let p = -0.03 + n. Is 10 >= p?
True
Let p = -45.48 + 45. Is -2 at most as big as p?
True
Let k(c) = 2*c**2 - 15*c + 15. Let n be k(6). Is n bigger than -19?
True
Let r be (-8)/(-16) - 2/28. Which is smaller: 0 or r?
0
Let x be (-30)/(-195)*78/12. Which is smaller: x or 8/57?
8/57
Let p = -70/11 + 328/55. Let k be 440/25 - 17 - (-8)/(-5). Does k = p?
False
Let n = -0.2 + 0.4. Suppose 0*w + w = 3. Let y be w/(-8)*16/24. Which is greater: y or n?
n
Suppose 0*p + 32 = -4*p + 4*f, -3*p - 4*f - 17 = 0. Let x(s) = s**3 + 2*s**2 - s - 3. Let z be x(0). Let v be 4/16*(z - -1). Which is bigger: p or v?
v
Suppose 8*u - 4*b = -701 - 3071, -5*u + 5*b - 2360 = 0. Is -943/2 greater than or equal to u?
False
Let q = -0.141 + 0.14. Let a = -0.001 - q. Which is greater: 1/3 or a?
1/3
Suppose 3*a - 41 = -26. Suppose 0 = 2*c + a*l - 55, 0*c - 2*l = 3*c - 55. Is c not equal to 14?
True
Let l(i) = 21*i + 3. Let y be l(7). Suppose 228 = 5*j - 3*a, -5*j + y = -4*a - 79. Is j bigger than 45?
False
Let a(t) = -14*t**3 - 11*t**2 - 6*t + 26. Let h(o) = -5*o**3 - 4*o**2 - 2*o + 9. Let l(c) = 6*a(c) - 17*h(c). Let v be l(-3). Which is greater: -3/8 or v?
v
Let r = -1.52 + 3.72. Do r and 4 have the same value?
False
Let h = 6 + -4. Let q = 0.2057 + 0.0553. Let a = q + 0.039. Which is bigger: h or a?
h
Let n = 38.983 + -39. Let g = 13.983 - n. Which is bigger: -3/5 or g?
g
Let b(t) be the first derivative of t**4/4 + 4*t**3/3 + 2*t**2 + 5*t - 11. Let j be b(-4). Which is smaller: j or -13?
-13
Let h be (-566)/(-45) + 4/18. Let q = -5140 - -5154. Which is bigger: h or q?
q
Let c be 4/6*108/(-3272). Let q = 39691/818 + c. Are 49 and q equal?
False
Suppose 3*o = 15, -2*q + 3*o = -49 - 216. Is 7 <= q?
True
Let a(w) be the third derivative of w**5/60 - 5*w**4/24 + 5*w**3/6 + 12*w**2. Let u be a(6). Which is smaller: u or 10?
10
Let u = -6.3 + 6. Let x = u - -0.5. Is -0.09 smaller than x?
True
Suppose 0 = -20*z + 25*z - 15. Suppose 5*v = -2*c - 110, -152 = 3*c + z*v - 2*v. Which is smaller: c or -51?
-51
Suppose h - 7 = -3*h - 5*r, h - 23 = 3*r. Suppose g - 6 - h = 3*w, -2*g = 5*w - 50. Which is smaller: g or 19?
19
Suppose -2*a + 162 = 2*t + 40, a = 2*t + 70. Are 70 and a nonequal?
True
Let k = -5.3 + 4.65. Let l = -0.55 - k. Which is greater: l or -0.08?
l
Suppose 3*b = -w - 15, -w + 3 + 17 = -4*b. Suppose 0 = 4*i - 2*f - 204, -3*i + 2*f + f + 153 = w. Is 50 at most i?
True
Le