r: m or -6?
m
Let m(n) = 4*n + 35. Let v be m(-8). Which is smaller: v or 26/9?
26/9
Let f = 18 - 24. Let v = -158 + 460/3. Is f > v?
False
Let c = -2 - 0. Let k = -10855 + 10799. Are c and k unequal?
True
Let r be (-4)/(-10) + 16/10. Let m = -667/42 - -117/7. Is r equal to m?
False
Let j = -185 + -5. Which is greater: j or -191?
j
Let g = 24/133 + -15/38. Is g less than 3?
True
Let n be 4*(-1465)/(-880) + -7. Which is smaller: -1 or n?
-1
Suppose 40 = -6*c + 8*c. Let k be 3/c*(-70)/84. Suppose 2*n - 6 = 4*x, 6 = -5*x + 4*n - 6. Is x smaller than k?
False
Let a be -2 + (-3 - 1*-9). Suppose 3*y - 36 = a*o, -o = 2*y - 2 + 11. Let n be (21/o - -2)*-3. Are n and 2/27 equal?
False
Let x = -1048 - -1074. Which is greater: 1/4 or x?
x
Let z = -14 - -16. Suppose -z*q = -3*q. Let w be (-7)/(-14) + 13/(-22). Is w smaller than q?
True
Let p(x) = -x**3 - 44*x**2 - 56*x + 99. Let g be p(-43). Are g and 657 equal?
False
Let o = -92 - -107. Let a be 43 - 40/o*(-9)/(-12). Which is smaller: 40 or a?
40
Let a = -20 - -24. Suppose -a*c + 4*k - 48 = 0, k - 5*k + 12 = 0. Let t = -24 - c. Is -15 at least t?
True
Let x = -27/8 + 173/56. Let z = 652 + -650.3. Which is bigger: z or x?
z
Let n be (10/6)/(-1) - -1. Let c = 3927.095 - 3927. Which is bigger: c or n?
c
Suppose 5*p - 22 = 9*j - 11*j, -2*j - 2 = p. Are -5 and p equal?
False
Suppose 0*z - 4*z + 48 = 0. Suppose -23 - z = -4*j - 3*p, -j + 25 = 4*p. Let x be (-18)/30 + (-57)/j. Which is smaller: -11 or x?
x
Let w be 13/3*((-2796)/128 - 4). Let r = w + 112. Which is bigger: -1 or r?
r
Let j = -374/5 + 2588/35. Is j bigger than -1?
True
Let y = -1.348 + -305.652. Is y at least 2?
False
Let s = -75 - -102. Is -2 at most as big as s?
True
Let t = 11 + -17. Let x(o) = 7*o**2 - 5*o + 6. Let w(s) = -s**2. Let h(p) = t*w(p) - x(p). Let u be h(4). Which is smaller: -9/7 or u?
u
Let w be 25/(-2)*(-1)/(-5). Suppose 25*a + 82 - 7 = 0. Is a smaller than w?
True
Let l = -789 - -2363/3. Is l != 0.1?
True
Suppose 11*n = 1 + 10. Let s be 20/6*6/4. Let j be (2/2)/(-1 + s). Do j and n have different values?
True
Let z = 629 + -630. Which is smaller: 1/148 or z?
z
Let i = 10 + -7. Let v be (-4)/1*(-5 - (5 + -9)). Let w = v - i. Is -2/7 smaller than w?
True
Let t = -401.7 + 402. Is t greater than 41/5?
False
Suppose 0 = 2*s - 4*h - 62 + 2, -5*h = -5*s + 145. Let k be 14/100*s/49. Is k <= 1?
True
Let q be -1 - (-14)/((-350)/(-15)). Is 1.253 > q?
True
Suppose -2*y - 18*p + 16*p = -10, 25 = -4*y + 5*p. Which is smaller: y or -158?
-158
Suppose -56*o = -48*o - 136. Is o bigger than 374/23?
True
Let s(c) = -c**2 + 18*c - 72. Let z be s(6). Are z and 3/427 non-equal?
True
Let i = -3 + 12. Suppose -7*r - 8 = -8*r + 3*a, -a = 3*r - 24. Is i < r?
False
Let s(c) = -c. Let b(u) = -19*u + 53. Let o(a) = b(a) - 5*s(a). Let y be o(4). Which is bigger: y or -1?
-1
Suppose -4*p = -16 + 4. Let b be p - ((-60)/(-27) - -1). Let h be 0 + 8/20*5. Which is smaller: h or b?
b
Let f(u) = -13*u - 37. Let r(k) = 6*k + 18. Let i(b) = 4*f(b) + 9*r(b). Let p be i(-10). Let a be 147/28*4/p. Is 2 < a?
False
Suppose -b = 5*j - 5, 3*j - 3 = b - 6*b. Suppose 0 = -o - 0*o + 4. Suppose r = -o*i + 3, -r = 3 + 2. Is j at least as big as i?
False
Let r be (-394)/62 + 93 + -87. Do r and -1 have different values?
True
Suppose -5*q = -2*q - 12, 0 = w + 4*q + 173. Let v = 761/4 + w. Let t = -5 - -5.1. Are v and t non-equal?
True
Let t = -9 - -271. Which is smaller: t or 264?
t
Let w = -12 + 4. Let r = -134 + 99. Let k be w/(-10)*r/(-182). Which is smaller: -0.1 or k?
-0.1
Let a be (6/6)/(2/(-4)). Let b be 30/24 + 1/a. Let k = -2 - -4. Is b at least k?
False
Let x = 85 + -1. Let c = x + -80. Let q = 3 + -1. Which is bigger: q or c?
c
Suppose -4*m - 2*p = -0*p + 2, -3*m - 4*p - 9 = 0. Let y = 2 + -6. Which is smaller: y or m?
y
Suppose 0 = n, 2*d - n = 3*n + 32. Let b be 0/1 - (1 - 4). Suppose -d = -b*c - 13. Is -2/13 bigger than c?
False
Let f = 3/37 + -7/999. Which is smaller: -1/4 or f?
-1/4
Let c be (-560)/(-42)*(-9)/44. Do -3 and c have the same value?
False
Let r be 66/4 + -17 + 17. Which is smaller: r or 16?
16
Let u = 37 + -34. Let o be u/(-6)*28/(-12). Are 0 and o unequal?
True
Let t(x) = -x**2 + 5*x - 7. Let l(n) = n - 4. Let v be l(7). Let h be t(v). Let p be 16/4 - (-5)/h. Which is bigger: 6/17 or p?
6/17
Let y(k) = -9*k - 416. Let x be y(-14). Which is bigger: -3 or x?
-3
Suppose -4*c = -c + 30. Let v be (-3 + -1)*(-1)/c. Let x = 0.8 + -0.6. Which is smaller: v or x?
v
Let i be 2 + -5 + 3 + 13. Suppose 7*h = -i*h - 140. Is h < -10?
False
Suppose 0 = -8*c + 3*c + 70. Let d be 3/c*(-20)/15. Is 3/2 not equal to d?
True
Let m be (-33)/44 + 1041/12. Is m bigger than -1?
True
Let t(r) = 3*r - 1. Let h be t(-3). Let l = h + 2. Which is smaller: -10 or l?
-10
Let s = -63.69 + 64. Let c = s + -14.31. Let y = 0.75 + 0.25. Which is bigger: c or y?
y
Suppose -3*u = v + 5, -4*v + 9*v + 5*u + 35 = 0. Suppose -4*x - 6 = -2. Let q be x/3*(-1 - -7). Which is greater: v or q?
q
Let y = -264 - -513/2. Is -9 > y?
False
Let i(n) = 27*n + 11. Let p be i(0). Suppose -2*w - 7 = -3*w. Let f = w - p. Is -3 less than f?
False
Suppose -3*u - 24 = -5*n, -n = u + n + 8. Let w = 5 + u. Let c be ((-2)/6)/(37/w). Is c bigger than 1?
False
Let z(d) = 57*d**2 - 10*d + 2. Let h be z(4). Let j be 69/h*4/(-3). Which is bigger: 0 or j?
0
Let w = 1494 - 790. Is 704 less than w?
False
Let w(o) = -2*o + 8 + 2*o**3 - 7 + o**2 + 7*o**3. Let r be w(1). Which is smaller: 11 or r?
r
Let h = -0.94 + 0.45. Let y = h - 0.51. Is 1/3 equal to y?
False
Let t = 201 - 201. Is t equal to 3/74?
False
Let f = -268 - -7774/29. Suppose -4*n + 10 = 2*t, 4*t - 5*n - 25 = -t. Suppose -3 = t*d + 2. Which is smaller: d or f?
d
Let q(t) = t**3 + 3*t**2 - 3*t + 5. Let y be q(-5). Is y smaller than -38?
False
Let v(y) = y**3 + 6*y**2 + 3*y + 14. Let c be v(-6). Let d = -11 + 6. Let g be (-3)/d*(c + 3). Do g and -0.1 have the same value?
False
Let a = -26 + 79/3. Which is smaller: a or -2/31?
-2/31
Let y(o) = -o**2 - 8*o - 2. Let j be y(-7). Suppose l = t - 4*t - 7, j*t + 25 = -5*l. Let c be (-2 + 0 + 3)*t. Is c greater than or equal to -1?
True
Suppose 4*d + 0*d - 8 = 0. Let k be (-2 + 0 + -1)*d/6. Let t be -2*(-3)/(-2)*1. Which is smaller: t or k?
t
Let p be (-3 + 2)*2*(-4)/184. Let j be 0/((-3 - -2) + 2). Does j = p?
False
Suppose -5*m + 14 = -4*o + 83, -m = 5*o - 79. Is 29 > o?
True
Suppose g + n + 29 + 22 = 0, 154 = -3*g - 4*n. Let t = -16730 + 16679. Is g smaller than t?
False
Let c be 1*10 - (-2 + -1). Let d(j) = j - 11. Let q be d(c). Let p = -3 + q. Are 2/25 and p nonequal?
True
Let x be (-312)/(-1785) - 4/34. Which is bigger: x or 1?
1
Let f = 12 - 10. Suppose 7*m + 35 = f*m. Which is bigger: m or -4?
-4
Let y be (9/(-462))/(-2*42/112). Suppose -2*n + 7*n - 2*k = 6, 3 = -4*n - k. Suppose 5*t - 2*b = 8, -t + n*t - 2*b = 8. Which is greater: t or y?
y
Let r(t) = -t**3 - 4*t**2 + 5*t - 1. Let h be r(-4). Let s = h + 64. Suppose -s - 82 = 5*o. Is -25 smaller than o?
False
Let u = 274 + -476. Is -203 < u?
True
Let m = 11 - -29. Let q = 261 + -257. Suppose -m - 36 = -q*c. Are c and 19 nonequal?
False
Suppose 578 = 2*u - 4*a, 3*a + 220 = 2*u - 358. Is u less than or equal to 291?
True
Let q = 211 - 212. Which is greater: q or -2/11?
-2/11
Let f be 4/(-6)*(-138)/4. Let d = -21 + f. Is d greater than or equal to 8?
False
Let x = -817 - -2453/3. Suppose 0 = -3*i - 2 - 10. Let u = i - -6. Which is smaller: x or u?
x
Let f be 8/6 - 1 - (-831)/(-9). Let o = -101 - f. Is -6 less than o?
False
Let v = 0.1 + -0.01. Let a = -0.91 - v. Let z = 57 - 57.02. Which is bigger: z or a?
z
Suppose 0 = 2*d + 2*d - 48. Let h be d/(-18) + (-22)/(-6). Let v be 26*(h/2 - 1). Are v and 13 non-equal?
False
Let g = -4673314729/357 - -13090502. Let p = g - -108/7. Which is smaller: p or 0?
p
Let d be (-12)/(-14)*((-105)/(-10))/3. Let g be (4 - (18 + d))/1. Are -2 and g unequal?
True
Suppose 0 = 11*a + 589 - 127. Are a and -43 non-equal?
True
Suppose -2 = 4*t + 42. Let b = 85 + -95. Is t smaller than b?
True
Let m = -8 + -52. Let s be 363/m + 3 - -3. Which is greater: s or 0?
0
Let a be (41 + -1)*2/6 + -2. Suppose -o - 5 + 1 = 3*x, -5*x - 36 = -o. Is o <= a?
True
Let s = -2303 - -2308. Which is smaller: -3 or s?
-3
Let o(h) be the first derivative of -