121) + 3. Let j be (-3211)/27 + (-20)/270. Which is smaller: g or j?
j
Suppose -693 = 2*a - t, 17*a - 1740 = 22*a - t. Is -349 smaller than a?
False
Let i = 9119 - 9532.3. Which is smaller: 0.1 or i?
i
Let d = 58 + -58. Let t = -33.5 - 2.5. Let k = t - -36.3. Is k <= d?
False
Let a = 1606 + -1606. Let y = 1671/7 - 111873/469. Do a and y have the same value?
False
Let p(a) = a**3 + 7*a**2 - 14*a - 19. Let f be p(-8). Suppose 0*b = f*b - 1682. Is b greater than or equal to 58?
True
Let g = 8570.1 - 8570. Which is smaller: g or 2728?
g
Let j = 5 + -2. Let k = -2.9 + j. Suppose -146*t + 2223 + 954 = 50*t - 547. Is t < k?
False
Let u = -190 + -370. Let x = u - -63839/114. Is 0 smaller than x?
False
Let f(n) = -121*n - 48. Let t be f(-1). Suppose 0 = -81*a + t*a. Which is bigger: a or 2?
2
Let a be (154/12441)/((-8)/(-12) - (-50)/(-15)). Is a bigger than -1?
True
Let q = 101 + -226. Let r = -126 - q. Which is bigger: -2/311 or r?
-2/311
Let t be 160/(-120) - (-5 + 6 - 4/3). Let d = -971/15 - -65. Which is smaller: d or t?
t
Let o = 1327 - 1570.22. Let j = 243 + o. Which is smaller: -3 or j?
-3
Let n(l) = -48*l**2 - 141*l + 7. Let g(f) = -25*f**2 - 70*f + 3. Let p(i) = -5*g(i) + 2*n(i). Let q be p(-3). Is q bigger than 55?
True
Let j be -10*1 - 5/(570/(-3228)). Is j < 19?
True
Let d = 2/467 - 473/1401. Let s = -2.6 + 3. Let t = s + -0.01. Which is bigger: d or t?
t
Let h be 66/(3 + 3) - 4. Suppose 0 = -h*r + 19 - 12. Which is smaller: r or 1/245?
1/245
Suppose -17*y = -689 - 1283. Which is smaller: 121 or y?
y
Let o(l) = l**2 - 5*l + 9. Let c be o(5). Suppose 56 - 308 = -c*r. Is 30 <= r?
False
Let m = 0 - -0.01. Let u = 95 + -169. Let l = u - -73.9. Is m equal to l?
False
Suppose -24484 = -105*c - 151324. Is c <= -1206?
True
Let r be 4/14 - (-25290)/(-70). Let t = r + 362. Which is bigger: t or -1/545?
t
Let n = 1.02 - 1. Let f = n + -1.12. Let o(v) = 199*v**2 + 2987*v + 33. Let k be o(-15). Is k > f?
True
Let c be -6 + 2/(-56)*4 + 610/7. Is c >= 92?
False
Let i = 8970 + -2036197/227. Which is bigger: -1 or i?
i
Let h be (-6)/(-3)*(-51)/102. Which is smaller: 2/16535 or h?
h
Let m = -7173 - -24156. Is 16982 equal to m?
False
Suppose 0 = -5*o + 16*o - 1166. Suppose 6*w - o = -34. Let a be 5/9*3 + (-8)/w. Is 4 at most a?
False
Suppose -260 = 5*o + 155. Let t be (-4*10/70 - (-54)/21)*-41. Which is greater: o or t?
t
Let j = 1212 + -1795. Which is greater: -584 or j?
j
Suppose 6*z = 325 + 677. Let f = -117 + z. Suppose 2*u = 5*h - 76 - 175, 193 = 4*h + u. Which is bigger: f or h?
f
Let f(n) = -n**3 - 2 + 5*n**2 - 18 + 2*n + 6*n**2. Let s be f(11). Is 0.15 equal to s?
False
Let k be ((-906)/48)/(303/60 - 5). Which is greater: -379 or k?
k
Let d be 4/(-14) - 411/7. Let y be ((-3288)/685)/((-4)/(-50)). Is d > y?
True
Suppose -3895*s + 3893*s + 4*d = -1010, -d = s - 499. Is s equal to 489?
False
Let g = 376 + -3392/9. Let m = -1097.6 + 1096.7. Which is smaller: g or m?
m
Let c be 20*((5159/35)/(-11) + -7). Is -409 greater than or equal to c?
False
Let o be 8/10 + 64328/1815 + -36. Let q = -3 - -2. Are q and o equal?
False
Suppose 54 = 9*u + 9. Suppose y + u*s + 2 = -2, -4*y - 1 = 5*s. Which is greater: y or 20/29?
y
Let y(h) = h + 11. Let f = 58 - 66. Let j be y(f). Suppose j*m + m = -3*d + 2, -3*d = 3*m - 3. Which is greater: 5 or m?
5
Let p = 3481 - 3737. Which is smaller: -260 or p?
-260
Let b = -7/3872 - 1564225/34848. Is -1 smaller than b?
False
Suppose 4*w = -4, -2*w - 48 + 990 = 4*l. Which is bigger: 245 or l?
245
Suppose 5*z = 0, -m - 12020 - 9535 = -4*m - 3*z. Which is greater: 7187 or m?
7187
Suppose -5*k + 18 = 2*u - 29, -3*u = 12. Let y = 210876/21749 + -6/1673. Is k >= y?
True
Suppose -l + 3*x + 3 + 2 = 0, 0 = -5*l - x + 9. Suppose 5*m - 4 = 6. Suppose -m*y = -7*y + 10. Do y and l have the same value?
True
Suppose 4*d = -4*b + 8, 5*b - 14 = -3*d + 2*d. Suppose 123 = -b*j - 19*s + 22*s, 5*j + 220 = 2*s. Which is greater: j or -44?
-44
Let a be (152/(-2394))/((-6)/1869). Which is smaller: a or 1/3?
1/3
Let y = -0.8698 - -1.1698. Which is greater: y or -4500?
y
Let h = -1180 - 2463. Which is greater: -1 or h?
-1
Let k = -27236 - -27281. Let x be 2/(-15) + (-1)/5. Is x equal to k?
False
Let l be (4/654)/((-20)/15). Suppose 4189*j - 4171*j - 18 = 0. Is l smaller than j?
True
Let a = 40 + -40. Let b be ((8 - -4) + a)/(9/6). Suppose 4*s + p - 31 = 0, -3*s + b*s + 4*p = 47. Is s at least as big as 0?
True
Let s = -1324 - -1390.1. Let y = 1.41 + 64.59. Let o = s - y. Is 0.15 not equal to o?
True
Suppose -4*b = g + 8 + 1, -5*b - 15 = 5*g. Is 3/467 at least g?
True
Let n(t) = -1351*t + 6944. Let a be n(14). Is a not equal to -11968?
True
Suppose -47*s = -58*s - 176. Let r be (-6)/(-1)*s/(-96). Are 2/627 and r unequal?
True
Suppose 2*q + 78 + 3672 = -3*h, 5*h = 3*q + 5606. Let p be (-2)/18 + 143/q. Is 1 smaller than p?
False
Let t(v) = 2*v**2 - 28*v - 26. Let r be t(11). Let w = 95 + r. Suppose 4*j = w*j + 2*p + 39, -68 = -2*j + 2*p. Which is smaller: j or 28?
28
Let r = -0.546 - 5.686. Let l = r + 6.1. Let b = l - -0.032. Is 1/19 greater than b?
True
Let d(t) be the third derivative of 11*t**4/4 + t**3/3 - 7*t**2. Let s be d(-1). Let q = s + 65. Which is greater: -29 or q?
q
Let x = 452/9 + -454/9. Which is greater: x or -785?
x
Let k = -203 + 221. Suppose k*t + 20 = 20. Is t != -13/19?
True
Let x be (56/21 + -3)*1 - 5930/(-24). Which is bigger: x or 246?
x
Let r be -6 + (7 - 6) + (-1369454)/251. Let v = -5461 - r. Which is bigger: 1/2 or v?
1/2
Let t(h) = h**2 - 47*h + 400. Let d be t(10). Let u be (-5 - -4)/(1/(-19)). Which is greater: u or d?
d
Suppose 0 = 3*h - 9*b + 5*b + 2, 3*b = 2*h + 2. Is -18 at least h?
False
Let v = 360 - -100.2. Let g = v + -460. Which is smaller: 4/15 or g?
g
Let t = -3532195/811178 - -43/7442. Which is bigger: t or -3?
-3
Let h = 2.272 - 1.272. Let l = 55.8 + -112.7. Which is smaller: h or l?
l
Let q(f) = 15*f + 622. Let t be q(-49). Which is bigger: t or -85?
-85
Let c = 35 - 34.9846. Let r = c - 0.5254. Which is bigger: -0.1 or r?
-0.1
Let j(m) = -m**3 - 15*m**2 - 12*m + 95. Let a be j(-15). Suppose -7 = 282*s - a*s. Which is bigger: s or 19?
19
Let j = -720 - -1036. Let m be ((-4)/j)/(((-12)/(-3))/(-4)). Is m at most as big as 0.2?
True
Let t(f) = -f**2 + 6*f - 4. Let q be t(5). Let l be ((-4)/(-55)*480/256)/3. Is l at most q?
True
Let f(y) = -y**2 + 18*y - 44. Suppose 5*w = 2*v - 45, -4*v + 119 = 2*w + 65. Let z be f(v). Is 5/53 >= z?
False
Let o be (9 + -1)/(14 + -16). Is o at least -3?
False
Suppose 5*r + 72 = -5*q - 168, 4*r = -5*q - 243. Suppose 0 = z + 3*v + v + 63, 0 = 2*z + 4*v + 122. Let x = z - q. Are x and -7 nonequal?
True
Suppose -18*w = 10*w - 168. Let o be (3 - 3)/(-7)*2/w. Which is smaller: o or -2/183?
-2/183
Let h = -24.1 + 1007.1. Let z = h - 982.9. Suppose 5*n + 157 = -4*s + s, -3 = -3*s. Is n <= z?
True
Let n = -2.99 + -0.01. Let j = -2 - n. Let x = -127798 + 127796. Is x > j?
False
Let k = 47 - 2. Let f = k + -15. Let x = -29.9 + f. Which is greater: x or 25?
25
Suppose -5*a + 3*a = -10. Suppose -2*p + o = -89, -a*o + 185 = -3*p + 7*p. Let x = -5663.9 + 5664. Which is smaller: p or x?
x
Let r be 0 - (0 + 1)*-2. Suppose -40*p = -1075 - 245. Let a be p/11 - (-105)/(-49). Is r bigger than a?
True
Suppose 0 = 5*l - 63 - 667. Is 144 <= l?
True
Suppose 3*j + 4*m = -7, 0 = -j - 75*m + 70*m + 5. Are j and 47 nonequal?
True
Let k = 15.333 - 0.213. Let g = k - 0.12. Let w = 151/4 - 38. Are w and g unequal?
True
Let w(f) = -f**3 - 8*f**2 + 11*f - 2. Let z be w(-9). Let l be 4025/42*69/z. Let n = l + 330. Which is smaller: n or 0?
n
Let m(d) = -10*d - 4. Let o(z) = -z. Let s(j) = 4*m(j) - 36*o(j). Let a be s(-6). Let f be (2/3)/((-3)/((-36)/a)). Which is smaller: 1/21 or f?
1/21
Suppose -12278 = -112*k - 13286. Suppose 2*d = -4, 5*d = 5*a - a + 18. Are k and a nonequal?
True
Let m be 9/(-288)*(-16)/(-6680)*10. Which is greater: m or -1/8?
m
Let r = 141949/36 + -3943. Which is greater: r or -2?
r
Let t(c) = 2*c**2 + 26*c + 13. Let s be t(-13). Suppose -2*f + 5 = 2*i + s, -3*i = f + 8. Which is smaller: -12 or f?
-12
Suppose 1090 + 560 = -2*t. Let s = 8243/10 + t. Are s and -1 nonequal?
True
Let q be 17 - -775*16/(-720). Is -155.8 at least q?
False
Let o(r) = -3*r**2 - 180*r - 2. Let w be o(-60). Is w != 453?
