/10
Let q = -27693 - -27876. Which is smaller: q or 2746/15?
q
Suppose 4*a - 48*n = -53*n + 30, 3*a = -5*n + 30. Which is bigger: 13/49 or a?
13/49
Suppose 0 = 5*k + 125*x - 128*x + 4110, -5*x = 5*k + 4070. Is k at most -822?
False
Suppose 0 = 4*b + 3*x - 4*x, -3*b + x = 1. Let q be (10/5 + 0)/b. Suppose i = -2*r - 21, i = -i - q. Which is bigger: -13 or r?
r
Let p be 141 - -3733 - (3 - 2 - -1*4). Is 3869 greater than or equal to p?
True
Let g be (570/(-75) - -7*1) + (-3660)/25. Is g greater than or equal to -146?
False
Let k = 5.646 - 1223.646. Is k >= 0.2?
False
Let g = -821 + 1081. Let b = g - 260. Which is greater: b or -99?
b
Suppose 316722 = 24*q + 274*q + 83090. Is 8610/11 smaller than q?
True
Let o = 1859.9 - 1860. Is o greater than -4172?
True
Let x = 30641 - 30613. Let q be 6/(-4)*8/30. Which is smaller: x or q?
q
Let b be ((-3445)/(-78))/(2/(-3)). Let t = -155/4 - b. Are t and 28 equal?
False
Let p(w) = -7*w**2 + w - 1. Let s = -118 + 119. Let x be p(s). Let z be (-4)/6 - 19/3. Is z smaller than x?
False
Let g be (2 + -47)*((-138)/(-30) - 5). Suppose -20*i - g = -38. Let s = -5735/24 - -239. Is i > s?
True
Let m(u) = -10*u - 205. Let f be m(-26). Let h = 63 - f. Which is greater: h or 102/11?
102/11
Let x be 13/(-195)*-165 - 62*1. Do -361/7 and x have different values?
True
Suppose 0 = -5*l + 3*u, 1 + 13 = -2*l + 4*u. Let o be 264/(-42) - -6 - (-2)/7. Suppose -2*x - x + 9*x = o. Which is bigger: l or x?
l
Suppose 134 = -5*u + 4*t, -4*u - 11 = -3*t + 96. Which is greater: u or -49?
u
Let d = -2404 - -2404. Which is smaller: 1/2580 or d?
d
Suppose 0 = k + 4*r + 10, -r - 3 = -0*r. Suppose -s = -f - k + 4, -3*f = -5*s - 14. Which is greater: -6/11 or f?
-6/11
Suppose -17*k = -3*h - 22*k - 1164, 2*h = k - 776. Let y = 388 + h. Is y not equal to 1/232?
True
Let f = -164 + 468. Let v = 306 - f. Which is bigger: v or 2.1?
2.1
Suppose 0 = -67*k + 425 - 1162. Which is greater: -109/9 or k?
k
Suppose -1558*i + 1559*i + 4*o + 3517 = 0, -4*i - 3*o = 13964. Which is bigger: i or -3486?
i
Let t = 449 + -897. Which is smaller: -451 or t?
-451
Suppose 0 = -4*x + 4*t - 3328, 76*t - 74*t = -3*x - 2496. Is x less than or equal to -832?
True
Let w be (2/2)/((-44)/8). Let s = 164 - 273. Let d = 108.92 + s. Is d less than w?
False
Let m be (23/(-2) + -2)*2/(-3). Suppose 0 = -x + 4*j + 27, -4*j + 25 = -m*j. Is 7 < x?
False
Let o = 4364 + -4365. Let b(j) = -j**2 - 7*j + 2. Let u be b(-4). Which is bigger: o or u?
u
Let a = 234594/59 - 3976. Which is greater: 5 or a?
5
Let l be (-636)/(-1166) + 27615/11. Is 2510 at most l?
True
Let f = 19479 + -17873. Which is smaller: 1608 or f?
f
Let u = -2687.34 - -2671. Let b = 15 - 15.34. Let n = u - b. Is -3/4 < n?
False
Suppose 28 = 4*j, -76*f = -75*f - 4*j + 27. Are -30/221 and f equal?
False
Let v = -400.625 + 429. Let p = 0.525 + v. Let k = p - 29. Which is smaller: k or 55?
k
Suppose -8*t - 7*t = -30. Suppose -4*z - f = -25, z + f + t*f - 9 = 0. Suppose -2*y + 18 + z = 0. Which is greater: y or 6?
y
Let w = 3115 + -43605/14. Is w smaller than -0.6?
False
Let x(m) = 54*m**2 + 213*m - 27. Let w be x(-4). Which is smaller: -716/47 or w?
-716/47
Let p(n) = -n**3 + 4*n**2 + 14*n - 9. Let k be p(6). Let i be (-5*(-176)/(-55))/((-9)/1). Is i smaller than k?
True
Let a = -0.1 + 1.1. Suppose -i - 17 = -5*t, 10*i + 5*t - 32 = 6*i. Suppose 3*c - 4*q - 6 = -q, i*q + 18 = -3*c. Which is smaller: c or a?
c
Let j(l) = -14*l**2 + 10*l. Let t be j(2). Let r be (-1767)/t - 12/(-18). Let k = r - 50. Do k and 2/3 have different values?
True
Let l(t) = 5*t**2 + 162*t + 60. Let v be l(-32). Is 322 at least v?
True
Let t be (-5160)/387*-3*1/(-2). Which is greater: 128 or t?
128
Let s(b) = 647*b - 163. Let d be s(-1). Is d smaller than -4047/5?
True
Let n be 2/6 + 93/(-9). Suppose -15*x + 21*x = -36. Let y be ((-19)/(-10) + (-2)/5)*x. Which is smaller: y or n?
n
Let v be 5/10*2*(-1 + -1). Let r be (8/(-20))/v*4. Is 1/5 equal to r?
False
Let m be 8/6*3/310. Let o(x) = -795*x + 44521. Let w be o(56). Which is smaller: m or w?
m
Suppose 90 + 220 = -m. Suppose 190*g + 15017 + 38886 + 5187 = 0. Which is smaller: m or g?
g
Let i be 362/(-5) - (-2 - (-56)/35). Let b = 65 + i. Let s be (92/30 + -3)/(b/(-777)). Which is smaller: s or 7?
7
Let n = -11721 - -11674. Suppose -2*b - 50 = -b. Which is smaller: b or n?
b
Let l be (4 + -1 - 10) + 5768/(-4). Is l < -1448?
True
Let y = -19290 + 19293. Let n be 2/(-11)*(14 - 7). Which is smaller: y or n?
n
Suppose 2 - 14 = -4*n, -5*x - 2*n = -61. Suppose 6 = -10*h + x*h. Suppose -o - 1 = 2*u - 2, -o - h = -5*u. Is 3/29 bigger than o?
True
Let c = -66 + 40. Let x = 29 + -28. Which is smaller: c or x?
c
Let d(i) = -71*i - 2. Let n be d(2). Let s be ((-22)/1 - -2)*(44 - (-1470)/(-40)). Which is smaller: s or n?
s
Let u(b) = 16*b**3 - 8*b + 8. Let v be u(2). Let z = v - 122. Suppose -2*f - 8 = 4*s, -10 = 4*f - 3*s + 5*s. Is z bigger than f?
False
Let a = -4106 + 4106.13. Which is smaller: a or -99?
-99
Let a(v) = v**3 + 232*v - 277*v + 1 - 3*v**2 - 9*v**2. Let j be a(15). Let w be (-4)/(-7)*30/8. Is j <= w?
True
Let z = 90357646303/80051 + -1128751. Which is smaller: -1 or z?
-1
Let l = -378 + 524. Let w = 114 - l. Are w and -32 equal?
True
Let w(y) = y**3 + 66*y**2 - 214*y - 354. Let v be w(-69). Is 1421/11 > v?
True
Suppose 151*w - 73*w = 73*w - 5. Which is smaller: -55/179 or w?
w
Let m(z) = 3*z**2 - 13*z**2 - 12*z**2 + 2 - 8*z**2 + 56*z + z**3. Let y be m(28). Which is bigger: y or -14?
y
Suppose -q + 3 = 150. Let n be -2 + -1*q/(-15). Let x(b) = b**3 - 37*b**2 + 335*b + 113. Let a be x(18). Which is bigger: a or n?
n
Let z = -29104 - -29045. Is -72 less than or equal to z?
True
Let z be 5 + ((-68)/408)/(2/(-12))*-5. Which is bigger: z or -3/1082?
z
Suppose 0 = -4*i + 2*p + 260, -33*i + p = -36*i + 185. Let u = -67 + i. Are u and -27/10 equal?
False
Let t = -4296 - -4410. Is -0.5 less than t?
True
Let k = -11785 + 11786. Let z = 0 - -3. Let q = -3.8 + z. Which is smaller: k or q?
q
Let r = 1 + 9. Let c = -489 + 1601. Let l = 1123 - c. Are l and r nonequal?
True
Suppose h + 5*f + 19 + 31 = 0, 3*h + 4*f + 106 = 0. Let n be (-856)/(-2354) + 356/(-11). Which is smaller: n or h?
n
Suppose -31*t = -30*t - 5. Suppose 0 = 5*l - v - 1, t*l = -v + 2 + 7. Suppose 9 = 5*o - l. Is -1 smaller than o?
True
Let c be -2*((-382)/(-68) + (-2)/17). Which is greater: c or -15?
c
Let r(a) = -20*a - 9. Let v be r(0). Let d be -6*1/8 - v/12. Which is greater: 9/38 or d?
9/38
Suppose -3*d + 2 = 53. Let o be (1131/406)/((-4)/24). Let w = d - o. Is -73 > w?
False
Let b = -0.4019 - -0.2019. Is 1284 greater than b?
True
Let i = -72 - -70. Let t be (-28)/175*i/(-12). Let o be (1 + -1)/(15 - 13). Is o less than or equal to t?
False
Let w = 14768 - 15271. Which is smaller: -2 or w?
w
Let g = -63 + 65. Suppose d + g*d = 12. Suppose 0*u - 3*u - 3 = d*l, 2*l + 12 = 2*u. Is 3 at least as big as u?
True
Let q = 8935499/1050 + -8510. Is 0 bigger than q?
True
Let q = 23474.9 + -23491.8. Let o = 0.2 - 0.2. Is o != q?
True
Let j = -0.1277 + -512.8723. Let d = j - -512.9. Do d and 2.7 have the same value?
False
Suppose 2*d + 4*v - 261 = 319, -5*d - 4*v + 1474 = 0. Suppose -44772 = -218*s + 19974. Is d <= s?
False
Let d(y) = 179*y + 2147. Let n be d(-12). Which is smaller: n or -5/98?
n
Let j = -325 + 121. Let n = j - -204. Which is greater: 33 or n?
33
Let p be 5/(25*8/120) + 2. Are 74/19 and p nonequal?
True
Let s = -8 + 14. Let l be (150/(-100))/(2/42). Let b = -27 - l. Is s >= b?
True
Let a = -2.329 + 1490.329. Which is greater: a or -1/4?
a
Suppose 5*g = -11*g + 6*g. Suppose g = -11*u + 4*u. Which is smaller: 2/3 or u?
u
Suppose 5*s - 2*r = -9*s - 164, -4*s - 19 = 5*r. Is s < -186/19?
True
Let f be 12 - (3375/(-10))/(-25). Is f smaller than -459?
False
Let d = -43 - -91. Let q = 220532 - 220484. Is q >= d?
True
Let s be ((-1)/(-639))/((21/1372)/3). Let y = s - 6/71. Which is bigger: 0.34 or y?
0.34
Suppose 0 = 3*s - 2*s. Let i = 72 + -73. Let r be ((-3)/(-8)*-1)/i + 0. Is r <= s?
False
Suppose 4*a = 20, 0 = 42*n - 37*n - 2*a - 315. Which is greater: n or 86?
86
Let m be 5/(-3)*(-384)/80*(-1562)/(-4). Is m equal to 3122?
False
Let n be 76/52*537 - (-30)/195. Is n bigger than 781?
True
Let r = -2361 + 26047/11. Is -2/15 less than r?
True
Sup