is smaller: r or 26?
r
Let z be 9/((-3843)/(-11809))*1*-3. Let l = -83 - z. Is l greater than or equal to 2?
False
Suppose -2*b - 1 = -7. Let i be (-21)/2*(-4)/b. Let r be (-4)/i - 27/(-21). Which is bigger: -2 or r?
r
Suppose -3*t = -3*s + 30, t = -2*t - 5*s + 2. Let k be 3/1*(-8)/t. Let d = -4 + k. Which is smaller: -2/19 or d?
-2/19
Suppose 5*w - r + 5*r - 4 = 0, -3*w - 2*r = -4. Suppose w*q - 3*q = -4. Let f be -2 + 129/(-45) - 2/15. Which is smaller: f or q?
f
Let i be -5 - (27/(-162) + 55/(-12)). Which is bigger: i or 2/7?
2/7
Let b = -28 + 26.6. Let x = -1.8 - b. Which is bigger: x or -1/12?
-1/12
Let k = -85 - -75.6. Let g = k - -9.5. Which is smaller: g or -1.9?
-1.9
Suppose -5*f = 77 + 48. Let h = -25 - f. Suppose -d = -4*j - 1, -5*j + h*d = -5*d - 10. Which is bigger: -1/11 or j?
-1/11
Let k = 0 + -28. Let g = 1385 - 1359. Let f = k + g. Is -18 equal to f?
False
Let b = -126366/13 - -9714. Which is smaller: -6 or b?
b
Suppose -3*d = -5*d - 4. Let u be (d/5)/(20/(-250)). Which is smaller: 4 or u?
4
Let u be 321/(-171)*-1*3 + -3. Let g = -2231/855 + u. Is g > 0?
True
Let n(l) = 2*l**3 + 17*l**2 + 15*l - 17. Let a be n(-8). Is a greater than -75?
True
Suppose 36*a - 38*a = 146. Let s = a - -70. Which is greater: s or -19/5?
s
Let q = 45/23 - 205/46. Let c(b) = b**3 - 4*b**2 + 3*b. Let a be c(2). Is a at least q?
True
Suppose 0 = -2*t - 22 - 72. Let s = 988/21 + t. Which is smaller: 1 or s?
s
Suppose 2*z = 3*z + 6. Let l(v) = -v**2 - 7*v - 6. Let d be l(z). Let x = -5958/11 + 542. Is x at least d?
True
Let s be -338*(-7)/413 + -6. Is s >= 0?
False
Let y be (-3116)/7995 - 2/(-5). Are y and 1 non-equal?
True
Let i(d) = -d - 5. Let s be i(-4). Suppose 3*v - 24 = 2*m, 2*v + 2*m = 4 + 2. Let g be 13/v + (-3 - -1). Are s and g nonequal?
True
Suppose 9*d - 5 = -14. Are 2/287 and d non-equal?
True
Let m = -1.1 - -1.9. Let d be (-1)/((-1)/(-1) + (-320)/100 - -2). Which is smaller: d or m?
m
Suppose -3*c = -2*z - 27, -14*c = -4*z - 9*c - 49. Which is greater: -2/11 or z?
-2/11
Suppose -4*k = -2*p + 36, -10 = k - 2*p + p. Let c(t) = t**3 - 4*t**2 - 6*t + 4. Let i be c(5). Let y be k/(-6) + -1 + i. Which is bigger: y or 0?
0
Let c be 96 - ((-6)/10 + (-26)/(-10)). Suppose -23*w + 2 = c. Suppose 4*b + 6 = 2*b. Are w and b equal?
False
Suppose 0 = -16*x - 57 - 71. Is x greater than -22?
True
Suppose -24 = -2*m + 4*n, -5*n = -4*m - 20 + 53. Let o be (-2)/m + (-8)/(-12). Let c = -4.6 - -2.6. Is c at most o?
True
Let d = 47 - -49. Which is smaller: d or 97?
d
Let t be 3*((-280)/(-15) - -3). Let o = t + -42. Do o and 24 have the same value?
False
Let g = 5.4 - 11.4. Let r = g - -6.1. Is r bigger than -0.7?
True
Let b = -937 + 931. Is b > 10?
False
Suppose 5*i - 2*b - 115 = 2*b, 0 = -5*b + 25. Is i at most as big as 83/3?
True
Let u = 9.1 - -4.7. Let k = u - 17. Let c = k - -2.2. Is c at least 7/6?
False
Suppose 3*r + r - 36 = 0. Suppose 2*p - 7*p = -5*u - 200, -2*u - 82 = -3*p. Let z = -28 - u. Does r = z?
False
Suppose -5*w = -5*t - 1 + 31, 4*t - 2*w = 14. Which is bigger: -2/73 or t?
t
Suppose 5*y = -0*y + 10. Let l be (1236/15)/(y/5). Let j = 1852/9 - l. Is 5 at most j?
False
Let p(t) = -t**3 - 33*t**2 + 34*t + 24. Let f be p(-34). Let y be (-4)/f + 21/18. Let u be 2/(-4)*2/(-20). Which is smaller: u or y?
u
Let f = -56 - -54. Let v be 4 + -3 - 4 - f. Let j be (-1)/(2 - (-27)/(-15)). Which is smaller: j or v?
j
Suppose -625 = -6*k + 5105. Let j = k + -62079/65. Which is smaller: j or 0?
j
Suppose 2*d = 2 + 2. Suppose -4*v - d = -3*v. Let x be ((-6)/v - 2)*0. Are -1 and x equal?
False
Let n be (-8)/(-2) - 4 - (-3 - 2). Let r be -1 - 87/(-21) - (7 - n). Which is smaller: 2 or r?
r
Let a = -5.6 + 3. Let i = 5.5 - 8. Let p = i - a. Is 29 at least as big as p?
True
Let w = -14 - -14. Let m(z) = -z + 1. Let h(y) = -3*y + 3. Let t(a) = 6*h(a) - 17*m(a). Let r be t(1). Is r smaller than w?
False
Let w be -1 + 0 - (-6 + -9). Let f(i) = -i**3 + 13*i**2 + 15*i - 12. Let r be f(w). Suppose -2*k = -5*k - 4*g + 24, 5*k = 4*g + 8. Which is smaller: r or k?
r
Let r = -0.6 + 0.5. Let b = 67070/3961 + -288/17. Which is smaller: b or r?
r
Let j(t) = 2*t + 133. Let r be j(28). Is 188 < r?
True
Let v = -57 - -60. Suppose x + c - v*c = 20, -12 = 3*c. Which is greater: x or 0?
x
Let x = -0.3 - -0.2. Let d be (1*(-7 + 3))/(-1 + -1). Suppose 0 = -3*b + 4*b - 3*m + 11, d*b = 4*m - 32. Which is greater: b or x?
x
Let b = 1/324 - -143/324. Let h = 5 - 3. Let j be h - 2/4 - 3/6. Is b less than or equal to j?
True
Let x(m) = 2*m**2 + 21*m + 56. Let l be x(-5). Is -2/961 at least l?
False
Let p be (-2)/(-3*1/6). Suppose -r + p = -1, -25 = 5*c + r. Which is smaller: -7 or c?
-7
Let s(w) = w**3 - 12*w**2 + 9. Let r be s(12). Let i be ((-3)/(-9) + 0)*r. Suppose 56 = -u - i*u. Is u < -14?
False
Let d be 2 - (9/6)/((-6)/8). Let v be 3/d*(-4 + (13 - -3)). Is 11 at most v?
False
Let x = 325/152 + 413/19. Let m = 273/8 - x. Is m bigger than 9?
True
Suppose -4*f + 4*c - 1156 = 0, 4*f - 3*c - 573 = 6*f. Which is smaller: -287 or f?
f
Let q = 19 + -15. Suppose l = -3*l - q. Suppose 0 = 3*c - 4*c - 1. Is c >= l?
True
Suppose 3*f + 3*f = -150. Let l = f - -47. Is 22 at most as big as l?
True
Let b = -11.44 + 11.64. Is 216 > b?
True
Let t = 31 - 58. Let a = 99 + -125. Are t and a equal?
False
Let n = -52 + 79. Suppose -n = -3*q - 0*q. Is 9 greater than q?
False
Let t = -5/171 + 367/855. Let o = -1.984 - -2. Which is smaller: t or o?
o
Suppose 0 = -d + 22 + 5. Let w(t) = -d - 6*t + 21 + 14 + 5*t. Let n be w(5). Is n less than -0.3?
False
Suppose -3*i + 37 = -p, -2*p + 5*p - i = -79. Let m = 26 + p. Which is smaller: 3 or m?
m
Let u = 0.055 - 0.495. Which is smaller: u or -3?
-3
Let f = -1.065 - -1.265. Let q = -16 + 26. Is q bigger than f?
True
Suppose -958*o + 954*o = 0. Is o bigger than 1/2718?
False
Let u = -2758 + 2485. Which is smaller: u or -271?
u
Let l = -449 - -440. Does l = -0.5?
False
Let w(o) = o**2 - o - 12. Let j be w(-4). Suppose 0 = 3*f + 15, 3*f + 13 = 4*k + 2*f. Suppose d - s + 0 = -j, -3*d + 1 = k*s. Is -1 < d?
False
Let a = -357.9 + 357. Which is smaller: a or 5/4?
a
Suppose 5*a - 19 = -3*v + 11, 0 = 4*v - 4*a - 72. Let l = 30 - v. Let i = 24 + -8. Is l <= i?
True
Suppose -5*l + 0*l - 75 = -5*n, n - 5*l = 27. Is n less than 6?
False
Let u be ((-6)/(-18))/((-6)/(-18)). Which is smaller: u or 64/87?
64/87
Let z = 15 + -12. Suppose -z*m = 5*s + 55, 0 = 6*m - 3*m - 15. Let i be (-15)/(-7) - (-2)/s. Is -5 at most as big as i?
True
Let h be (3/(-6))/(2/84). Let a be (15/2)/(h/(-28)). Suppose -a = -3*d - 13. Do d and -2/37 have the same value?
False
Let l = -123329/37 + 3333. Let b = 301/148 - l. Let i = 325/148 - b. Are 0 and i nonequal?
True
Suppose -4 = g - 8. Let d be (5 + (-21)/6)*g/(-69). Which is bigger: 0 or d?
0
Let c = -21 + 37. Is c less than 14?
False
Let d = -4544 + 36187/8. Which is smaller: -20 or d?
d
Let t = -158 + 287. Is 128 greater than t?
False
Suppose -2 - 1 = v + 5*j, 0 = -2*v - 4*j. Let t(p) = -p**3 - 9*p**2 - 10*p - 11. Let m be t(-8). Which is smaller: v or m?
v
Let m(w) = w - 10. Let c be m(14). Suppose 4*x = -4*b - 4, c*x - 2*b + 3*b + 10 = 0. Is 2/5 equal to x?
False
Let b be ((-8)/(-342))/(1 + 8/(-12)). Let c = 130/3477 - b. Let v(o) = -o**2 - 3*o + 5. Let h be v(-4). Does h = c?
False
Suppose r = -4 + 12. Suppose 4*s - 5 = -n, -s + r = 3*s + 4*n. Suppose 0 = -2*f + 2 + 4. Do f and s have different values?
True
Suppose 11*g - 25 = 6*g. Suppose 3*j = 8*j + g. Is j at least as big as 2/11?
False
Let a = 152 - 101. Which is greater: a or 4?
a
Let p be -1 + (-19846)/(-50) + -2. Let r = -394 + p. Is 0 != r?
True
Let b(t) = t**3 + 13*t**2 - 13*t + 16. Let k be b(-14). Let f be ((-5)/2 + k)*0. Suppose -5*m + 21 = h, f*m + 9 = h + 2*m. Is 2/3 < h?
True
Let t = 1.88 + -7.88. Which is bigger: t or 0.33?
0.33
Let u = -35 - -11. Let r be (-66)/u + 6/(-8). Let c be ((-5)/40)/(1/r). Is -0.02 at least as big as c?
True
Suppose 1821*j + 936 = 1829*j. Which is smaller: 119 or j?
j
Let m be (3 + -4 + 1)/(2 + 0). Suppose 0*w + 10*w = -m*w. Which is smaller: -1/19 or w?
-1/19
Let u be 3 - ((-2 - 0) + 6). Let t = -16.853 + -0.147. Which is smaller: u or t?
t
Let u = -53.3726 + 0.1026. Let k = u + 53. Let x = k + 0.3. Which is smaller: 2/5 or x?
x
Let q = 10 - 0. Suppose 