. Suppose -5*c - 27 + 2 = 0. Which is bigger: c or j?
c
Let k be -1010*(-1)/3*15/(-5). Is k smaller than -1007?
True
Let t = -10 - -9. Let i(p) = 3*p**3 - p - 1. Let f be i(t). Let l(r) = 133*r - 133. Let u be l(1). Is f less than u?
True
Let k = -655 - -660. Suppose 0 = -5*b - k - 5, 2*y - b - 2 = 0. Which is greater: y or -79?
y
Suppose 3*w - 5 = -17. Let q = 119.0108 - 0.0108. Let k = q + -118. Which is smaller: w or k?
w
Let f = -4341 - -4344.3. Is f < -45?
False
Let c(i) = i**3 + i**2 + 2*i - 1. Let y be c(0). Let p be -8 + 10 + -6 - (-808)/188. Which is smaller: p or y?
y
Let z = 1782403639/51 + -34947743. Let n = z - 1348. Is n less than or equal to 1?
True
Suppose 7*r = 1096 - 179. Suppose 5*s - 29 - r = 0. Let y be (-8)/(s/(-15)) - -4. Which is smaller: y or 7?
7
Let g be 1323224/(-252) - 2/18. Which is smaller: -5252 or g?
-5252
Let z = 2414.1 - 2414. Is z not equal to 5089?
True
Suppose -2*y + 2*i - 31 = 25, -15 = -5*i. Let p be (-5)/182*20/y. Which is smaller: p or 1?
p
Let w = -6373/328 - -463/24. Is -1 < w?
True
Let x = -0.368 - 148.632. Let k = -148.9 - x. Is 115 greater than or equal to k?
True
Let d be (5/(-710))/(3/(-679482)). Let f = -1595 + d. Let r(c) = c**3 - c**2 - c + 1. Let l be r(0). Which is greater: l or f?
l
Let b = -5280 + 3678. Let l = 1519.1 + b. Let o = -83 - l. Which is bigger: o or -3/7?
o
Let f = -1179 - -128499/109. Let c = f - -470/2289. Let w be 2/4*4/(-7). Which is smaller: c or w?
w
Let d(v) = 0*v**2 + 8 - v**2 + v + 7*v + 0*v**2. Let l be d(9). Let u be -5*2/(-12)*56/(-35). Is l greater than or equal to u?
True
Let z be 3/(((-9)/270 - -8) + -8). Which is greater: z or -448/5?
-448/5
Let z = -33049 - -24897. Is z at most as big as -8152?
True
Let u be (-1)/(3 - (-184)/(-67))*(-53 - -51). Which is greater: 9 or u?
9
Let r = 14 - 30. Let h = 0.055 + 2.245. Let d = h - 2.5. Which is smaller: r or d?
r
Let o = -2273 + 2297. Which is greater: 199/8 or o?
199/8
Let r = 28.5 - 40. Let k = 1266 - 1256.1. Let o = r + k. Which is greater: 2/3 or o?
2/3
Suppose 369 = d - 5*w - 122, -4*w = 2*d - 926. Let s = d + -4241/9. Which is smaller: s or -0.011?
s
Let x = -322.6 - -2.6. Let z = 312 + x. Is z at most -1/9?
True
Let n = -269 + 265. Let p be ((-51)/(-30))/(-17)*n. Is p less than -0.33?
False
Let l = 71 + -69. Suppose -3*d + l*d + 120 = 0. Let x be (-4)/(d/42)*(2 - 1). Which is greater: -2 or x?
x
Let m = 28 + -31. Let y = 66 + m. Let j be 144/y + 4/(-14) + -13. Which is smaller: j or -12?
-12
Let n be (1 + (-7)/8)*-13. Let r be (-80)/41 + (-716)/14678. Is n equal to r?
False
Let h = -921 + 933. Let y be h/88*(12/(-1017) + 0). Does -1 = y?
False
Suppose -a = -r + 472, 2*a + r + 1536 - 580 = 0. Is -482 smaller than a?
True
Let o(g) = g + 2. Let w be o(3). Suppose -4 = -y - 0*y - v, 4*y + w*v = 18. Let i be (-211)/(-195)*3 - (-24)/156. Is i greater than or equal to y?
True
Suppose 0 = -12*r - 2*m - 19606, -14*m = 5*r - 16*m + 8172. Is r less than or equal to -1634?
True
Let r = -5081 + 9274. Which is greater: 4194 or r?
4194
Let s(p) = -4*p**2 - p + 6. Let o(i) = i**2. Let f(j) = -3*o(j) - s(j). Let n be f(-3). Which is greater: n or -2/29?
n
Suppose 3*s + d + 9 = -6, -15 = -5*d. Let n be 3/(45/s) + 257/5. Let a = 56 - n. Is a less than or equal to 5?
True
Let h = -527 - -242. Let i = -48733/171 - h. Is 0 <= i?
True
Let d be 8/16 - 14/(-44). Let f = d + 17/33. Which is smaller: f or 6/11?
6/11
Let g = -0.054 - -0.138. Let z = 39.916 + g. Let a = z + -34. Which is smaller: a or -7?
-7
Suppose 29473 = -179*d - 67903. Is d greater than -545?
True
Let b(j) = -3*j**3 + 28*j**2 + 20*j + 2. Let u be b(10). Let g be (-62)/(-18) - 96/432. Is g less than u?
False
Let u(g) = g**3 - 8*g**2 + 75*g - 283. Let a be u(4). Which is smaller: a or -663/14?
-663/14
Let u be (4 - (27 - -2))/4*(-50)/1625. Does -0.1 = u?
False
Suppose 5*z - 4*c - 52 = 0, 5*z + 2*c - 31 = -c. Let w be 6/z + (-3)/(72/330). Which is smaller: w or -10?
w
Let u = -5 + 229. Suppose 0 = -27*m - 5*m - u. Which is bigger: -15 or m?
m
Suppose 0 = -3*l + 5*l + 4. Let w(q) = -q**3 + 25*q**2 + 60*q - 165. Let n be w(27). Is l greater than n?
True
Let f be (24/618)/(-1 + (-75)/(-70)). Which is greater: f or 0?
f
Let t = 52 - 40. Let s = 58 - t. Let k = s - 34. Which is smaller: 0.2 or k?
0.2
Suppose -13 = -o + 2*x - 5, 2*o + 5*x + 11 = 0. Suppose o*v + 2 = c - 1, 0 = 4*c + 4*v. Let q = 165/2737 - 2/119. Is q != c?
True
Let o be 15/6*-4 + 265550/226. Which is smaller: 1160 or o?
1160
Let x = -364 - -308. Let u = 371 + -427.2. Let l = x - u. Is 2 <= l?
False
Suppose -69*m - 93*m - 40 = 122. Is -44/53 less than or equal to m?
False
Let j = -880.9 + 881. Is -657 smaller than j?
True
Let t be (4/(-6))/(-2)*-183. Let g = 102 + t. Let d be 351/(-20 - -29) + 2 + -1. Which is smaller: g or d?
d
Let q(t) = -t**2 + 21*t - 10. Let y be q(21). Let i be -4 + (0 - 2)*(y - -4). Suppose 0 = -3*f + i*f - 2*c, 0 = -3*c - 15. Which is greater: f or -26?
f
Let c be 9085/1035 - (-2)/9. Which is bigger: 113/11 or c?
113/11
Let x = -1735 + 1015. Is -1437/2 equal to x?
False
Let t = 12335/7 + -1765. Is t != 55?
True
Let v(y) be the third derivative of y**8/2016 + 7*y**5/60 + 17*y**2. Let n(l) be the third derivative of v(l). Let j be n(-2). Are 39 and j equal?
False
Let i = 23 - 21.4. Let a = i + -0.6. Let h = -0.039 - -0.099. Which is smaller: h or a?
h
Let s = -57/64 - -1981/2368. Does s = -1?
False
Suppose -2*t + 22 = -p, 4*t = -5*p + 2 - 98. Let x(i) = 2*i + 4. Let k(u) = 1. Let m(l) = -2*k(l) - x(l). Let s be m(7). Is s less than p?
False
Let y be 6*(-48)/40*-3*5. Let s be y/(-104)*392/21. Is s at most as big as -20?
False
Let m = 10828 - 10840.67. Which is bigger: -0.4 or m?
-0.4
Let b(z) = -z + 6. Let k be b(11). Let a be k/((-15)/6) - -315. Let m be (3 + a/(-105))/((-3)/15). Is m bigger than -2?
True
Suppose -18 = 5*h - 6*h - 4*b, -h + 4*b = 22. Let g be h - -1 - (2 + -1)/1. Let v = -12.96 - 0.04. Is v >= g?
False
Suppose 3 = 9*p - 12*p, 3*p = -3*q - 12. Is -5 < q?
True
Let u = -4.26 + 4.2537. Let l = -0.0183 - u. Is l at least -3/2?
True
Let n = -34957 + 60854. Let h be (-2)/(-4) - n/94. Is h at least as big as 1?
False
Let t = 0.0528 - 0.1628. Which is smaller: -3/35 or t?
t
Let v be -9 - 15591/(-9) - 1/3. Suppose -2*o - 247 = -v. Is o less than or equal to 739?
True
Suppose -5*v = -2*k - 39 - 33, -36 = k + v. Let b = -27820 + 27816. Is k equal to b?
False
Suppose 3*c + 4*z - 12 = 12, 0 = -c - 5*z + 19. Suppose c*l + 189 = -75. Which is smaller: l or -65?
l
Let y = -134 + 197. Let d be 1/7*y/(-162). Is -2/19 equal to d?
False
Suppose 5*f = 7*h + 70, -587*f - 2*h = -589*f + 20. Let u = 1201 + -415. Let i = -8652/11 + u. Which is greater: i or f?
f
Suppose 2*g = g - 11. Let t be (g/(-2) - 1)*2. Let i = 437 + -427. Is t != i?
True
Let p(q) = -3*q + 16. Let y be p(5). Let b = 3 + -1. Let i be -2 + y - (-4 + b). Which is greater: -1/23 or i?
i
Suppose -25*j + 530 = 3630. Which is greater: j or -144?
j
Let w(a) = -94*a**2 + 8*a + 342. Let y be w(11). Is y <= -10944?
True
Let a = 6037 + -4804. Which is greater: a or -0.1?
a
Let m be ((-540)/(-6))/6 - 3*1. Let i be -6*((-1)/(-2) - 1). Suppose m = -t - i*t. Are t and -3 equal?
True
Suppose -293*s = -279*s. Is s != 3.2?
True
Let h = 17.9167 - 0.0167. Let z = -0.06 - 5.04. Let l = h - z. Is 1/2 >= l?
False
Let p be 5/((-10850)/(-39044)) - 18. Is p smaller than 0?
True
Let y = -0.261 + 1.951. Let m = -24.31 - y. Suppose -17 = 4*f + 3*b, 3*f - 5*b - 13 + 4 = 0. Which is greater: m or f?
f
Let f = -8 + -2. Let g(m) = m**3 - 6*m**2 - 5*m + 26. Let a be g(6). Let b be (a/10)/(-1) - (-133)/(-570). Is f < b?
True
Suppose -46*c = 3*o - 44*c - 39, -4*c = o - 23. Suppose 24*a - 35 = -o. Which is bigger: -6/155 or a?
a
Let g be (79/(-5530))/(5/(75/(-7653))). Does g = 1?
False
Suppose -4*i - 2*r - 2*r + 32 = 0, -4*i = r - 23. Suppose b + i*v = -19, -3*b + 13*v - 15*v = 109. Which is smaller: b or 1?
b
Let i = 767/63 - 17/9. Are 9 and i unequal?
True
Let w be 63/(-9)*6/7. Let a be 2*(3/w)/(4/(-116)). Is 29 <= a?
True
Let d = 2929/37 + -79. Which is smaller: 0 or d?
0
Let n be 10/(1112/(-557) - (0 + -2)). Suppose 5*j + n = -0*j. Let t = 25625/46 + j. Which is bigger: -1 or t?
t
Let b = 20 - -2. Let k(c) = c**3 - 2*c**2 + c + 4. Let a be k(2). Suppose -