95 = -2*o, 0 = -3*y - 3*o + 885. Suppose -73 = 6*s - y. Which is bigger: 34 or s?
s
Let k(p) = -7*p + 17. Let d be k(11). Let x be (19/5 + -3)/((-8)/d). Suppose t + 3*t + x = 2*u, -4*t - 3 = u. Is 1/4 > u?
False
Let r = -7.229 + 7.009. Which is bigger: r or 1/2?
1/2
Let o be (-5)/(-15)*0/(-40). Is 7/134 at least as big as o?
True
Let p(g) = 7*g**3 + g**2 + 51*g - 313. Let r be p(5). Which is smaller: 834 or r?
834
Let t = 19.1 - -8.1. Let m = 18.5 - t. Let w = m - -11.7. Which is greater: w or 1.7?
w
Suppose 11*p + 12208 = 13308. Is p at least as big as 128?
False
Suppose -338*h + 3*i + 14 = -343*h, -12 = -3*h + 5*i. Let f = -227942/21 - -10852. Is f bigger than h?
False
Let c(n) = -n**2 + 17*n - 10 + 31 + 2*n - 3*n. Let u(q) = -q**2 + 16*q + 21. Let i(v) = 2*c(v) - 3*u(v). Let z be i(19). Is z less than or equal to 36?
True
Suppose -175*l + 172*l + 6 = 0. Let i be 8/l*(-1215)/54. Is -89 less than i?
False
Let h(b) = -4*b**3 - 214*b**2 - 103*b + 47. Let j be h(-53). Which is bigger: j or -107?
-107
Let u = 652 - 655. Let i = 9018143/1086 + -8304. Let q = -22795/11946 + i. Which is smaller: u or q?
u
Let p = -2 - -3. Let x be (-17366)/228 + (-78)/(-36). Which is bigger: p or x?
p
Suppose -3*w + 3*z = -537, -10*w = -7*w + 4*z - 565. Is w smaller than 163?
False
Let d = -2791246/275 + 10150. Is d at most as big as 1?
True
Suppose 6*n + 40 = 340. Let u be 3 + ((-472)/n)/4 + -1. Which is greater: 0 or u?
0
Let z = -323.36 - 0.64. Let o = -330 - z. Is 5/9 equal to o?
False
Suppose -4*t - 60 = -436*s + 432*s, -36 = 2*t - 5*s. Let b(h) = h**3 - h - 10. Let p be b(0). Which is greater: t or p?
p
Let w = 2603 + -2593. Let u(j) = 10*j**2 - 1. Let p be u(-1). Which is bigger: w or p?
w
Let j = 1816 + -2641. Is -2/5 greater than j?
True
Let v be 2/6 + 0 + 15/540*24. Let d be 82/(-88) + 3 + -2. Which is smaller: d or v?
d
Suppose -5*l = -3*w - 7*l + 122, 179 = 4*w + 5*l. Which is smaller: 412/11 or w?
w
Let k be (-1)/(-42)*1316*(-17)/(-816). Does 0 = k?
False
Suppose 5*g = 5*t + 4185, 5*t + 27*g = 26*g - 4143. Is -836 < t?
True
Let j = -23193/2 + 11597. Which is bigger: j or -455/6?
j
Suppose 8*p - p = -84. Let w be (-84)/9*p/16. Let m be w/1*4/(-24 + 4). Are m and -0.2 equal?
False
Suppose -5*p + 17*p = -3324. Let q = 821/3 + p. Which is bigger: q or -2?
-2
Let s be 402/7236*(-9)/(-310). Which is bigger: s or 0?
s
Let o(l) = -2*l**3 - 19*l**2 - 26*l - 89. Let h be o(-9). Which is greater: 253/4 or h?
h
Suppose 5*r = 2*r + 42. Suppose 4*z - r = -q, -2*z = 3*q - 14 - 18. Let h = -22 - -31. Do h and q have the same value?
False
Let w = -112 - -591/5. Let t = -22 + 27. Suppose -4*v + 1 = -v - t*o, -8 = -4*v + 5*o. Which is bigger: v or w?
v
Let j be ((-1)/2 - (-162)/(-12))/(-65). Which is smaller: -1 or j?
-1
Let o = -78.62 - -67. Let v = -2.62 - o. Which is smaller: v or 1?
1
Suppose 0 = 17*n + 7 + 78. Let f(u) = 2*u**3 + 9*u**2 - 5*u - 14. Let k be f(n). Is -15 smaller than k?
True
Let n = 52.57 + -72.57. Which is bigger: -156 or n?
n
Let d be 1*(-4 + 1) - 1. Let y = -18 - d. Let a be (-26)/(-6) - y/(-42). Which is smaller: 6 or a?
a
Let d be 320/544 - (-2)/(-17). Let l be (1/(-4))/(5/(-20)). Which is greater: d or l?
l
Let f be 631*(7 + -6)*1. Suppose 624*l + 42 = f*l. Let y be -1 + 2/(6/25). Which is greater: l or y?
y
Suppose -37*i = -9*i + 280. Let w = 1256/29427 - 2/577. Do w and i have the same value?
False
Suppose -2*i = 12, 0 = -2*p + 2*i + 7 + 3. Are p and -66/131 unequal?
True
Let h = 209.73 + -210. Let s = -0.07 + 0.38. Let c = h + s. Which is smaller: -2/5 or c?
-2/5
Let z be (6/40)/((-110)/99 - 2768/360). Which is smaller: -1 or z?
-1
Let d = 435.04 + -436.04. Which is bigger: d or 12245?
12245
Let m = 9265 + -46321/5. Which is bigger: 5/26 or m?
m
Let q = 3 + 58. Let u = q - 127/2. Which is greater: -3 or u?
u
Suppose 0*i - 4*i + 31 = -3*m, 2 = -2*i - 2*m. Let t be ((-8)/(-13))/i - 357/39. Which is greater: -3/2 or t?
-3/2
Let b be (8925/(-34))/21*(-32)/(-2). Is b smaller than -174?
True
Let w = 13 - 65. Let i be 72/4 - 4313/227. Which is bigger: i or w?
i
Suppose -k - 4 = 4*q + 11, 5 = 4*k + 3*q. Suppose k*i - i = 7*i. Are -1/74 and i non-equal?
True
Suppose -2*h + 2*v - 602 = 0, -32*h = -36*h + v - 1189. Do -305 and h have different values?
True
Let f = -25 - -28. Let u(s) = -8*s + 31. Let m be u(f). Let z = -2/2275 - -52331/6825. Which is smaller: m or z?
m
Let q be (7 - 5)*53/2. Suppose 3*a + 15 = -m + q, -5*a + m = -66. Let o be 6 + (-832)/(-48) + -13 + (-2)/(-3). Do a and o have the same value?
False
Let n(u) = 3*u - 1. Let o be n(-3). Let a be (-1)/(-2)*o - -21. Suppose a*d - 17*d - 12 = 0. Which is bigger: d or -16?
d
Let l = 8088 + -8087. Which is smaller: l or -5/1202?
-5/1202
Let y be (-340)/51*12/(-10). Suppose y*a = -10*a - 180. Which is bigger: a or 2/21?
2/21
Let n be 1290/1118 + (4/10)/(26/(-10)). Which is smaller: n or -2/1941?
-2/1941
Let a = -4 + 5. Suppose w - 4*p = -8, 30 = 3*w - p - a. Suppose -7*u = -w*u + 10. Are 2 and u nonequal?
False
Let l be ((-3)/(-6))/(1/(-148)). Let g = -71 - l. Suppose g*i + 81 = -6*i. Is -6 greater than i?
True
Suppose 2*p - 6 = 2*i, 0 = 3*p + i + 4 - 1. Suppose p = 4*x + 366 - 270. Is -19 >= x?
True
Let t = 78 + -69. Let b(r) = 9*r - 127. Let c be b(t). Is c greater than or equal to -48?
True
Suppose 0*o - m = o + 1006, -3*o + 2*m = 3038. Let q be (o/(-5))/((-8)/10). Let v = 12621/50 + q. Is 0 less than v?
False
Let x = -321 + 325. Suppose -44 = -0*f + x*f. Is f greater than -45/4?
True
Suppose -4*c = 5*b - 20, 2*b = b - 2*c + 10. Suppose 4*z + 4 = 0, -3*l + 9799 = -0*l + 5*z. Let f be (-513)/l - (-1)/4. Is b > f?
False
Let s(t) = 34*t**2 - 2*t - t**3 - t + 18 - 44*t**2. Let p be s(-9). Let h = p + 48. Which is greater: h or 10?
h
Let c be ((-126032)/28)/(-2) - (-16)/(-28). Does c = 4499/2?
False
Let i = -7415 + 7403.3. Which is smaller: 4/9 or i?
i
Let g = -5202 - -5356. Suppose -5*q + 754 = 4*j, 2*j - 716 + 108 = -4*q. Is g < q?
False
Let r(x) = 2*x**3 - 7*x + 5. Let k be r(0). Suppose m + 12 = -k*y + 173, -4*m + 68 = 2*y. Which is smaller: y or 25?
25
Let a = -1694680339/10687 - -158574. Is a not equal to -1?
True
Let i = 0.0402 - -0.0178. Let x = i - -0.042. Which is bigger: 48 or x?
48
Suppose 3*y = 7*y - 8. Suppose h - 3 = y*l - 11, 2*h = 2*l - 10. Is l > 0.11?
True
Let c(p) = p**2 - 8*p - 9. Let f be c(8). Let y(k) = 9*k + 106 + 0 + 14*k - 13*k + 46*k. Let i be y(-2). Which is greater: f or i?
i
Suppose -5*f = 5*k + 25, -9*k + 12*k - 81 = 5*f. Let h = 7 + -11. Are f and h unequal?
True
Let i = -12695 - -13660. Which is smaller: 972 or i?
i
Let m = -0.575 - 0.245. Let h = -0.92 - m. Which is bigger: 184 or h?
184
Let t(x) be the first derivative of -2*x**2 + 43*x - 9. Let m be t(10). Is m > 24/7?
False
Let g be 22/(-33)*-6 - (-470)/18. Is g less than 31?
True
Let l = 1910 + -3512. Is l greater than or equal to -1604?
True
Suppose 23*i - 49 = -42 + 16. Which is smaller: 2/68955 or i?
2/68955
Let d = -5 + 11. Let a(y) = -y**2 + 2*y - 9. Let j(i) = -i**2 + i - 1. Let b(r) = -a(r) + 2*j(r). Let q be b(-3). Is d > q?
True
Suppose 2273 = -h - 3352. Which is smaller: 1 or h?
h
Suppose -76*c - 1034 = -281 + 995. Does -24/7 = c?
False
Let j = -261.1 - -274. Let n = j + -132.9. Let o = n + 120.1. Is -8 smaller than o?
True
Let y be 1556/(-4 - -8) - (-5 + 7). Suppose 245*v = 254*v - y. Which is smaller: v or 44?
v
Let g be 18 - 6/(-5 + 2). Let r be 18/(-48)*2*(-158)/6. Let k = r - g. Which is smaller: 26 or k?
k
Suppose 5*h + 21 = -5*s + 26, 3*s - 2*h = 28. Which is bigger: -24 or s?
s
Suppose 11*g + 37*g = -24257 - 2911. Is g not equal to -2267/4?
True
Suppose 26*j + 168 = 20*j. Which is smaller: j or -32?
-32
Let p = -280 - -481. Let q = p - 200. Which is greater: q or 1.92?
1.92
Suppose -3*j + 100 - 5 = 5*i, i + 89 = 3*j. Let b = j - 25. Suppose -5*l = -b*p - 15, 2*l = p + 3*l - 5. Is 2/11 less than p?
True
Let q = 166548 - 2326509014/13969. Let d = -880037/69845 + q. Suppose 132*w - 254*w = -127*w - 70. Is d <= w?
False
Let v be 4/2 - (1 + 1). Let z be 0/(-1 + (v - 0)). Let c = -32873 - -230107/7. Is z smaller than c?
False
Suppose 4*s = 315 + 33. Suppose s = 5*f - 2*f. Let i = 28 - f. Are i and -1/136 equal?
False
Suppose -6 = -5*y - 3*t, 21 = 3*y - 0*t - 4*t. Suppose w - s + 4 = 0, -y*s =