 Which is smaller: r or 1?
1
Suppose b = 3*o - 15, 1 = 3*b + o - 4. Let r be b + (-12)/3 + 4. Is 0 smaller than r?
False
Let s be (2/(-8))/((-10)/(-8)). Let h(r) = r**3 + 26*r**2 + 60*r + 243. Let a be h(-24). Which is smaller: a or s?
a
Suppose 0 = -4*w - 93 + 245. Let m = w + -39. Is 1/27 less than or equal to m?
False
Suppose 0*w = -2*w, 3*r - 4*w + 249 = 0. Which is bigger: r or -81?
-81
Let q = -1 - -1. Suppose 2*j - 3*w = w + 12, -3*w = 5*j - 17. Let m = j - 2. Are m and q equal?
False
Let n = 0.135 - -0.265. Which is bigger: n or 2/19?
n
Let p = 97 + -101. Is 2.5 at most p?
False
Suppose 52*s - 15463 + 1839 = 0. Is 259 smaller than s?
True
Let s = -3880/31 - -125. Do 1 and s have the same value?
False
Let g be ((-16)/32)/(35/36 + -1). Let p = -24 + g. Which is bigger: -4 or p?
-4
Suppose 3*z - 3 = 2*z. Suppose 3*m - z*c - 15 = 0, -2*c + 0*c = -6. Is 10 less than m?
False
Let f be 3/2 - (-8)/16. Suppose -f*k + 60 = 3*k. Let n be (-2)/k*(0 + 2). Is -1 < n?
True
Let y = -2.2 - -4. Let l = 2 - y. Suppose -7*m = -18*m - 44. Which is smaller: l or m?
m
Let n = 2 - 2. Suppose -3*g - 14 = j, j - 4 = -n*g + 3*g. Let w(u) = u + 14. Let l be w(-17). Is g at least as big as l?
True
Let b = -70 + -72. Which is smaller: b or -141?
b
Let a be 0*(5 - ((-140)/(-16) - 4)). Which is smaller: 2/1049 or a?
a
Suppose 5*r + 5 + 0 = 0. Let k be (10/(-11) + 2)/r. Let a(f) = -2*f + 3. Let m be a(2). Is k at least m?
False
Let l(b) = 2*b - 20. Let u be l(8). Let t be (u - 0)/(((-297)/(-30))/(-11)). Which is greater: t or 5?
5
Suppose t - 9 = 4*t, 5*t = -3*i - 18. Let h = -55759/235 + 1187/5. Let q = -95/376 + h. Does q = i?
False
Let o be 3/3 - 10/((-4)/2). Let j be (-4)/o*12/(-8). Is j bigger than 5/9?
True
Suppose 2*w = 5*r + 7*w - 140, 77 = 3*r - 4*w. Let z be (-6)/31*3/r. Is z smaller than 1?
True
Suppose -129 = -3*o - 2*q, 2*o - 2*q - 141 = -o. Is o at most 45?
True
Let n(x) = -x**2 + 9*x - 8. Suppose 11 = 4*i - 17. Let a be n(i). Let v be a/(-20)*30/(-36). Is -4/11 smaller than v?
True
Let o be ((-1)/2)/(1/(-8)). Suppose -4*u + o*s + 76 = 0, u - 81 = -2*u - 5*s. Let c be 3 + -1 - u/9. Does 1 = c?
False
Let b = 4668/7 - 666. Suppose -v + 2 = -n, -n + 4*v - 9 = 2*n. Which is greater: n or b?
n
Let o be 1 + 3 + 37*(-3)/18. Let s(h) = -h + 5. Let g be s(6). Which is bigger: g or o?
g
Let d(z) be the first derivative of -z**4/4 + 17*z**3/3 - z**2/2 - 24*z + 21. Let g be d(17). Is g > -40?
False
Let h be 180/(-54)*27/12. Is h bigger than -9?
True
Let j = -46.9 + 47. Which is smaller: j or 2/109?
2/109
Let s(o) = o**2 + 13*o + 16. Let n be s(-12). Let b be 3 + (-74)/(2 - n). Suppose 3*u - 28 = 4*w, 3*u + w + w - b = 0. Is u equal to 11?
False
Let i be (-20 - -2)/(5/10). Let x be (8/3)/((-24)/i). Suppose 0*d + d - 3 = r, x*r + 7 = -d. Which is greater: 2/65 or d?
d
Suppose 0 = -3*h + 550 + 161. Which is smaller: 236 or h?
236
Let l = 131/3 + -45. Suppose 5*x = -12 + 42. Let y(m) = m**3 - 5*m**2 - 7*m + 4. Let u be y(x). Do l and u have different values?
True
Suppose -5*u - 3*j + 574 = 0, 5*u - 559 = 4*j - 2*j. Are 112 and u equal?
False
Let u be 30/545*(-3)/2. Is u less than 1?
True
Let n = -319 - -313. Which is greater: 8 or n?
8
Let f be ((1/1)/((-3)/12))/1. Let s be 2*(-2)/10*10. Do s and f have different values?
False
Suppose -2*m + 2*m - m = 0. Let z be ((-2 - m) + -112)*(4 - 3). Which is greater: -115 or z?
z
Let j be (-1)/(-3) - 49704/149544. Do j and 1 have different values?
True
Let b = 15.926 - -0.074. Which is bigger: -0.03 or b?
b
Let t = 435 + -433. Let d = 1 - -1. Does d = t?
True
Suppose -8*l + 6*l = -22. Let n be 2/l + 192/(-88). Is -4 < n?
True
Let o = -16 - -14. Let a = 10 + o. Let k = 10 - a. Is 2 at most k?
True
Let j be (4 - 2)/(4/22). Let l = 11 - j. Let p = 2 - 2. Does l = p?
True
Suppose 2*r = -3*w + 3, 0 = -4*w + 35*r - 32*r + 21. Is w < 1.3?
False
Let c(s) = -s**3 - 11*s**2 + 10*s - 25. Let f be c(-12). Let l be (-16)/(-9) + -1 + f. Which is bigger: -15 or l?
l
Let o = 744 + -747. Which is bigger: 14 or o?
14
Suppose 9*r + 67*r - 304 = 0. Is 78/17 >= r?
True
Let r(k) = 2*k + 3. Let u be r(1). Suppose 3 = u*b - 2. Which is bigger: b or 4/17?
b
Let j = -48 - -49. Let o be (20 - 21) + j/1. Let d = -31930/553 + 404/7. Is o at least d?
True
Suppose 3*h + k - 6*k = -10091, 0 = -h - 5*k - 3357. Let y = h - -9974/3. Let v = 38 + y. Which is smaller: 8 or v?
v
Suppose -48*r - 1551 = -37*r. Is r smaller than -140?
True
Let q be -1 + -243 + 18/6. Do -240 and q have different values?
True
Let l = -0.23 + 13.23. Let n = -0.32 + -17.68. Let u = n + l. Is -1/4 at least as big as u?
True
Let m = -2/3561 + -7048/131757. Let s = 0.2 + -0.1. Which is smaller: s or m?
m
Let g = -3 - -7. Let u = g - 0. Suppose -7*j = -u*j. Which is bigger: 2 or j?
2
Let c be 2/(-4)*(-3 - -15). Let g be c/12 + 18/4. Suppose d + 4*u = -d + 14, 3*d - 15 = -g*u. Is -1/2 greater than d?
False
Let k = -427 + 386. Is k bigger than 0.3?
False
Let s = 7.7 - 7.8. Let d be (-40)/(-12)*(-9)/2. Let u be 3/d*(2 + 2). Does s = u?
False
Let n = 0.1079 + 11.8921. Let d = 10.89 - -0.11. Let u = d - n. Which is smaller: -4 or u?
-4
Let c = -25804/33 - -782. Which is smaller: c or 0?
0
Suppose 0 = -3*x + 20 + 25. Suppose 4*n + 7 - x = 0. Suppose -2*r = -3*g - 6, -n*g - 15 = -3*r + 4. Which is smaller: 8 or r?
8
Let k = 2 + -29/8. Let u be (6/8)/((-27)/(-24)). Is k <= u?
True
Suppose 4*b + 2*b = -2*b. Let r be ((-55)/(-10) - 0)*(-2 - b). Which is greater: -12 or r?
r
Let y be (9/(-5) - -1)/(36/(-30)). Which is bigger: 0.08 or y?
y
Let f(t) = -5*t**2 - 8*t + 1. Let v be f(-2). Suppose 0 = u + u. Suppose u*n - n = 0. Which is smaller: v or n?
v
Let r = 8 - 6. Let j = 962 + -4807/5. Which is greater: r or j?
r
Let d = 124.5 - 175. Let v = -51 - d. Which is greater: -1 or v?
v
Let y = 41/3 + -21367/1563. Is -1 not equal to y?
True
Suppose -5*t = -148 - 72. Let c be (-75)/50*t/(-6). Suppose 3*f - 5*f + 4*u + 20 = 0, 5*f - 50 = -u. Which is greater: c or f?
c
Suppose -659 + 182 = -4*x + 3*l, 3*x - 363 = -3*l. Which is smaller: 119 or x?
119
Suppose 117 = z + 2*h, z - 18*h + 19*h - 115 = 0. Which is bigger: 114 or z?
114
Suppose 2*t + 5*h = -4 - 4, -2*t + 12 = -5*h. Let i = 21524/47 - 458. Which is bigger: t or i?
t
Let t be (-2 - 33/(-12))*12/18. Let z = t + -9/10. Is -3/2 at most as big as z?
True
Let y be (435/55 - 8) + ((-284)/143 - -1). Let k = -5 + 3. Which is smaller: k or y?
k
Let j = -4071 + 12211/3. Let v = -2 + 3. Which is smaller: v or j?
j
Let a be (3 + -1 - 1) + 2 + -1. Suppose h + t = -1, -3*h + 2*t - 3 = -a*t. Is h at most -1/47?
True
Suppose 25*k - 25 = -675. Is 2 equal to k?
False
Let w(z) = 63*z + 44. Let b be w(1). Is b equal to 213/2?
False
Let k = -994 - -1532. Which is greater: 537 or k?
k
Let r be (-3 + (-32)/(-16))*(1 + 48). Is r < -46?
True
Let y = 696.02 - 696. Let c = -6 + 5.98. Which is bigger: c or y?
y
Let m be (-7)/((-21)/(-2)) + 36296/12. Let w be (-1088)/m + (-4)/(-14). Let b = 4 - 4. Which is greater: b or w?
b
Suppose 3*j = 4*d + 7*j - 28, 0 = -d + 4*j + 2. Let a be 0 + (-1 - -2 - -2). Suppose -k - d = -a*k. Which is greater: k or -2/5?
k
Suppose 3*g - 6 = g. Let l be (-156)/g*4/(-16). Let z = -12 + l. Is z less than or equal to -2/41?
False
Let t = 25 - 30. Let m = -2.024 + -0.046. Let q = m + 0.07. Which is smaller: t or q?
t
Let k(o) be the second derivative of -1/20*o**5 - 15*o - 1/6*o**3 - 1/4*o**4 - 9/2*o**2 + 0. Let q be k(-4). Is q smaller than 13?
True
Let g = -2.757 - -1.757. Which is smaller: g or -420?
-420
Let u be (0 + 0)/(-4 + (-3 - -5)). Do u and 4/9 have the same value?
False
Suppose -13*d = p - 14*d + 132, -d = 4. Are -137 and p non-equal?
True
Let j be (-1 - (-75)/81)/2. Is j less than or equal to 2/9?
True
Suppose -2*h = 4*f - 54, 9 = f - h - 3. Suppose -2*j - 8 = 2*x, 0*j - 2*j - f = -3*x. Is j <= -8?
False
Suppose 9856 = -73*p + 101*p. Which is greater: p or 353?
353
Let v = 8 - -0.5. Let a = -0.5 + v. Is -2/5 at least a?
False
Suppose -4*p - 7 = 3*h, 11 = -2*p + 8*h - 7*h. Which is smaller: p or -0.003?
p
Suppose 3 = s - 2, 5*d - 5*s = -35. Let z be 93/75 + (d - -1). Is -1 >= z?
False
Let k = -906/7 - -129. Are -1 and k non-equal?
True
Let u = 14575/59 - 247. Which is smaller: u or 0?
0
Let u = 27 + -32. Suppose -3*s - 32 = -4*j, -2*j = -3*j