 4*i. Suppose -2*w = -0*w - p. Let j be (-10 - (9 + -14)) + 21. Is j > w?
False
Let x = -50 + 352/7. Let i(m) = -15 - 5*m + 654*m**2 - 2*m - 16 + 3*m - 657*m**2. Let u be i(0). Which is smaller: u or x?
u
Let f(u) = -3*u**2 + 66*u - 86. Let p be f(21). Which is smaller: p or -21?
p
Let u = 17920 + -35835/2. Which is smaller: u or 31?
u
Let y = -23 + -389. Let a be (-4)/10 + y/(-5). Let q = -431 - -513. Is q <= a?
True
Let f = -282 - -555. Let d = f - 272. Which is smaller: -0.07 or d?
-0.07
Let r = 297 - 291.38. Let a = -2.22 + r. Is a at most as big as -2?
False
Let r = -7.9 + -34.1. Let f = -30 - r. Let z = f + -13. Which is bigger: -3 or z?
z
Let a(s) = 3*s + 43. Let h be a(-14). Let f be 2 + h + (-78)/30. Do 46/5 and f have the same value?
False
Let f = -11618 - -11618.08453. Is f not equal to 0.1?
True
Suppose 5*b = 9*b. Suppose -5*l - 20 = -5*s, -3*s + 4*l + 17 = -b*s. Let a be s/(-3)*(-4 + 7). Is 4/59 less than a?
True
Let j = -475 + 509. Which is bigger: 21 or j?
j
Let k(y) = y**2 - 39*y + 373. Let q be k(15). Which is smaller: q or 1.79?
1.79
Let t be (-2)/(-3) + 2/6. Let g be -13 + ((-285)/(-10) - 16) - (-164)/296. Which is greater: t or g?
t
Let k = 6478 - 6477. Which is smaller: k or -1/7010?
-1/7010
Let d(y) = 884*y - 885. Let r be d(1). Is r not equal to -12/1315?
True
Let r(j) = -27*j - 7. Let d be r(-2). Let x = 19 - d. Let h be 2/(-7) + (244/x - 5). Which is smaller: -13 or h?
h
Let x = -1780 - -1777. Do x and 57 have different values?
True
Let i = 45/58 + -1615/1334. Let d = -1 + 5. Suppose -d*w + 3 = -5*y, -5*y + w + 3 + 0 = 0. Is i >= y?
False
Suppose 89280 = -45*h + 33*h + 48*h. Is h smaller than 2480?
False
Let m = -61.1825 + -0.0175. Let v = -212 + 273. Let y = v + m. Is -2 equal to y?
False
Let p = -4559 + 4557. Which is greater: p or 11/83?
11/83
Suppose -22*c + 973 + 765 = 0. Which is smaller: c or 78?
78
Let z = 3475 + -3441. Is z equal to 1/27?
False
Let b = 2749 + -2748.99. Which is smaller: b or -74/9?
-74/9
Let w be (-446)/90 + 17 + -12. Suppose -5*v = -2*k - 18, -2*v = v + 5*k + 14. Suppose 3 = -v*r - d, 2*d = 4*r + d - 3. Which is smaller: r or w?
r
Suppose 0 = -75*p + 387*p + 6240. Let y = -26 - -2. Is p != y?
True
Let q(v) be the first derivative of -3*v**4/4 - 14*v**3/3 + 7*v**2/2 - 7*v + 44. Let c be q(-5). Is -31/2 not equal to c?
True
Let y = -0.04908 - -0.04908. Is y bigger than -1853?
True
Let t be -10 - (1144/39 + 4) - 1/(-3). Is -489/11 smaller than t?
True
Let h = -2181 + 2649. Which is bigger: h or -2?
h
Suppose -z + 2 + 14 = 4*k, 5*z - 98 = -2*k. Let j be z*(((-2)/(-5))/(-1) + 0). Let b be ((-4)/(-18) - 1)*j/(-28). Which is smaller: 0.07 or b?
b
Let z = 4 + -4.6. Let w = -908935.009 + 908935. Which is smaller: w or z?
z
Let c = -4611 + 7566. Does 0 = c?
False
Let l = -17 - -13.93. Let b = 5.07 + l. Which is smaller: b or 0.5?
0.5
Let p be 2/(-14) + (-4370)/(-161). Let t be (0*(p/6 - 5))/1. Which is greater: 280 or t?
280
Let q = -1098 + 1077. Suppose 1 = 5*u + 41. Let a(b) = -b**3 - 7*b**2 + 12*b + 10. Let t be a(u). Is q not equal to t?
True
Let p = 3445/8284 + -33/76. Let k be (-3)/(-2 - 1) - 1. Suppose -2 = 2*o - k. Is p > o?
True
Let i = -67 - -72. Suppose 4*u + g + i = 0, -3*u + 4*g = -31 + 11. Which is smaller: -2/295 or u?
-2/295
Let y(g) = -24*g**2 + 46*g - 127. Let u be y(3). Which is smaller: -231 or u?
-231
Let q be ((-8)/10)/((-78)/(-30)*-2). Let z(l) = -2*l + 14. Let x be z(6). Suppose -x*g + 3 = 1. Are q and g nonequal?
True
Let k = -6634 - -7120. Which is bigger: k or 456?
k
Let a(n) = -n**2 - n - 4. Let i be a(-3). Let p be ((-4)/i)/(-1) + (-12)/(-30). Let b be -1 - (0 + 0)*(p - 1). Are b and 2/13 equal?
False
Let k be (240/45)/((-24)/(-12618)). Is 2802 greater than k?
False
Let i be 5 + 32 - ((-42)/3 - -7 - -3). Which is smaller: i or 61?
i
Suppose -6*p + b - 2 = -2*p, -7*p + b + 1 = 0. Which is smaller: p or -2/83?
-2/83
Let x = -7454497669/16881 - -441591. Is x at least as big as 1?
False
Let r be (-300)/(-90)*(-2)/15. Is -8/17 equal to r?
False
Let z = 9 - 1. Let t = 132 - 76. Let w = -55 + t. Do w and z have different values?
True
Suppose -77*a + 337*a - 282 = 498. Which is greater: a or 79/31?
a
Let j = 4463117/122556 - 3/10213. Which is smaller: j or 36?
36
Let l be -3*(-2)/4*2. Let s be (-18)/l + (-1)/(-2). Suppose -9375*m + 9361*m - 84 = 0. Which is greater: s or m?
s
Suppose -3*y = -5*f - 2*y + 54, -5*y = -5. Let z(v) = 2*v - 17. Let m be z(f). Let s be 2/((-190)/435) + m. Which is smaller: s or 0?
0
Let c = -584 + 829. Suppose -c + 233 = 3*x. Is -18/5 <= x?
False
Suppose -5*g - 5*o = -195, -2*g + 0*g = -4*o - 102. Let d = -89 - -99. Let p(s) = s**2 - 4*s - 17. Let w be p(d). Does g = w?
True
Suppose 14*d = 5*d + 72. Suppose -2*f = j - 2, 0*f - 5*f = j - d. Let m be -1 + (-4 + 52/24)*j. Is 0.4 at most m?
True
Let n(b) = b**2 - 4*b - 1. Let u be n(5). Suppose d = 4*l - u*d - 30, 4*d = 4*l - 28. Which is smaller: 4 or l?
4
Suppose -2*i = -3*j - 3, -5*i + 2*j = -0*i - 2. Suppose 4*o - 484 = 26*o. Let n be (1 - (-19)/(-15)) + o/55. Is n <= i?
True
Let x = -46 - -531. Let d = x - 568. Which is smaller: d or -82?
d
Let m = -4.6 + 5.61. Let b = -0.91 + m. Which is smaller: b or 7.8?
b
Suppose -69*h = 1456 + 1649. Is -34 >= h?
True
Let h = 33.071 + -33. Let f = 3.9545 + -0.0255. Let w = f + h. Which is smaller: 0.08 or w?
0.08
Suppose -67 = -6*u - 7. Suppose 21 = z + 2*t - 7*t, -3*t - u = 2*z. Is z greater than -1/110?
True
Let j be -6 - (-671)/110 - (-111)/(-150). Let l be 4*(-3)/((-1350)/(-403)). Let m = l + j. Do m and -5 have different values?
True
Let z = -9 - -10. Let b be 504/16*(1 + z). Let u be ((-24)/7)/((-9)/b). Is u >= 25?
False
Let h = -40629 + 45428. Is h < 3?
False
Let q(f) = 37*f**2 + 95*f + 36. Let o be q(-2). Is -116 > o?
False
Suppose -264*j = -281*j. Suppose -a + 693 = 16. Let b = a + -12868/19. Are j and b nonequal?
True
Let b(g) = -4*g**3 - 6*g**2 - 9*g - 8. Let t be b(-4). Let a = t + -180. Let u = 7 - -4. Which is smaller: u or a?
a
Let b = -23.5 - -12.7. Let f = b - -14.8. Which is bigger: f or 0.04?
f
Let p be ((-2)/182*13)/(4/14). Which is bigger: 34.93 or p?
34.93
Suppose -4*f - 185 = 3*h + 55, -4*f + 432 = -5*h. Let n = -52 + h. Which is smaller: -138 or n?
-138
Let k = 1430 - 1429. Let v be (-22)/100*95/114. Which is smaller: k or v?
v
Let u = 7115 - 6097. Which is smaller: u or 1020?
u
Let d = 6245 - 7276. Which is bigger: d or -1026?
-1026
Let s = 4 - 4.1. Let i be 3 + 1 - 7/(-7). Suppose x = -0*x + 2*b - 8, 15 = i*b. Are s and x non-equal?
True
Let r(v) = -12*v + 12534 + 13*v**2 - v**3 - 12534. Let y be r(12). Let s be 334/(-966) - (-2)/6. Which is bigger: s or y?
y
Let m be 1*(2 - (-3 + 5)). Let k(r) = -7*r + 15. Let y be k(1). Let o be y/44 - (-228)/924. Which is smaller: m or o?
m
Let g = 138 - 138. Suppose -5*u - v + 0*v - 453 = 0, u + 2*v + 96 = g. Which is bigger: -91 or u?
u
Let x = -168240622281625/2961 - -511390066880/9. Let r = x + -15862494/7. Let j = 267/7 + r. Is 0 greater than j?
True
Let j = 102.63 + -112.43. Which is greater: j or -1/7?
-1/7
Suppose n + 4*h + 246 = 0, -2*n + 2*h - 481 = -h. Let i be (2 + -5)/(-1) - (-720)/n. Which is smaller: 1 or i?
i
Suppose 44*n + 44*n - 95473 = 111*n. Is -4151 smaller than n?
False
Let b = 17702684214 - 9470933105572/535. Let w = b - 5512. Is -1 less than or equal to w?
True
Let k be ((98 - 181)/(-415))/((-1)/((-110)/14)). Let y be 3/(-2)*-2*1. Which is greater: k or y?
y
Let y = 6.23 + -8.85. Let w = 3.1 + y. Do w and 2 have different values?
True
Let q(g) = 2*g**2 - 76*g - 85. Let h be q(39). Let n = 37 - -19. Let m = h + n. Is -1 at least m?
False
Let b = 1019 - 589. Let v = 433 - b. Are 50/19 and v unequal?
True
Let o(b) = 4*b**2 + 2*b - 2. Let a(u) = u. Let k(s) = -2*a(s) - o(s). Let j be k(-4). Which is greater: -8 or j?
-8
Let b be (-5)/10 - 1/(48/213). Let i = 11/16 - b. Is 7 >= i?
True
Let z = -173 + 262. Which is bigger: -21 or z?
z
Let i(a) = 12*a + 422. Let w be i(-17). Let m = -180 + w. Which is smaller: 41 or m?
m
Suppose 2*r + 315 - 439 = 0. Suppose 58*z + 3 = r*z + j, -5*j + 15 = 4*z. Which is smaller: -453 or z?
-453
Suppose 6*z = -31*z + 78*z + 48*z. Do z and 3/3095 have different values?
True
Suppose 2*j + 22 = 28. Let g be (j/(-9))/(3 - 3/18). Suppose 5*o = m + 4*m, -4*o