6*x**3 + 10*x - 6*x**2 + 25*x**3 + x**2. Let y be m(-6). Let a = y + 27. Are a and 9/4 equal?
False
Let u = -127 - -39. Suppose 151*s = 163*s + 1056. Is s > u?
False
Let q be (-21 - 1)/((-6)/(-19)). Suppose 75 = -4*c + 3*c + 5*z, 4*c = z - 281. Is q not equal to c?
True
Let u = 16040/19 + -844. Let w = 146 - 169. Let k = w - -24. Which is bigger: k or u?
k
Let c be 1/((-2)/4*-1). Suppose c*o + 4 = -2*o. Let q = 981 + -44143/45. Is o at least as big as q?
False
Let f = 112.8 + -82. Let x = -31 + f. Let p(a) = -a**2 - 8*a + 1. Let g be p(-8). Is x less than or equal to g?
True
Let m(g) = -3*g**2 + 10*g + 39. Let y(r) = -4*r**2 + 11*r + 40. Let n(o) = -3*m(o) + 2*y(o). Let c be n(-4). Are 11 and c non-equal?
False
Suppose -65*f + 88 = -66*f - 2*l, -5*f - 427 = -3*l. Is f > -19?
False
Let l = 2/36775 + -331777/14746775. Which is smaller: 0 or l?
l
Let p be -2 - 12/(-4 - -1). Let o be 16/4 + 4/p. Suppose 0*k - o = 2*k, 4*x - 8 = 4*k. Is 1/6 greater than x?
True
Let p be 0 - ((-32)/24)/((-2)/36). Let w be p*201/966 - (-2 + -3). Let s be (1/(-2))/((-2)/(-4)). Which is greater: s or w?
w
Let l = -15300 - -6692. Let b be -9 + l/24 - 4/(-6). Do -0.1 and b have different values?
True
Suppose 327*r - 332*r - 1945 = 0. Let j = -389 - r. Is j at most as big as -3/241?
False
Let w = -0.9471 + -0.0529. Let t = -14.88 - -13.5. Which is smaller: w or t?
t
Suppose 196*j - 202*j - 115*j = 2143152. Do -17712 and j have the same value?
True
Let d = -8062/5 + 1612. Which is greater: d or 499?
499
Let a = 1249 + -1230. Is a bigger than -3.8?
True
Let g = -0.19 + -1.41. Let m = -1.36 + -0.29. Let k = g - m. Which is smaller: -1 or k?
-1
Let n = -6786 - -4459. Let y = n - -207109/89. Is -1 at most y?
True
Suppose 4*a = 5*k - 501, 4*k + 215 + 3 = -2*a. Suppose 4212 = -44*w + 8*w. Which is smaller: w or a?
a
Let o be (-5)/(-1) + ((-12)/(-66) - 298/66). Which is smaller: o or 111?
o
Let p be ((-8)/(-2))/(2/(-38)). Let x = -26070/329 + 112/47. Is x not equal to p?
True
Let i be -15*((-8)/(-92) + (-632)/920). Is i less than or equal to 157/19?
False
Let y be (-63)/(-915)*12/6*(-60)/8. Which is smaller: -2 or y?
-2
Let i = 35229 - 35213. Is -11 greater than or equal to i?
False
Let n = -26824233/824695 - 3/43405. Which is bigger: n or -34?
n
Let h = 2865 - 37251/13. Which is smaller: -4.5 or h?
-4.5
Let f = 14586294/35959 + -16/35959. Is 407 at most as big as f?
False
Suppose -4*w + 9*w + 4*n + 728 = 0, 0 = -4*w + 3*n - 601. Do w and -145 have different values?
True
Suppose 507 = 3*u - 54. Let k = u + -165. Is k smaller than 23?
True
Let m(s) = -2*s + 19. Let u be m(-13). Let j = u + -43. Let a be (-3 + 4 - j)/13. Which is greater: a or -1?
a
Let k be (64 + -64)/(-2*(1 + -2)). Is k greater than or equal to 45/41?
False
Let y be (10/(-9))/(2/(-18)). Suppose -3*r - 3 = 3. Let l be 0 - (r - y/(-5)). Which is smaller: l or 1?
l
Let q(f) = 13*f**2 - 63*f - 11. Let c be q(5). Is c at least -2/16933?
False
Suppose 0 = 100*q - 107*q + 259. Suppose -16 = -r + 3*t, 23 = 5*r + 5*t - q. Is r at most 12?
False
Let n be (38/570 + 279/(-3210))/(2/(-8)). Is n smaller than -1?
False
Suppose -421*s + 424*s = 0. Let x(y) = -y + 15. Let r be x(11). Let j be r/(0 + (-2 - -88)). Is j < s?
False
Suppose -9590 = 12857*a - 12871*a. Which is greater: 684 or a?
a
Let t = 4.24 + -233.24. Let h = -227 - t. Which is greater: -28 or h?
h
Let i be 0/((0 - -1)/((-28)/56)). Which is greater: -5/1401 or i?
i
Suppose 4*x + 200 = 2*w, -3*x - 102 = -w + 47. Let h be 2/(-7) - (-1897)/x. Let d be (-2)/(14/2 - 5). Are h and d non-equal?
True
Let y = -4475 - -4479. Suppose u = 18 + 8. Suppose -4*c = 5*k + 7, y*k - u = 3*c + 18. Do -8 and c have the same value?
True
Let b(v) = 34*v + 68. Let y be b(-2). Let t(x) = x**3 - 2*x**2 - 4*x. Let p be t(y). Is -168 at most as big as p?
True
Let n = 98 + -89. Suppose n = g + 4, 4*o - 4*g + 32 = 0. Let f be 54/6 + (o - -1). Which is greater: f or 5?
f
Suppose -4*g = o - 29 - 20, -4*o + 5*g = -259. Is 121/2 != o?
True
Suppose -5*k = -42 + 22. Suppose 11 = d + k*b - 9*b, 3*b = -d + 3. Suppose -12 = d*x - 7*x + 4*t, 51 = 2*x + t. Which is smaller: x or -0.1?
-0.1
Let l = -7 - -16. Let z(w) = 222*w + 1336. Let a be z(-6). Suppose a = f - l. Is f > 41/3?
False
Let j = 501.9 - 501.8. Which is bigger: j or 1.68?
1.68
Suppose 16*j + 7*j = 6555. Let p = 272 - j. Are p and -12 equal?
False
Let o be (45/25)/(1/10). Let k = o - 17. Let m be 1*(0 - k)*0. Which is smaller: 1/2 or m?
m
Let f = -1 + 2. Let m be -4 + (35/(-14) - 4/(-8)). Let t be m/164*7/21*-6. Is f greater than t?
True
Let r be (-9)/((-45)/(-20)) + 6/2. Let k = 197/156 - 17/12. Is k less than r?
False
Let j = 2521.9 - 3797.2. Which is greater: -0.1 or j?
-0.1
Let l be 28/(-8)*(3 - 5). Let x be (-429)/l + 2/7. Which is smaller: -60 or x?
x
Let m = 195 - -315. Is 0.1 greater than m?
False
Let w = -4.7 - -2.7. Let j = 1.39 + -0.7. Let y = -0.39 + j. Is y <= w?
False
Let o(q) = -q**2 - 3. Let t be o(-3). Let p be (-26 - -33) + 90/(-6). Do t and p have the same value?
False
Suppose -27 = 4*q + 29. Let b be -2 - (5 + 6) - (62 - 64). Which is smaller: b or q?
q
Let w = -15770 + 315211/20. Is w >= -9?
False
Let g = 0.1 - 0.2. Let x(y) = 38. Let r(h) = -2*h + 1. Let b(t) = -r(t) + x(t). Let p be b(-14). Are g and p unequal?
True
Let v = 19206 - 19930. Which is smaller: -723 or v?
v
Let k = 1255 + -1032. Is k >= 224?
False
Let z be (2/7)/((-23)/(-61019)). Which is smaller: 750 or z?
750
Let c be (-47)/705 + (-133798)/30. Is 2 greater than or equal to c?
True
Suppose 0 = 2*k - 3*k + 36. Let q be 1642/38 + 196/(-931). Which is bigger: q or k?
q
Let g be (9/15)/(21/(-14)). Which is smaller: g or -1963?
-1963
Let p = -30 - -34. Let b be -2 + 27 - -4*1. Let c = b - 22. Which is bigger: c or p?
c
Let d(p) = -26*p**3 + p**2 + 3*p - 3. Let v be d(2). Let a = -127 - v. Let j = 105 - a. Which is smaller: 32 or j?
j
Suppose 3 = 5*x - 5*j - 7, -2*x = j + 5. Suppose -6*y + 13 = -11. Suppose 4*u + 16 = 0, 2*k + y*u = -k - 22. Which is bigger: k or x?
x
Suppose 4372 - 4356 = 16*q. Which is smaller: q or 2.693?
q
Let x = -21764 + 21763.49. Which is smaller: x or 39?
x
Let v = -0.52909 + 0.02909. Is -1248 smaller than v?
True
Let f = -1023.2 - -1022.8. Is f < 4?
True
Let o = -5041/99 - -543/11. Is o less than 382?
True
Let z = -515.6 - -515.7. Is z equal to 4303?
False
Suppose -2550*r + 19182 = -5188*r + 2569*r. Let a = 546 + -824. Is a at least as big as r?
True
Suppose c + 1 = 5. Suppose c*o + 0*l = l - 55, 3*o + 25 = 4*l. Let d be -3 + 10/(o/(-3)). Which is bigger: d or 1/3?
1/3
Let m be (-6 + 3)/3 - (-2)/8. Suppose 3*l + f - 42 = 0, 5*l + 6*f = 10*f + 87. Do m and l have the same value?
False
Let k = 1.7777 + -1.7207. Is k greater than -114?
True
Let f = 6000 - 5987. Is 32/45 greater than f?
False
Let m be (1/(-3))/(-30 - (-655851)/21861). Are m and -5 nonequal?
True
Let h be 54/(-6) + 171 - (-18)/3. Let z be (-7272)/h - (-4)/14. Are 1 and z nonequal?
True
Let p = 21 + -15. Let u(y) be the second derivative of y**3/3 + 3*y**2 + 24*y. Let m be u(1). Is m < p?
False
Let h(j) = -j**2 - 16*j - 2. Let d be h(-13). Let a = d + -1070/29. Suppose 5*c - 21 + 16 = 0. Is a smaller than c?
True
Let s = 1888/405 - 356/81. Is -113 smaller than s?
True
Let q be 5 + 10/(-2) + 2*(-65)/104. Is 1607 equal to q?
False
Let b = 194305/4 - 48577. Is 0.9424 at most as big as b?
False
Let f(i) = 8*i + 10. Let p be f(-7). Let l = p - -66. Suppose -14*t + 176 - 30 = -148. Which is smaller: l or t?
l
Let i(r) = r**3 + 10*r**2 + 57*r + 161. Let n be i(-5). Do 2298/17 and n have the same value?
False
Suppose 0 = -2237*q + 2078*q - 3980724. Are -25036 and q nonequal?
False
Let b be ((-24)/60)/(3/(-105)). Let p = -0.39 - -0.35. Which is greater: b or p?
b
Let w = -5673 - -5797. Which is greater: 19 or w?
w
Suppose 5*o = 2*q - 154, 0 = -3*q - 0*o + o + 205. Let u = -61 + q. Suppose -t = -4*g + 14 - u, 0 = -4*g + 4. Is t bigger than -7?
True
Let i = -107/20 - -23393/4380. Let c(w) = w**3 - 9*w**2 + 8*w. Let b be c(8). Which is smaller: i or b?
i
Let a = -210 + 212. Suppose -a*y = 4, -5*r + 0*r = 3*y - 9. Which is bigger: 12 or r?
12
Suppose 235*f = 126*f + 123*f + 1974. Which is greater: f or -63?
-63
Suppose -100*c + 33452 = 27*c - 4902. Are 331 and c equal?
False
Let z = -14