r c?
181
Let t = 607 - 335. Is 272 bigger than t?
False
Suppose 237*t - 242*t = -10. Let a = -1562651/775500 + -3/23500. Let w = -11/6 - a. Which is smaller: w or t?
w
Let g = -122.07 - -124. Let k = 0.07 + g. Let w be -4 - (-3 + 6/(-4)). Is w less than or equal to k?
True
Let q(w) = -w**2 + 18*w - 127. Let a be q(8). Let n be (-430)/9 + 2/(-9). Which is smaller: n or a?
n
Suppose 8*h - 252 = 22*h. Which is greater: -21 or h?
h
Let o be -46*(-4)/(-20) + 3/15. Let h(t) be the second derivative of t**4/12 + 4*t**3/3 - 5*t**2 + 2*t. Let l be h(o). Which is bigger: l or 2/19?
2/19
Let t = -112.2 - -113.2. Is -105 at most as big as t?
True
Let z be (-3)/6*-12*12/(-18). Let y = -89 + -13. Let m be y/24 - 2/(-8). Is m greater than z?
False
Let v(l) = 8*l**2 - 2*l + 2. Let s be v(2). Let d = s + -31. Let c be (d + 3)*1/(-83). Which is greater: c or 0?
0
Let j be (-3 + (-6)/(-4))*(-32)/12. Let r be (14*6/4)/((-6)/j). Is -10 smaller than r?
False
Let g = 0.929 - -0.971. Let s = 0.9 + -1. Which is greater: g or s?
g
Let t = 103 - 73.9. Let s = 29 - t. Is s not equal to -23?
True
Let b(a) = -15*a + 126. Let z be b(8). Is z at most 3?
False
Let k be (3 - 1313/455)/(2/(-50)). Do -3 and k have the same value?
False
Suppose 3*x = -2*z + 33, -22 = -2*x - 3*z - 0. Let t be 59/2 + (-4)/(-8). Let n = -19 + t. Is x at most n?
True
Let v = 28 + -20. Suppose 12 = 3*t, -t + 14 = w + 1. Which is smaller: w or v?
v
Let z be 18/(-24)*(3 + -7) - 102. Is z less than or equal to -99?
True
Let l = -32 - -32.025. Let v = 0.125 - l. Let x = 0.13 - 13.13. Is v at most x?
False
Let g = -2.15 - 3.85. Which is greater: -3/10 or g?
-3/10
Suppose 0 = 4*u + 5*k - 85, -3*u - k + 70 = 4*k. Suppose 0 = -x + 4 - u. Is -11 at least x?
True
Suppose 6*f - 2*f + 32 = 0. Let h be 69/(-9) + 2/3. Let w(b) = -b**2 - 5*b + 5. Let s be w(h). Does s = f?
False
Let a(r) = -10*r - 179. Let p be a(-19). Which is bigger: -2 or p?
p
Let n be ((-10)/(-5))/(90/(-39) - -2). Is -6 at most as big as n?
False
Let a(q) = q**2 - 13*q + 12. Let y(b) = b**3 + 8*b**2 + 5*b - 4. Let c be y(-7). Let f be a(c). Let d be f/14 - 2/(-2). Which is smaller: d or 1/6?
d
Let o be 68 + -61 + 351/(-53). Do o and 0 have the same value?
False
Let y(d) = -15*d - 3. Let h be y(-3). Suppose h = 3*s + 4*s. Let z = 8 - s. Are z and 7/4 equal?
False
Let t = -75253190/3493 - -21544. Let m = 6672/548401 + t. Which is smaller: m or 0?
0
Let c(i) = -i + 3. Let h be c(3). Let x be 1*-1 - (26 + -23). Is h less than or equal to x?
False
Let k(n) = -n**3 + 25*n**2 - 43*n - 23. Let l be k(23). Do 46 and l have different values?
False
Suppose -3*k - 7 = -4*o, -3*o = 2*o + 3*k + 25. Let s be -3*((-14)/3 - o). Is 2 greater than or equal to s?
False
Let d = -105 + -12. Which is smaller: 1 or d?
d
Suppose 8808 = -47*x + 2322. Which is bigger: -1512/11 or x?
-1512/11
Let z be 154/50 + 30/(-5) + 3. Let m be (-1)/(-1)*1*-1. Is z > m?
True
Let w be 30/(-4*3/(-78)). Which is greater: w or 194?
w
Let v = 1129 - 1128.9. Is -1386 at least as big as v?
False
Let c be 98985/396420 - (-1 - 10/(-8)). Which is greater: c or -1?
c
Let o be (-1)/((-1)/2) + 30. Suppose 0 = 4*a - 0*a - o. Which is smaller: 11 or a?
a
Suppose 3*d + 42 = 3*h, 7*h = 6*h - 2*d + 2. Which is greater: 5 or h?
h
Let p = 0.249 + 2.891. Let k = p + 0.46. Let i = 2.6 - k. Which is smaller: i or -6/11?
i
Let g(h) = -h**3 + 3*h**2 + 6*h - 6. Let q be g(4). Let d be (-6)/(-18) + (-7)/3. Let i be (q + d)/(-4 + 2). Are i and -1/6 unequal?
True
Let i(m) = 5*m - 59. Let o be i(11). Which is smaller: -60/11 or o?
-60/11
Let m = -10 - -9. Let c = m + 7. Which is smaller: c or -2?
-2
Suppose -165 = -2*y - 145. Are y and 1 equal?
False
Suppose -9*c = -12*c - 2*s + 396, -4*c + 535 = 5*s. Is c < 257/2?
False
Let j(d) = 4*d**3 - 12*d**2 - 15*d. Let g be j(4). Is g less than 60?
True
Let k = 178 - 179. Is k at most -11/15?
True
Let o = 1013 + -1011. Which is greater: 66/43 or o?
o
Let l be 1560/(-12224) + (-6)/(-48). Which is smaller: 1 or l?
l
Suppose -3*j - 6 = 0, 27 = -0*b + 5*b + 4*j. Suppose 1 = -b*m + 8. Let h = 151 + -1351/9. Which is smaller: m or h?
h
Suppose 0 = a - 4, -5*x + 1768 = 7*a - 5*a. Which is greater: x or 348?
x
Let r be ((-10)/75*2)/(4/102). Let y = 57/10 - r. Which is bigger: y or 14?
14
Let a be (12*(-40)/50)/(1/10). Is a less than or equal to -97?
False
Let a(m) = m**3 + 9*m**2 - 5*m + 13. Let l = -5 - 5. Let g be a(l). Which is smaller: g or -1?
g
Suppose -2*q + 2 = 2*t - 2, 3*q = 0. Suppose 30 = -5*a - m, -3*a + m - 18 = -t*m. Is a < -7?
False
Let w = -2287/16610 - -1/755. Let g = w + 107/462. Which is smaller: 0 or g?
0
Let u = -432 - -321. Which is greater: -332/3 or u?
-332/3
Let l = 1380.23 + -1368. Let r = 0.77 + l. Which is greater: -0.3 or r?
r
Suppose -z = -2*i + 52, -z - 56 = 2*i - 5*i. Suppose 46 = 4*r + 226. Is r bigger than z?
False
Let q be (-9)/6*-2 - (-1 + -22). Suppose -3*d = z + 67, -d - 2*z = 3 + q. Is d < -20?
True
Let x = 141 - 137. Let s = 2.4 - 5.4. Which is smaller: x or s?
s
Suppose 12 = -u + g + 31, 3*u - 4*g - 56 = 0. Suppose 0 = -2*r + u + 10. Suppose 5*m - 5 = -r. Is m less than or equal to -2?
True
Let a = 296 - 295. Is a > 22/9?
False
Let c = -15 - -10. Let s = -4 - -2. Let m = -1 - s. Is c greater than or equal to m?
False
Let m = -495/17 - -29. Let q = -4436 + 150803/34. Let t = m - q. Which is bigger: t or 0?
t
Let x = 2268.79 + -2258. Let c = 10.3 - x. Is c at least as big as -2/3?
True
Suppose 3*g - 2*a - 8 = -g, 5*g = -2*a - 8. Let i be g/(2 - 3) - 0. Is 2/7 less than i?
False
Let p = 32/171 - 9076/52155. Which is bigger: p or -1?
p
Let r be (279/(-1333))/((1/(-1))/1). Is 1 != r?
True
Let w = -134 + 134.137. Let c = w - 0.037. Which is bigger: -10 or c?
c
Suppose 3 + 1 = -2*k - 4*l, 3*k + 2*l = -2. Suppose 3*z = -k*z + 18. Let o = -5 + z. Is o equal to 1/4?
False
Suppose 0 = 5*u + 5*w + 15, -2*u = 2*u - 4*w - 4. Is u less than -3/466?
True
Suppose 0 = -2*b + 4*j - 10, 5*b - 17 = -3*j - j. Is b at least as big as 1/6?
True
Suppose 3*m - 64 = -37. Let z = m - 69. Are z and -60 non-equal?
False
Suppose -2*q = 170 + 76. Let x = q - 129. Let p = x + 1767/7. Is 0.3 at least as big as p?
False
Suppose -53*a + 19*a = 0. Which is smaller: -3/43 or a?
-3/43
Suppose 0 = -2*d + 4*d - 2*c, -3*d = c - 12. Suppose 20 = 4*z + 6*z. Which is smaller: z or d?
z
Let l be (-2)/16*14*(-60)/15. Is 7 at most l?
True
Let k be 4/24 - (-2216)/(-48). Is k at least -46?
True
Let v = -129 + 146. Does 18 = v?
False
Let i = -388 - -398. Is 41/4 at least i?
True
Let z = -715 + 706. Which is bigger: z or 12/11?
12/11
Let u(d) = 26*d**2 + 15*d - 24*d**2 - 35 - d**2. Let g be u(-17). Let l = 10373/25 + -415. Is g at most as big as l?
True
Suppose 3*z - 6*z = 3. Let j = 26320/23 + -1144. Is z less than j?
True
Let n = 123 - 130.9. Let d = -9 - n. Let t = d + 1. Is 0.04 at most t?
False
Let d be (-12)/(-90)*2*3/(-22). Is d greater than 1?
False
Let d be (9 + 840/18)/((-1)/9). Is d at least -501?
True
Let n(j) = j**2 - 5*j + 5. Let s be 102/(-8) + (-4)/16. Let y = -9 - s. Let t be n(y). Is -5/12 greater than or equal to t?
False
Let a = 8 - 8.5. Let j = a - -0.45. Let i = j + -0.15. Which is bigger: i or 0.5?
0.5
Let h be 0 + 2 - 63/(3 + -6). Let v = h - 11. Which is bigger: v or 14?
14
Let k = -5 - -12. Let w = -2 - k. Let z be (2/(-10) + 0)*w. Is 2 smaller than z?
False
Suppose 217 = 4*j + 3*j. Let u = 33 - j. Suppose h = -u*h - 3. Is h less than 0.3?
True
Let d be (-3)/4 + 297/(-180). Let k = -11 - -8. Which is greater: k or d?
d
Let d = -0.59 - -25.59. Let h = d + -25.4. Let o = 7/3 - 29/15. Is o smaller than h?
False
Let v = 376 + -375. Let p be 2/(-4) - (-177)/66. Which is greater: v or p?
p
Suppose -1236 = -4*c - 8*c. Let l be c/(-175) + 36/60. Which is greater: 1 or l?
1
Let a = 0.67 - -0.23. Let d = 0.92 - a. Let k = -0.82 + 0.72. Is d less than or equal to k?
False
Suppose 5*a - 121 = u, -22 = -0*a - a - 2*u. Let n be (-5)/15 - (-20)/a. Is -1/28 greater than or equal to n?
False
Let c(a) = a**2 - 7*a + 11. Suppose -f = 3*r - 20, 2*f + 23 = -0*r + 3*r. Let u be c(r). Let v be 115/9 + (-12)/(-54). Does u = v?
False
Suppose 165 - 177 = 4*l. Is 141 smaller than l?
False
Let x be (-20)/1600*311630/(-8). Let z = x + -487. Which is bigger: 0 or z?
0
Let k = 530 + -529.677.