r = k + -1.1. Which is bigger: r or 1?
r
Let b = -0.5 - -0.1. Let u = -7.51 - -8.51. Is u <= b?
False
Let w = -71/21 + 445/84. Let s = w - 2. Suppose 3*f + 9 = -3*z, -4*z - z + 5*f = -25. Which is smaller: s or z?
s
Let u = -22 - -16. Let k be u/(-4)*(-1 - -3). Is k bigger than 5?
False
Let i(k) = -2*k + 1. Let o be i(-2). Suppose -4*a - o*l + 11 = 0, 0 = 3*a - 2*l + l + 6. Which is smaller: -2 or a?
-2
Suppose 3*m + 15 = -5*v + 4*v, 19 = -2*v + 5*m. Let d = -130.1 + 130. Which is bigger: d or v?
d
Suppose 32*o + 183 = 35*o. Let r = 62 - o. Which is greater: r or 3/8?
r
Suppose 3*t = 2*t + 2*u - 3, -3*t = -2*u + 5. Is t at most 1/18?
True
Let l(p) = -13*p + 0*p + p**2 - 1 + 0*p + 0*p**2. Let z be l(13). Let d = -2 - -2. Is d less than or equal to z?
False
Let a = -24.6 - -50.6. Let b = 1/3 - 1/12. Which is bigger: a or b?
a
Let i = 9.1 + -9.3. Suppose 0 = -2*x + 6. Which is smaller: i or x?
i
Let n = 47 + -51. Let w be n/20*(-30)/(-16). Which is greater: w or -1?
w
Let f = 9299.1 + -9779. Let q = f - -459. Let o = q + 21. Is 1/10 > o?
False
Let i be (-70)/21 + 1/3. Let m be 2/(2 + i + 0). Let p = -29/24 + -1/8. Is m less than p?
True
Let i = -57 + 87. Suppose i = 3*m - 0*m. Are 10 and m non-equal?
False
Let r = 33 + -56. Is r bigger than -87/4?
False
Let j = -7 - -10. Let l(w) = -w**2 + 2*w + 1. Let u be l(2). Let g = 0 - u. Is j greater than g?
True
Let v(y) = 18*y + 147. Let u be v(-19). Is u equal to -195?
True
Let l be 2/5*10/9. Suppose -4*p = 4*p - 56. Suppose 11*j - 4 = p*j. Which is bigger: l or j?
j
Let q = 2 + 0. Suppose 6 - q = -4*n. Let a = 7/13 - 74/65. Which is greater: n or a?
a
Let w be 45/18*16/(-10) + 0. Which is smaller: -34/7 or w?
-34/7
Let b = -2.07 + 2.35. Is 3 greater than b?
True
Suppose i = r + 975, 2890 = -3*r - 5*i + i. Let l be r/70 + (-2)/14. Let h be 36/28 + 4/l. Which is smaller: 2 or h?
h
Let f = -140.03 + 1.03. Let o = -140 - f. Is o >= 1/3?
False
Suppose -5*h + 13 = -2. Let t be (-9)/((-8 - -1) + 4). Suppose -5*r = 4*o - o - 2, -t*r = -4*o - 7. Is r less than or equal to h?
True
Let u(q) = -q**2 + 12*q - 6. Let x be u(11). Suppose 5 = -4*d + 1. Let g be x*(0 + d + 0). Which is greater: 0.1 or g?
0.1
Let d = -1034753/15 - -68871. Let m = d - -334/3. Which is smaller: 0 or m?
m
Let t(l) = -26*l + 126. Let n be t(11). Is -159 >= n?
True
Let q be ((-8)/(-110))/((-1)/30*9). Which is greater: q or 1?
1
Suppose -565 = -5*s + 2*d, -4*s + 2*d = 3*d - 465. Suppose -13*v + s = -8*v. Let l = v - 22. Which is bigger: l or -8?
l
Let t = -14 - -14. Is -1/3 less than t?
True
Suppose -3*v - 6 = -0*j - 4*j, 0 = -3*v + 5*j - 6. Let l be v/9 - (-87)/27. Suppose 5 + 1 = -l*k. Is -4 equal to k?
False
Let n = -3 + 4. Let d(a) = -3*a**3 + 9*a**2 - 7*a + 4. Let s(z) = z**3 - z**2 + 1. Let t(c) = d(c) + 2*s(c). Let x be t(6). Is x smaller than n?
True
Suppose 5 = -2*t + 15, -2*p + 3 = 5*t. Let g be ((-2 - -3) + p)/(-2). Is -2 > g?
False
Let h(a) be the first derivative of -49*a**2/2 + a - 5. Let k be h(3). Let g = k + 1312/9. Is -1 smaller than g?
True
Let s(o) = -o**3 - o**2 - o - 24. Let p be s(0). Let j be (-290)/(-26) + p/156. Let u = 9 - j. Is 4/7 at least u?
True
Let n = 67.961 - 68. Let p = -0.061 + n. Which is smaller: -1 or p?
-1
Let s be 296/(-10150)*(-1325)/(-30). Let h = s - -1/435. Let m = -43 + 41. Which is smaller: h or m?
m
Suppose -2*w = -4*v - 236, 2*v + 4*w - 236 = 6*v. Let y = -124 - v. Let h = -133/2 - y. Does h = -2?
False
Suppose -66 + 48 = -3*v. Let r be (0/(3/3))/(v/3). Which is smaller: -5/34 or r?
-5/34
Suppose 6*b - 3*b - 2*r + 22 = 0, b = -4*r - 26. Let j be ((b + 3)/14)/(1/2). Is 4/39 greater than or equal to j?
True
Let j = 73 + -67. Let z be ((-49)/21)/(j/2). Which is smaller: 0 or z?
z
Let d = -16 - -24. Suppose -7*r + d = 1. Which is smaller: r or 5/7?
5/7
Let l = -3589 + 3558. Suppose -4*a - d = -4, 2*a - 4*d = -0 + 20. Which is smaller: l or a?
l
Let d = 370 + -369. Is d at most -7/109?
False
Suppose 4*j + 0 = 4. Let i be (-62220)/200 - (-1)/2. Let r = -309 - i. Is r equal to j?
False
Let v = -3/74 - -731/16206. Is 0 smaller than v?
True
Let v = -0.09 + 0.34. Let y = -5.75 - v. Which is smaller: 2 or y?
y
Suppose 2*z + 85 = 7*z. Let w be (2*(-3 - z))/(-2). Which is smaller: w or 21?
w
Suppose -4*r + 12 = -r. Suppose r*c - 8*c - 12 = 0. Which is bigger: c or -4?
c
Let o = -1/22 + -5/11. Which is greater: 20 or o?
20
Let u be 5 - 6/2*2/6. Which is bigger: u or -0.3?
u
Let z be (-2932)/(-6) + (-1 - 0). Let c(i) = 80*i - 3. Let d be c(-6). Let o = d + z. Which is greater: o or 6?
6
Suppose 0 = 2*i - c - 49, -4*c + 44 = -0*i + 2*i. Let y be ((-20)/i)/(-5)*-3. Suppose -2*f - 9 = 7*f. Is f at least as big as y?
False
Suppose 2*c + 3*y + 1152 = 0, 0*c - 3*y + 558 = -c. Let w = -5137/9 - c. Is w < 0?
True
Let o = -2914/7 - -5835/14. Suppose -2*y + 3 = -y, 0 = -3*x + 5*y + 45. Suppose 4*l + x = 4*f, -23 = -5*f + 4*l - 3. Is o at most f?
False
Suppose -2*m = -5*n - 297, 121 = 3*n - 5*n + 3*m. Which is smaller: n or -58?
n
Let n(j) = -j**3 - 2*j**2 + 2. Let g be n(-2). Suppose -g*h = -h + 3. Which is greater: h or -22/7?
h
Let g(r) = -8*r - 9*r**2 + 8 + 8*r**2 + 4. Let o be g(-9). Let a be 8/o - 14/21. Which is smaller: 0 or a?
0
Let p = 17 - 17. Let d be (p - (2 + -3))/5. Let v = -134 + 135. Which is bigger: v or d?
v
Suppose 7*y - 18 = -109. Which is bigger: y or -3?
-3
Suppose -7*q + 50 = -2*q. Let c be (-40)/(-50) - (-2)/q. Is c greater than or equal to -1/3?
True
Suppose 3 + 7 = -5*h, 3*u = -3*h - 18. Let r be -2*(10/(-5) - 30/u). Do -10 and r have the same value?
False
Suppose -10 = -3*u + 50. Suppose -7*a = -2*a - u. Suppose q - 2*q - a*l = 4, -5*q - 4 = 4*l. Are q and 1 nonequal?
True
Let f = 0.14 - -0.11. Let m = f - -0.15. Let j = 6.4 - m. Is -2 < j?
True
Let v be 2*(7636/(-2544) + 3). Let n = -69/530 + v. Let d be ((-4)/6)/((-6)/(-9)). Is n not equal to d?
True
Let k(l) be the second derivative of l**3/3 - 2*l**2 + 5*l. Let y be k(6). Let i be (-5 - -2)*y/(-200). Which is smaller: -1 or i?
-1
Let j = -4.47 - -4.51. Which is smaller: j or 6?
j
Suppose 2*l + 5*g - 2*g + 68 = 0, -5*l = 3*g + 170. Let a = l + 33. Let f be 1 + -1 + (-8)/(-196). Is a at least as big as f?
False
Let q be (35/15)/7*3. Is q < -2/137?
False
Let j = -3019/2 - -14561/10. Let u = 10161/190 + j. Which is bigger: u or 1?
1
Let v = 10172 + -50616/5. Is v at least 49?
False
Suppose m = -4*j - 197, -4*j + j = -4*m - 769. Is -192 less than m?
False
Let g = 8/39 - 110/663. Suppose -5*s = -6*s - 1. Is s at least as big as g?
False
Let j(q) = -75*q - 530. Let x be j(-8). Which is greater: 71 or x?
71
Suppose 306*y = 304*y. Which is smaller: y or -2/119?
-2/119
Let r = -0.3 + 6.3. Let z = 6.1 - r. Suppose -29 = -l + 2*i, -l - 3*i = -4 - 5. Are z and l non-equal?
True
Suppose 2*l - 119 = -369. Is l not equal to 3/7?
True
Let y = 438 - 476. Which is smaller: y or -39?
-39
Let m be 0 + (-1 - (-7 - -5)). Do 2 and m have the same value?
False
Let w = 957 + -986. Is w <= -21?
True
Let i be (6215/105 + 1)/(604/6). Let o = i + -4/151. Which is bigger: 1 or o?
1
Let m be (-2)/4*8/(-4). Let z(q) = -1 - 3*q**2 + 0 + 4 - 4. Let f be z(m). Which is smaller: f or -18/7?
f
Let s(d) = -d**2 + 6*d - 4. Let g be s(4). Let r be 65/g*(-14)/(-105) + 4. Does r = 5?
False
Suppose -92*a = -96*a + 40. Is a bigger than -1.1?
True
Suppose -20*m + 24*m - 32 = 0. Let j be m/(-16) - (-1)/2. Which is smaller: j or -1/15?
-1/15
Let r = 27964 + -27964. Let s be (-2)/(-4)*(-1 - -3). Let n = 6 - s. Which is bigger: r or n?
n
Let k be (1 + -1 + 1)*0. Let o be 1/16*(k + 1). Which is smaller: 0 or o?
0
Let q = 53 - 61. Is q bigger than 6?
False
Let j = 1.388 - 0.058. Let w = j - 0.33. Which is greater: -35 or w?
w
Let r be -41 - 24 - (-14)/(-2). Is r < -73?
False
Let a be (6/(-8))/1 - 7152/(-2112). Is 4 bigger than a?
True
Let h be (-171)/54 + 5 - (2 - 0). Do -29 and h have different values?
True
Let i = -69/16 - -855/176. Suppose -5*y + 3 = -7. Which is bigger: y or i?
y
Suppose -3*f - 48 = 4*s, 3*f + 3 + 30 = -3*s. Let z be ((-2)/21)/(0 + s/(-9)). Is z not equal to 0?
True
Suppose -13*t = -8*t + 600. Which is greater: 1 or t?
1
Let f = -66 - -67.48. Let g = 106.48 - f. Which is smaller: -1 or g?
-1
Let v = 532/1105 + -33/68. Which is bigger: 1 or v?
1
Let f be (-9)/36 + 