aller than w?
True
Let v = -1059 + 1055. Let z be -14 + (2 - (1 - -1)). Let p be (((-32)/28)/(-2))/(v/z). Are p and -3 unequal?
True
Let d = 5 + 10. Let o be (-2)/5*d/(-6). Suppose -3*y = -4*s - 0*y + o, -y = 4*s - 21. Is 4 at least s?
True
Let h be (3 - (4 - 1))*(-1)/(-2). Let d be 0 + 2812/(-700) + 4. Let n = d - -4/25. Which is smaller: h or n?
h
Let b(x) = x + 8. Let g be b(-4). Let q be ((-15)/12)/5*g. Let c = -110 - -119. Are q and c unequal?
True
Let m = 7 - 11. Let r be 110/22*(-1)/(1*-1). Let s = r + m. Is s <= -2/67?
False
Let y = -0.00462 - 280.99538. Is y at most as big as 0.1?
True
Suppose -35 = 140*g + 105. Is g smaller than -1/6492?
True
Let t be (20/2 - 1)/(3/4). Suppose -t*z + 1106 = 2*z. Is z less than 0?
False
Suppose -a - c = -1 - 4, 3*a + 2*c - 19 = 0. Let n be 195/a + 4 + (-8)/4. Which is smaller: n or 23?
23
Let w = -14641/1860 - -157/20. Let k be (402/390 + (-42)/1365)/1. Which is bigger: k or w?
k
Let c(w) = -4*w**3 + 2*w + 1. Let z be c(-1). Suppose -z*m - 4 = -m. Let i be m/(-8) - 588/2224. Which is smaller: -1 or i?
-1
Let b be -6 - (4*1 + ((-12814)/(-14) - 0)). Is b smaller than -925?
True
Let d = 6404 + -70472/11. Is d less than -3?
False
Suppose -36*x + 2*l = -32*x - 3420, 5*x - 4260 = 5*l. Do 9424/11 and x have different values?
True
Let y = 289 + -289. Let i(k) = -k**2 + 11*k - 4. Let t be i(9). Suppose 3*f = t*f - 319. Do f and y have different values?
True
Let t(m) = -m**3 + 11*m**2 + 15*m + 31. Let k be t(13). Let y be -126 - 3*(-20)/15. Let n be 5 + y + 1 - -4. Is n greater than or equal to k?
True
Suppose 2 = -2*b - h - 10, 24 = -4*b + 3*h. Let p(d) = 4*d**2 - 3*d - 2. Let q be p(-2). Let y be ((-70)/q)/((-1)/(-2)). Is y greater than or equal to b?
False
Suppose -21*o = 12*o + 11715. Which is greater: -351 or o?
-351
Suppose 0 = 12*n - 15*n, 2*d - n - 6 = 0. Suppose -d*s - 24 - 70 = -r, -4*r - 152 = 4*s. Which is smaller: s or -35?
-35
Let g = -113 - -61. Let x be g/(-110) - 2*8/(-20). Is 0 >= x?
False
Let x = -8.9784 + -0.0216. Let s(v) = -v**2 + 7*v + 16. Let h be s(11). Let u = -28 - h. Is x at least as big as u?
False
Let x = -102 - -53. Let z = x - -87. Let k be (-149 - -165) + 1*-17. Is z at least k?
True
Let w be (981/27 + -1)/(2/(-111)). Which is bigger: w or -1960?
-1960
Let g = -24354 - -140255/6. Let t = -984 - g. Is -7 smaller than t?
True
Let c = 97 - 92. Let h(a) = -a**3 - 7*a**2 + 9*a + 12. Let w be h(-8). Suppose -2*z - c = w*f + 3, f = -2*z - 23. Which is smaller: z or -68/5?
z
Suppose -i + f - 19 = 44, 2*f = 6. Let d = i - -81. Is 19 >= d?
False
Let h(m) = m**3 + 8*m**2 + 14*m + 6. Let r be h(-5). Suppose -7*s + 4 = -r*s. Let i = -183/460 - -8/23. Which is smaller: s or i?
s
Suppose 3*p + 5*k = 7*p + 159, -3*k + 123 = -3*p. Suppose -8*u + 9*u = 48. Let a = p + u. Which is smaller: a or -4?
-4
Let o = -13 + 272. Let n be o/4 + -1 - 3/(-12). Let d be (-3)/((-4)/(n/492)). Which is bigger: 0 or d?
d
Let k(v) = -7*v + 0*v + 4 + v**2 + 0*v**2 + 5. Let b(c) = 11*c + 432. Let i be b(-39). Let z be k(i). Which is smaller: z or -4?
-4
Suppose -1281 = -8*n + 1191. Let b = n + -326. Let r = 0 - 18. Is b less than r?
False
Let h(c) = 43*c - 68*c + 24*c**2 + c**3 + 0*c**3 + 45 - 2*c**3. Let k be h(23). Are -0.49 and k equal?
False
Let r be (-15)/6 + -13 + 15. Let i = 68.7 + -72. Let s = 5.7 + i. Is s != r?
True
Let v be (11 - 5 - 9) + -4 + 5. Is v bigger than 129?
False
Let p(l) = l**2 + 7*l + 7. Let o be p(-13). Suppose 0 = t - 2*d - 25, t - 5*t + 5*d + o = 0. Let h = -4 - -4. Is t equal to h?
False
Suppose -21*s + 5*v + 1060 = -26*s, 20 = 4*v. Let l(r) = -8*r**2 - 69*r - 7. Let t be l(-11). Is s bigger than t?
False
Let d be (-12)/20*36250/(-525). Are d and -1/4 non-equal?
True
Let h = -134 - -122. Which is bigger: -182/15 or h?
h
Let k = 223 + -151. Suppose k = 5*q - 208. Which is smaller: 1 or q?
1
Let w(y) = -y**2 + 152*y - 5292. Let s be w(98). Which is smaller: -3/13396 or s?
-3/13396
Let s(c) = -c**2 - 10*c. Suppose -n + 3*q - 24 = 0, -3*q + 9 + 6 = 0. Let j be s(n). Suppose 0 = -12*g + j*g - 51. Are -17 and g non-equal?
False
Let z be (-216)/60 - 17720/(-4925). Which is smaller: z or -1?
-1
Let t = 464715/163 - 2851. Which is greater: -4/5 or t?
t
Suppose -280*b = 255*b - 151405. Is b at most 1.1?
False
Let a(i) = -i**3 + 23*i**2 + 65*i - 22. Let r be a(25). Which is smaller: 354 or r?
r
Let z = 68 - 65. Suppose -5*c = -3*d + 6*d - 9845, 0 = z*d - 3*c - 9837. Let p be 3/7 - d/(-56). Is 58 smaller than p?
True
Suppose -j + 39 = 4*j + 4*b, 5*j - b = 34. Suppose 3*y = -p + 10, -3*p + 10 = -0*y - y. Suppose o = y*z + 6*o - 35, -9 = -3*o. Are z and j unequal?
True
Let c be (-2 + 2 + 2)*231/6. Suppose -71*m + c*m = -198. Which is smaller: -31 or m?
m
Let u = -45 + 278.6. Which is greater: u or 0.2?
u
Suppose -2*v - 338 = 2*i, 0 = 4*v + 7 + 9. Let a be 2618/i + (-7)/((-210)/(-4)). Is a less than -13?
True
Let i = 7.354 - 197.074. Let f = 190 + i. Which is bigger: f or -5?
f
Suppose 7*o - 11*o + 3474 = x, 0 = -5*o + 10. Which is bigger: 3465 or x?
x
Let c = 58207/876 + -33/292. Are c and 67 non-equal?
True
Suppose -15 = -j + 3*i, 2*i + i + 15 = 3*j. Suppose 4*p + 369 = -y, j*p + 5*y + 207 = -2*p. Let m = p + 92. Which is smaller: m or 5/14?
5/14
Let u(h) = -11*h + 18. Suppose 9 + 17 = 13*y. Let q be u(y). Which is smaller: q or -13/5?
q
Let f be (24/(-18) - -4)*3/2. Let w be f/2*12/(-72). Let z = -3904/21 - -562/3. Which is smaller: z or w?
w
Suppose 32*g - 3 - 15 - 11 = 3. Let q = -17927/21560550 + -2/20075. Are q and g nonequal?
True
Let f(z) = -z**3 + 3*z**2 - z + 13. Let i be f(-9). Suppose 5*m + 4*b - i = 0, -m - b = 2*b - 201. Suppose 2*y = -4*x + 178, -2*y + m = 4*x - 4*y. Is x > 47?
False
Let f = 4154 + -4664. Is f at most -513?
False
Let u be 68*-2*2/(-16). Suppose 0 = -65*g + 83*g - 36. Which is smaller: u or g?
g
Let d = -247 + 247. Suppose d = 7*b - 6*b - 102. Which is greater: 1 or b?
b
Suppose 0 = v - 5*u - 66, -v + 0 + 54 = -u. Suppose -4 = v*d - 53*d. Suppose d*n = f - 137, 54 = 2*n + 4*f + 186. Is n at least as big as -67?
False
Let o = -11 + 18. Let t = 143.794 + -142.1. Let b = t + 0.306. Which is smaller: b or o?
b
Let x be (-4)/(24/9)*(-252)/27. Let s be (x - 5 - 5) + -2 + -14. Let r = -15 - -2. Is s equal to r?
False
Let v = 64/57 + -176/969. Suppose -4*j = 9*j. Is v less than or equal to j?
False
Let x be 9683122/(-569584) - (-17)/1. Does x = -1?
False
Suppose -86*d + 37601 + 28189 = 4*d. Which is greater: d or 724?
d
Let s be ((-18)/(-3))/((-3)/18*(-9)/(-1)). Suppose 0 = 8*r - 5*r. Which is greater: s or r?
r
Let w(p) = -2*p**3 - 7*p**2 + 13*p + 49. Let s be w(-3). Is s equal to 1/312?
False
Let o = -28420 - -28418. Let n = 1030 - 16489/16. Is o greater than or equal to n?
False
Let f = -122158/5 - -24302. Which is greater: -129 or f?
-129
Suppose -2059 = 18*u + 1955. Let p = 224 + u. Which is smaller: p or 1/35?
1/35
Let u = 110 + -75. Let k = -49 + u. Which is smaller: -12 or k?
k
Let w be 6 - (-12)/6 - -278. Which is smaller: w or 288?
w
Let a be (-245)/(-441) + (-68276)/123156. Is a smaller than -1?
False
Let t = -12 + 0. Let a = -12 - t. Let m = 16/87 + -1045/4263. Is m at most a?
True
Let x = 1860 + -1865. Which is smaller: x or 4/239?
x
Suppose 0 = 4*p - 3*w + 2052, 2*p - 8*w + 1026 = -10*w. Let k = p + 681. Which is smaller: k or -2?
-2
Let r be (12/(-18))/1 - (-13383)/19532. Let s = r + -1/1028. Suppose -d + 2 = d. Which is smaller: d or s?
s
Let i = 743377410/97529 - 129576/17. Which is greater: -1 or i?
i
Suppose 0 = -5*i + 18 + 52. Suppose 172 = 2*s + i. Let v = 230057 + -229978. Is s at most v?
True
Suppose 0 = -2*o - 10, -4*k + 4*o = -2*k - 40. Suppose -414 = -3*l + j, -5*l - 5*j + k*j = -700. Let r = l - 73. Do 66 and r have the same value?
False
Let n be (0 - 4) + -8 + 17. Suppose n*l = -2*l. Suppose -2*d + 2*g + l*g = -26, -d + 2*g = -18. Is 10 <= d?
False
Suppose -25*c - 1499 - 751 = 0. Let w be (-646)/4 - 135/c. Which is smaller: w or -159?
w
Let u be (-2)/2 - (-28)/10. Let t = 1118.3 + -1077. Let w = t + -41. Which is greater: u or w?
u
Let r = -0.06 - -0.22. Let d = r - -0.14. Let i = 0.191 + -0.231. Which is bigger: d or i?
d
Let k be 20/(-270)*-9 + 813 + (-2)/3. Which is smaller: k or 803?
803
Suppose 388 = 3*u + 361. Suppose 6*z = 3 - u. Is z at mos