r -5?
-5
Let h be 3/(189/102)*(-63)/(-27). Is 4 >= h?
True
Let n be (-5 - -7)*(-1)/(-2). Which is smaller: -66.4 or n?
-66.4
Let i = 198 + -132. Let n = i - 53. Which is greater: 0 or n?
n
Let u = 26 - 23. Let j = u - 2. Let w = -71 - -569/8. Is j != w?
True
Suppose 3*l - l - 35 = -5*c, -2*l = 4*c - 40. Which is bigger: l or 1/4?
l
Suppose -4*t = 3*b - 6*t - 3, 0 = 3*t + 9. Which is bigger: b or -32/13?
b
Let s be 9/12 - (-60)/(-16). Let u(t) = -t - 3. Let c be u(s). Suppose 3*z - 4*o + 13 + 9 = c, 0 = -4*z - 4*o + 8. Is z bigger than -6?
True
Suppose 0 = -4*l - 52*l + 67592. Is 1207 not equal to l?
False
Let o = -1449 - -1448. Which is smaller: 1/1247 or o?
o
Suppose 2*u = -33 + 139. Suppose 0 = -2*r + u - 351. Let y = r + 1045/7. Is y bigger than -23?
True
Let a be -4*(-2 - (-15)/12) - 28. Let z be 0 - (-1)/5*a/(-10). Let d = 0.9 + 0.5. Which is bigger: z or d?
d
Let c = -2 + -2. Let y be (1 - 2)*c + -2. Suppose -y*v - 4*o + 6 = -8, 0 = -5*o + 10. Is 4 at least v?
True
Let c = 30 + -30. Suppose -5*k = -c*k. Suppose 0 = -k*b - 3*b - 3. Which is bigger: b or 3?
3
Let a = 241 + -74. Is 167 > a?
False
Let p = 602 - 574. Is 18 at least p?
False
Let p = 2 + -7/4. Let o = 77/2 + -39. Let y = o + p. Which is smaller: -1 or y?
-1
Let u = -2115 - -2118. Let w be 0 + -23*6 - -1. Let b = -677/5 - w. Which is smaller: u or b?
b
Let f = -19 - -21. Let t(a) = -4*a**3 - 2*a**2 + 5*a - 5. Let r be t(f). Which is smaller: 1 or r?
r
Let x = 2 + 3. Let h = 1142.4 + -1154.4. Which is bigger: x or h?
x
Let v(a) = -5*a + 33. Let n be v(9). Suppose 63 = -6*b - b. Is b at least n?
True
Suppose m - 52 = 4*d, 0 = -d - 4*m - 2 - 28. Let f be 2/3*(-21)/d. Is f > -16?
True
Let i(n) = 7*n**2 + 12*n - 201. Let r be i(11). Which is smaller: 779 or r?
r
Let q = 1039 + -1037. Is q > 3?
False
Let n = 2208 - 2235. Is n less than -334/13?
True
Let o = -0.2251 + 0.0251. Is o bigger than 204?
False
Let m = 24 - 44. Let i = m + 32. Let u = i - 12.1. Is u at least 0.07?
False
Let l = -264 + 2109/8. Is l < 1/5?
True
Let n be 1/(((-8)/(-5))/4). Which is bigger: n or -9?
n
Let s = 30/13 + -64/39. Let n = 28 + -27. Which is bigger: n or s?
n
Let o = -57/2 + 113/4. Which is smaller: -1.3 or o?
-1.3
Let m = -12 - -6. Suppose 0 = -10*h + 19*h - 18. Let s = h + m. Is s greater than or equal to -2?
False
Let n = 682 - 682.2. Which is bigger: n or -8.1?
n
Let h be (-104)/234*6/(-4). Let z = 0.13 + -0.05. Is z >= h?
False
Let w = -7/84613 - 213647083/8968978. Let h = w + 276609/11077. Let v = h - 23/22. Which is smaller: -1 or v?
-1
Let n be -1*((-96)/2)/2. Suppose 0 = -4*t - 3*o + 88, 0 = 5*t + 2*o - 64 - 46. Which is bigger: t or n?
n
Suppose -40 = -2*z - 2*i, z - 2*i - 15 = -1. Suppose -19*h = -z*h. Are h and 2/97 unequal?
True
Suppose 5*g = 68 + 12. Let v = g - 12. Let z be ((-12)/v)/(-3) + -1. Which is smaller: -2/5 or z?
-2/5
Let o = 3 + 5. Let h(m) = m**2 - 7*m - 6. Let j be h(o). Suppose 0 = 4*t - j*t. Is t less than or equal to -2/89?
False
Let r = 858 - 12007/14. Which is smaller: 0 or r?
0
Let n = 24.66 - 25. Let y = -0.04 - n. Is y smaller than 0.06?
False
Let k be -3 + 2710/(-50) + -3. Is k > -60?
False
Let f = 11.21 + -10.4. Let p = -0.19 - f. Do p and -17 have the same value?
False
Let y(p) = -292*p**3 + p**2 - 6*p - 8. Let l be y(-1). Which is smaller: 292 or l?
l
Let o(h) = 4*h + 4 - 3*h + 2. Let g be o(-4). Which is smaller: g or 1?
1
Let x be 2/(-5) - 1070/(-50). Is x equal to -5?
False
Suppose -16*x + 110 = -11*x. Let w = x - 17. Suppose -l + w = 4*v - 4, l - 4*v = 1. Are 5 and l equal?
True
Let h = -11 + 7.8. Let f = h - -1.2. Let b = -0.3 - -0.3. Is b bigger than f?
True
Let j(p) = p**2 + 12*p + 23. Let d be j(-11). Suppose -10*v - 2*v + d = 0. Which is bigger: 3 or v?
3
Suppose 0 = 4*k - 9*k - 5. Let v be (-3 + 15/6)*0. Which is bigger: v or k?
v
Let i be (48/(-60))/(1/60). Let u be 13/(-6) + 2 + 376/i. Which is smaller: 0.2 or u?
u
Let d = 136 - 77. Let m = 47 - d. Suppose -15 = 4*p + 37. Which is bigger: m or p?
m
Let l(f) = f**2 - 3*f + 1. Let w be l(4). Suppose 0 = -31*v + 34*v. Suppose v*g = -w*g. Do 2 and g have the same value?
False
Let f = 15 + -15.23. Suppose 19*v = -12*v + 31. Which is bigger: v or f?
v
Let m be 711*-4*(-4)/24. Which is bigger: -0.1 or m?
m
Suppose -7*a + 9*a = -1250. Let j = -1859/3 - a. Suppose 1 = s - 2*i - 1, 0 = -4*s - 5*i + 34. Which is smaller: s or j?
j
Let l(q) = -q + 3. Let u be l(6). Let d = -129 + 80. Let j = d - -52. Is u > j?
False
Suppose -2*p - 21 - 7 = 2*g, -p + 2*g = 14. Let b = p + 5. Let c(r) = -r**2 - 10*r - 8. Let o be c(b). Which is smaller: o or -8?
-8
Suppose -84 - 7 = 7*u. Let q be u + 9 - 18/(-5). Which is smaller: q or 2/91?
q
Let x = 6 + -15. Suppose -4*l + 0*l = 32. Are l and x unequal?
True
Let m = 0.5448 + -0.0748. Do -0.2 and m have different values?
True
Let u = -15363 - -384363/25. Do 13 and u have different values?
True
Let r be -9*3/(-9) + (1 - 1). Which is bigger: 5/2 or r?
r
Suppose n - 472 = -4*o + 3*n, -4*o - 2*n = -456. Let s be (o/(-36) - 3) + (-4)/(-18). Are s and 2/7 non-equal?
True
Suppose -3*f + 5 = -2*j, -3*f + 6*f + j + 7 = 0. Let t = 0 - f. Which is smaller: 6/5 or t?
t
Let v be 264/(-680) - 32/(-80). Does v = 1?
False
Let s = -3.5 - -0.4. Let d = s - -3.12. Which is greater: d or -1/3?
d
Let l = -22.6 - -12.6. Which is smaller: 40 or l?
l
Let p = 20 + 2. Suppose -3*q + 2*w + 30 = 0, 2*q + 0*q - 2*w = p. Is q greater than 8?
False
Suppose 3*z + 13 = 10. Let r = z - -3. Which is greater: 6/7 or r?
r
Let f(b) = b**3 + 9*b**2 - 3*b - 12. Let a be f(-9). Let z = a - 11. Let i be 8/(-10)*(z + 1). Are 1/3 and i equal?
False
Let w be ((1 + 3)/4)/(6/(-498)). Is -84 bigger than w?
False
Suppose -z + 0*z - 3 = 0, -4*y - 4*z = 0. Suppose 3*t - 24 = 4*b, -y*t + 14 = b + 5. Let s be ((-2)/3)/((-1)/(-6)). Are b and s unequal?
True
Let c = -744 - -744. Which is smaller: c or -13/38?
-13/38
Let t(s) = 2*s**2 - 29*s + 15. Let h be (-5)/(15/28)*30/(-20). Let d be t(h). Is -4 greater than d?
False
Let g = 0.16 + -0.07. Let n(p) = -p + 5. Let q be n(-3). Suppose 5*z + q*s - 3*s = -10, z - 2 = s. Which is greater: g or z?
g
Suppose -143 = 4*u + u + g, -u = -4*g + 16. Let j = u - -21. Which is smaller: -9 or j?
-9
Suppose -2*r - 105 = -7*r. Suppose 4*i - r = i. Which is smaller: -2 or i?
-2
Let r = -89 - -245. Is r bigger than 155?
True
Suppose 5 = -4*c + 21. Suppose -2*y - 3*p + 6*p = -26, -4*p = -c*y + 52. Suppose 3*m + 12 = x - 4*x, -x - y = 4*m. Is x greater than -1?
False
Let w = 1254 + -1249. Let s(y) = y - 7. Let r be s(8). Is w smaller than r?
False
Let u = -42 - -13. Let p = u + 29. Let n = -0.4 - 0. Is n less than p?
True
Let y = -18.55 - 0.45. Let i = -0.08 + -0.72. Let m = 0.8 + i. Is m < y?
False
Suppose -2*s = 0, -2*s + 10 = -i + 12. Do 15 and i have different values?
True
Let q(r) be the third derivative of 7*r**6/60 + r**5/60 - r**4/24 + 9*r**2. Let i be q(1). Let z = i - 18. Which is bigger: z or -1?
-1
Let g = -16226/3 + 5408. Let x = -239/12 + 85/4. Which is smaller: g or x?
g
Let z = -5.21 - 825.79. Is z less than 0.1?
True
Let t be 145/15 - (-1)/3. Suppose 0 = -3*v + j + 16, 4*v + 3*j = t + 7. Let l = v + -3. Is 0 greater than l?
False
Let c(n) = -n + 2*n + 0*n + 12 + n. Let l be c(-5). Suppose -l*o = -3*o. Are o and 6/7 unequal?
True
Let v = 10 - 3. Suppose -2*d + 47 = -3*f, -v = -5*f - 2. Suppose 7 = -3*w + d. Which is smaller: w or 8?
w
Let r = -381 - -356. Is -25 not equal to r?
False
Let w = 0.09 - 0.08. Let m = -0.1 + 0. Is w != m?
True
Suppose -x - 5 = 0, 3*x - x + 8 = -j. Let v = 10 - 128/13. Which is greater: v or j?
j
Let l = -2 - 3. Suppose -4*b - 18 = -3*x, -2*b = 4*x - 4*b - 14. Suppose 3*u - u + 5*v - 12 = 0, 24 = -4*u + x*v. Which is greater: l or u?
u
Let z = 62 - 70. Let y = 7.6 + z. Is y greater than -0.02?
False
Let d = -370 - -287. Which is greater: d or 0.1?
0.1
Let a(y) = 4*y + 25. Let r be a(15). Let d = 766/9 - r. Is -1 greater than or equal to d?
False
Suppose 3*w = 2*j - 8, 6*j = 3*w + 5*j + 4. Let y = -1348 - -9411/7. Is w at least y?
True
Let v(p) = p**3 + 6*p**2 - 11*p + 11. Let k(c) = -c**3 - 6*c**2 + 12*c - 10. Let z(w) = -5*k(w) - 4*v(w). Let m be z(-8). Which is bigger: m or 26/5?
m
Let r be ((-16742)/504)/1 + 9/36. Let c = 33 + r. Which is bigger: c or 1?
1
