/2445?
True
Let h(o) = 109 - 208 + 102 - o**2 - 3*o + 8*o**3. Let p be h(1). Are p and 0 unequal?
True
Let x be ((-591)/394)/((-42)/(-16)). Which is bigger: x or 36.3?
36.3
Let s(u) = -3*u - 5. Let p be -2 - 2 - (-10 + 9). Let l be s(p). Let f be 1*14*(-3)/(-6). Which is greater: l or f?
f
Suppose 1 = -2*o + 11, 3300 = -5*q - 4*o. Let i = q + 1335/2. Which is smaller: i or -0.3?
-0.3
Let z be (-4 + 1)*(-1)/(18/12). Which is greater: z or 33/10?
33/10
Let z = -742 - -351. Let w = z - -465. Which is greater: w or 73?
w
Let v = 1638 - 1672. Which is greater: v or -33?
-33
Let j be 0 + (-1537)/3 - 14/21. Let h = j - -260. Is -254 greater than or equal to h?
False
Suppose 19*y - 13*y - 18 = 0. Suppose y*q = 33 - 27. Is -2 > q?
False
Let d be (-36)/14*((-11033)/(-5511) + -2). Which is smaller: -1 or d?
-1
Suppose 55*r - 357 + 4757 = 0. Which is greater: r or -402/5?
r
Let n(m) = 4*m - 73. Let a be n(19). Suppose -2*i - 2*v = 52, a*v = 3*i + i + 139. Is i less than -30?
True
Let m be (-6)/(-15) + (-8)/(-5). Suppose 0*q - 68 = m*q. Let y(j) = -j**2 - 5*j + 15. Let v be y(-10). Is v <= q?
True
Let m be ((12/4590)/((-2)/(-12)))/(4598/55). Is 0 != m?
True
Let k(q) = 6*q**2 + 86*q - 654. Let j be k(-42). Which is smaller: j or 6319?
j
Let x be ((-13)/((-364)/(-1239)))/(18/(-48)). Suppose -r + u + 69 = -56, -470 = -4*r - 2*u. Which is smaller: r or x?
x
Let f = -21863 + 19098. Do f and 3 have different values?
True
Let u = 0.2 - 8.2. Let l = -0.133 + 3.561. Let j = -0.428 + l. Which is smaller: u or j?
u
Suppose 4*a = 4*f - 29636, -6*f = -11*f - 20. Let n be a/(-105) + (-6)/(-15). Which is greater: n or 67?
n
Let y be -5 - (13 + 14 + -23). Which is bigger: y or 8?
8
Let l be (-1 - 1/(-5))/(102/1785). Let v be 3020/35 + 1 - (-4)/l. Is v at most as big as 85?
False
Let g = -3728 - 3364. Is 0.1 smaller than g?
False
Let c = 17489 + -17191. Is c bigger than 330?
False
Let s = -1057/6 - -62387/354. Let b = s + -425/7139. Which is smaller: 0 or b?
0
Let o = -14504 + 16296. Is o >= 23310/13?
False
Let o(s) = -s**3 + 8*s**2 - 4*s + 3. Let l be o(7). Let c(t) = t**3 - 10*t**2 + 19*t + 8. Let u be c(7). Let i be (-2)/228*l/u. Which is greater: i or 0?
i
Let c be (-7)/(84/(-8))*12/2. Let z(h) = h**3 - 6*h**2 + 7*h - 8. Let w be z(c). Is 3 bigger than w?
True
Let x(c) = -c + 11. Let k(p) = 1. Let n(r) = -3*k(r) + x(r). Let b be n(6). Let u = -462 - -466. Does b = u?
False
Suppose 1155 = -96*k + 75*k. Suppose 4*x = -3*b - 170, 0*b - 110 = 2*b + x. Which is bigger: b or k?
b
Suppose 5*d = 3*y + 2169, 4*d - 9*y + 8*y = 1731. Is d at most 6?
False
Let g = 0.9302 + -0.8302. Is -0.13542 >= g?
False
Let l = -52191 - -52194.4. Let s = 155/7 + -22. Is s less than l?
True
Let t = -66 + 66.332. Let w = t + -0.38. Let b = w - 0.952. Are -0.1 and b unequal?
True
Let q be (16/20)/((-156)/130)*(-3)/2. Which is greater: q or 76/91?
q
Suppose 2*p + 334 = -2*s, -27*p + 320*s = 318*s + 4161. Let u = 355 - 511. Which is smaller: p or u?
u
Suppose 0 = -3*f + 4*n - 12, f - 6 = -3*n + n. Suppose -3*m - 147 + 39 = f. Let h(a) = a**3 + 13*a**2 - 73*a - 434. Let k be h(-16). Which is greater: k or m?
k
Let j = 1456 - 1284. Are 2/7 and j equal?
False
Let b = 60.564 - -6.436. Is b less than -2/21?
False
Let v = 85 + -39. Let p = 46 - v. Suppose p = -w + 2, -5*w = 3*g + 31 - 11. Which is bigger: g or -9?
-9
Let y(z) = -615*z + 5149. Let h be y(14). Is 0 >= h?
True
Let k(w) = -w**3 + 23*w**2 - 49*w + 88. Let n be k(21). Suppose -220 = 6*z + 134. Do z and n have the same value?
True
Let o = -3.97 - -15.97. Is 49/5 >= o?
False
Let z be (5 - 10)*-75*(-1)/3. Is -117 <= z?
False
Let r = -5871 + 5869. Which is smaller: r or 39/4?
r
Suppose 5*s - 2495463 - 25761730 = b, -3*s + 5*b = -16954329. Let x = 8641048296/1529 - s. Let w = 1/139 - x. Are w and 0 equal?
False
Let u be 4946/18 - ((-8)/36 - 0). Let f = u + -387. Is f at least as big as -113?
True
Let k be 596/99 - (-8)/6*(-18)/4. Which is bigger: 42 or k?
42
Suppose -21*p - 18*p + 413 = 1271. Let s(w) = -w**3 + w**2 - 3*w + 1. Let m be s(3). Which is smaller: p or m?
m
Let w be (-9)/(-20)*615/(-4797)*1/(-58). Which is greater: w or 1?
1
Let w = 87 - 85. Let b(h) = -475*h + 3. Let t be b(3). Let u = t - -24184/17. Is w != u?
True
Let z be (196/(-72))/49 + 19/(-90). Which is bigger: 21 or z?
21
Let h = -858.257 + 859. Let i = -0.058 - -0.101. Let x = i - h. Is 2 equal to x?
False
Let x be (6 - -18) + (-1220)/50. Which is greater: x or 17.11?
17.11
Let l = -417.977 + -0.023. Let w = l - -417. Is w less than 230?
True
Let w = -464 + 46. Let z = -376 - w. Are z and 46 nonequal?
True
Suppose -24 = q - 4*j, -197*q + 195*q = 8*j - 48. Is 3/25286 less than q?
False
Suppose -3*z = 67 + 29. Suppose -12*l - 84 = -18*l. Let u = z + l. Is u less than or equal to -17?
True
Suppose 3*i - 4*l = -13, -l - 5 = 2*i - 0*i. Let f be (i + 261/107)*376/(-276). Let p = -18/23 + f. Is p >= 0?
False
Let a = -306.831 - -307. Let o = a - 7.069. Let c = o + 5.9. Which is bigger: c or 10?
10
Let h be 52192/21 - 5/15. Which is bigger: 2/3 or h?
h
Let g = 11 - 15. Let s be (-1 - g/2) + 124/4. Suppose -6 + s = d + 3*o, -46 = -3*d - o. Are d and 14 non-equal?
False
Let i = -2 + 3. Let y = 738 - 744. Let v be y + ((-5472)/100)/(-9). Is v >= i?
False
Let d = -476 + 412. Which is greater: d or -66?
d
Suppose 3*g - 6 = g. Let b be (g + -2)/(314/4). Suppose -4*q = -2*i - 3*i + 4, 0 = 5*i - q - 1. Which is bigger: b or i?
b
Let l be (-6912)/354 - 40/(-30). Let s = l + 109/6. Is 0 not equal to s?
True
Let v = 1506880/139 - 10841. Let t = v + -1781/2224. Is t equal to 0?
False
Suppose f + 10744 = 18*f. Suppose 94*m - f = 102*m. Which is smaller: m or -77?
m
Suppose k + 3*f = -2*k + 141, -2*f - 156 = -3*k. Suppose k*z - 49*z = -4. Suppose -24*h - 48 - 72 = 0. Which is greater: h or z?
z
Let v = -788 - -356. Let q = v - -432.1. Which is smaller: -1/8 or q?
-1/8
Let k be (6/4)/(11/(-66)). Let x be -2 + k/7 + 3. Let u = -86.93 - -87. Are u and x non-equal?
True
Suppose -3*i - 451 = 2*p, -291 = p - 5*i - 98. Let t = 216 + p. Is -35/12 <= t?
True
Let f = -5.6 - -6. Let h = -6627 - -26491/4. Which is bigger: f or h?
f
Let z = -7060/2739 - -8/249. Let p = z + 184/55. Let x be 0/(35*5/25). Is p at least as big as x?
True
Let d = 380 + -369. Let x be 6 - ((-1408)/(-24))/d. Which is greater: x or 101?
101
Suppose 4*k = 16 - 40. Let x be 136/(-264) - 2/k - 0. Which is smaller: 2/15 or x?
x
Suppose 6*c - 9 - 165 = 0. Let z = c + -15. Let h(t) = 2*t + 2. Let x be h(6). Is x less than z?
False
Let a = -388.2 + 351. Let g = -2.8 + a. Let b = g + 39. Is b equal to 0?
False
Let b = 17143 + -15608. Which is smaller: 1538 or b?
b
Let q = -0.19 - -0.19. Let p = -44 + 81. Suppose -3*k = -2*h + 15, -p = 5*k - k + 3*h. Which is greater: k or q?
q
Suppose -3*y = -n + 312, 7*n - 1283 = 3*n + 5*y. Which is bigger: 1305/4 or n?
n
Suppose 97*l - 69*l + 4144 = 0. Is -150 equal to l?
False
Let y = -75 + 78. Let l = 279 + -5861/21. Which is smaller: y or l?
l
Let b = -3 - -4. Suppose -2*g + 3*p = -1401, -5*g = 2*p + 2*p - 3514. Let y = g + -17554/25. Which is smaller: y or b?
y
Let b be ((-28)/10)/(-10 + 246135/24600). Is -511 greater than b?
False
Let u be 2/4*(-7 - (9 + -14)). Let l(i) = -2*i**3 + 3*i + 2. Let f be l(u). Which is smaller: -3/38 or f?
-3/38
Let n(g) = -g + 11. Let c be n(6). Let k(b) = -4*b + 46. Let h be k(-6). Suppose -8*d + h - 46 = 0. Is c greater than or equal to d?
True
Suppose 9*l + 2050 = -587. Let o = -130/139 - 123737/417. Let g = o - l. Is -4 at most g?
False
Let j(s) = 6*s**2 + 133*s + 560. Let m be j(-35). Do 3254 and m have different values?
True
Let q = -5752 - -3357. Which is greater: -0.1 or q?
-0.1
Let z = 783 - 532. Let p = -252 + z. Suppose -64 = -2*i + 12. Is p <= i?
True
Suppose 3*g - 4*f - 18 = -7*f, 2*g + 3*f - 11 = 0. Let v be g/(((-3)/(-21))/(-1)). Let t(w) = -3932*w + 7813. Let u be t(2). Is v >= u?
True
Let l(v) = 102*v**2 + 102*v - 2. Let p be l(-1). Suppose 4*w - 4*s - 532 = 0, 3*w = 3*s - 8*s + 391. Let k = w + -658/5. Which is greater: p or k?
k
Let f(h) = 2*h**2 - 2*h + 1. Let g = -53 - -58. Suppose 5*w + g*s - 1 = s, 3*s = -2*w - 1. Let j be f(w). Is j not equal to 10/9?
True
Let j = -119 + 126. Suppose 7*o - 11*o + j = 3*n, 4*o = -2*n + 6. Do n and -1/120 have differ