821?
False
Let v = -5108 - -97022/19. Is v at most as big as -0.1?
True
Suppose -2*d - 1 + 155 = 0. Suppose 0 = -72*y + d*y + 460. Are -93 and y non-equal?
True
Suppose -4*u - 8245801 = -2124049. Let z = u - -338226104/221. Let s = 56/17 + z. Which is greater: s or 2?
2
Suppose k + 2*u - 9 = 0, -4*u - 6 = -2*k - 2*u. Let n be ((-13)/(-7) - 1)/(k/(-385)). Let a be 3 + (-1)/1 + -67. Which is smaller: n or a?
n
Let q(v) = v**3 + 12*v**2 - 13*v - 1. Suppose -2*h + 2*w - 57 = 3*h, 4*h + w + 56 = 0. Let o be q(h). Let j be o*1 - (-39 - -12). Is 27 != j?
True
Let w(s) = 13*s - 53. Let a be w(7). Let m = 59 + -52. Let k be (a/(-57))/(m/3). Is k smaller than 0.66?
True
Let z = 0.394 - 0.064. Let h = -190 + 191.33. Let b = z - h. Are b and -5 unequal?
True
Let l be 4/(-410)*(52 + -7). Suppose 5*h + 10 = 0, -3*c - 2*h - 15 + 8 = 0. Which is bigger: l or c?
l
Let i = -19 + 10. Let o(d) = -12*d**2 - 82*d - 11. Let f be o(-7). Let c be -3 + f/i - 116/(-441). Is c greater than 1?
False
Let a(f) = -9*f**2 + 55*f - 56. Let r be a(9). Are r and 3 unequal?
True
Let o(w) = -w**3 + 18*w**2 - 27*w - 17. Let k be o(10). Suppose -s = 2*l - 257, 12*l - 16*l - s = -k. Which is bigger: 127 or l?
l
Let g(h) = -3*h - 19. Let f be g(-8). Suppose 0*x + 25 = f*x. Let d = x + -5. Which is bigger: d or 2/139?
2/139
Let s = 431598/886369 - -25/4241. Let v = s + 1/19. Is 0 at most as big as v?
True
Let m be ((-65)/21)/((-4)/12) - (-2277)/(-253). Which is bigger: m or -53.69?
m
Let y(d) = -18*d**2 - 181*d + 934. Let h(c) = -9*c**2 - 90*c + 467. Let m(o) = 5*h(o) - 2*y(o). Let w be m(5). Which is bigger: w or -196?
-196
Let k = 165.698 - 166. Let o = 0.302 + k. Suppose -1 - 12 = -2*w + 3*n, -w + 5 = -3*n. Which is smaller: o or w?
o
Let g = -0.092 - -0.029. Let n = -1.199 - -1.2. Let k = n - g. Is -2/3 greater than or equal to k?
False
Let i = -0.9 - -1.9. Let h be 316/(-46) + -9*(-343)/441. Is i less than or equal to h?
False
Let o(g) = -14*g - 73. Let w be o(-5). Let b(y) = y**3 + 5*y**2 + 4*y - 5. Let r be b(w). Is -1/250 less than or equal to r?
True
Let m be (-640)/318 + 55 + -53. Let u(a) = a**2 + a - 1. Let f be u(0). Do f and m have the same value?
False
Let n = 1736/11 + -5219/33. Are n and 26/137 non-equal?
True
Let r = -7.148 + 7.2. Let d = r - 0.095. Let w = 0.043 + d. Are w and 2/81 nonequal?
True
Let p(q) = -8*q**2 + 4*q - 9. Let o(k) = -9*k**2 + 5*k - 10. Let a(c) = -4*o(c) + 5*p(c). Let s be a(3). Are s and -41 nonequal?
False
Let c be -402*(3 + 342/(-99)). Is 183 less than or equal to c?
False
Suppose -2*r = 10065 - 10063. Is -11/136 >= r?
True
Suppose 66 = -0*c + 3*c. Let f = 32 - c. Let q(r) = 3*r**2 - 429*r - 6584. Let y be q(-14). Is f greater than y?
False
Let y be 1 + (-574)/138 - -3. Let r = 1381/7797 + y. Suppose -15 = -30*n + 27*n + 5*f, 0 = -n - 2*f - 6. Is r greater than n?
True
Let w(t) = -900*t**3 - 19*t - 9*t**2 + 901*t**3 + 0*t**2. Let l be w(10). Which is smaller: -92 or l?
-92
Let s = -279 + 377. Let b be (-4 + 8)*s/8. Which is greater: b or 47?
b
Let d(a) = -5*a - 29. Let s be d(-5). Let v be s*(-1)/(-1) - (-2212)/554. Which is smaller: v or 0?
v
Let g be (-435)/87 + (10 - (-2)/(-2)). Suppose 5*r + 2*f + 118 = 0, 5*r - g*f + 136 - 12 = 0. Which is greater: -20 or r?
-20
Let h be -1 - 0 - (1302/(-7) + 0). Let i = h + -183. Are 1 and i nonequal?
True
Let v be 1 + 2 + (0 - -143). Let u = 806 + -661. Is u less than or equal to v?
True
Suppose -27 = -336*z + 327*z. Suppose -5*m - 2075 = -z*i, 5*i - 10*i + 3495 = -m. Is i greater than 701?
False
Let i be (5/(-10))/((-1)/(-2)). Which is smaller: i or 2/5815?
i
Suppose 3*k - 6855 = -4*c, -c - 2*k = -1114 - 596. Does 1723 = c?
False
Suppose -2 = -3*j + 16. Suppose -25*l + 22*l + j = 0. Suppose -5*w + 3 = -l. Which is greater: -2/139 or w?
w
Suppose 0 = 20*l - 44 - 56. Suppose -6*d - x = -5*d + 59, 3*x + 291 = -l*d. Is d at most as big as -2?
True
Let r = 3.766 + -3.7942. Is r smaller than 0.1?
True
Let i(p) = 256*p**2 - 11*p + 7. Let f be i(2). Let m = 1010 - f. Let o be ((-3)/(-74))/(1/(-2)). Which is smaller: m or o?
o
Let g be (-10 - -12)*(3 + (-2)/4). Suppose u + g*j + 14 + 4 = 0, -2*j - 14 = -3*u. Which is bigger: 9 or u?
9
Let m = 2/1693 + 3368/15237. Are -0.098 and m non-equal?
True
Let z be (-342)/(-285) - (-40)/(-75). Let u = 142 - 32. Which is greater: u or z?
u
Suppose -5711 = 30*y + 55309. Does -2034 = y?
True
Let m = -3.1 - -3. Let p = -0.1 + m. Let o = -262661.94 - -262662. Which is smaller: p or o?
p
Let r = -0.005 - 0.795. Let c = r + -62.2. Let p = c + 62.8. Is -1/2 smaller than p?
True
Let i(s) be the first derivative of -s**3/3 + 31*s**2/2 + 191*s + 191. Let x be i(36). Is 14 at most as big as x?
False
Let l(f) = f + 1. Let d be l(-2). Let m = -39379004/1259 + 31278. Does m = d?
False
Let o(r) = 100*r - 901. Let g be o(9). Which is smaller: g or -3/23617?
g
Let n = 63534679/439 - 144726. Which is smaller: 0 or n?
n
Let u be (-97 + 8 + -1)*14/35. Is -15 less than u?
False
Let p = 1691/19530 + 1/434. Let v be -1*1 + 57/95. Is p < v?
False
Let h be ((-12)/1)/2 + 9 + -9. Let j be -3 - (-6 + 9) - h. Is j bigger than -18/17?
True
Let r = -75581209/4 + 23355262265/1236. Let x = -541 + r. Does -1 = x?
False
Let n be -90*(4 - 104/20). Let a = n + -107. Let t be a - (-4 + 175/(-30)). Is 11 less than t?
False
Let x(y) be the third derivative of -y**5/60 - y**4/2 + 76*y**2. Let o be x(0). Is o at most as big as 2/393?
True
Suppose 4*l - 10 = g, -2*g + 66 = l + 77. Is l >= -4/2299?
True
Let l(t) = 100*t + 1002. Let x be l(-10). Let z(b) = -b**3 - b**2 + b - 1. Let n be z(0). Let y be x/6*(1 + n). Is y less than or equal to 10/7?
True
Suppose 300*s = 298*s + 4606. Which is bigger: 2306 or s?
2306
Suppose 1957 = 3*z - 5*q - 3052, 2*q + 8323 = 5*z. Which is smaller: z or 1664?
z
Let f(v) = 10*v - 5*v - 1 - 1 - 3*v - 4. Suppose -2*y + 0*y + 12 = 0. Let p be f(y). Is p bigger than 1?
True
Let i be (-2)/5*5/(-8). Let n = -267 - -325. Let s = n - 62.6. Which is smaller: i or s?
s
Suppose 226*q - 212*q = -3369 - 649. Do -287 and q have the same value?
True
Let k = 99.2 + -10.2. Let b = -89.6 + k. Which is smaller: -1.4 or b?
-1.4
Suppose -5*a - 60 = -5*g, 0 = 2*g - 3*g - 3. Let n be a/(-25) - (-2 - (-114)/15). Let r = 2 + -2. Is r less than or equal to n?
False
Suppose -2*l - 2*l + 26 = 2*b, 24 = 3*b + 3*l. Let i(c) = -4209*c**3 + 4210*c**3 - 1 + 2*c**2 + 0 + c - 10*c. Let a be i(b). Which is smaller: a or 18?
a
Let a(y) = 6*y - 5. Let c be a(5). Suppose 5*d = -4*o + 28, -1018*d + 1014*d - o = -18. Suppose 2*t - c = -3*x, 3*t + d - 24 = -x. Is t greater than 5?
False
Let b(p) be the third derivative of 15*p**2 + 0*p + 0 + 1/4*p**4 - 17/3*p**3. Let o be b(6). Which is bigger: -12 or o?
o
Let y = 39 + -18. Let k = y + -18. Suppose -2*r - 6 = 5*f, k = 2*f - 2*r - 3. Is f not equal to -1/3?
True
Suppose 286 = -5*o + 4*s, 4*s + 70 = -o + 8*s. Let c(n) = -n**2 + 3*n - 61. Let r be c(0). Let k = o - r. Is 7 less than k?
False
Suppose -3*z = -a + 367198, 6*z - 5*z = -3*a + 1101614. Let c be (a/6)/(5/60*788). Let w = 932 - c. Is w at most 0?
False
Suppose -7*g - 2 = -8*g. Suppose -39 = -g*h - 9. Let j(q) = 2*q + 30. Let y be j(-8). Which is smaller: y or h?
y
Let m(f) = -2*f**2 + 94*f - 1033. Let u be m(10). Is -295 less than u?
True
Let k = -2763 - -2745. Which is smaller: k or -213/11?
-213/11
Let z = -1 - -2. Let s be 33 - (-42)/7 - (1 - -2). Suppose -11*r = -s + 14. Which is smaller: r or z?
z
Let z = -63.3 + 42.2. Let g = -176.1 - z. Is g <= 0.1?
True
Let g = -1551320.143 - -1550624. Let o = g + 696. Do -1/2 and o have the same value?
False
Let m be ((-380)/(-65) - 6) + (-134415)/455. Is -297 at most m?
True
Suppose 125 = 6*n + 5. Suppose -7*x + 2*x = -25. Suppose -2*w + n = -3*h, x*w - 100 = -0*w - 5*h. Do w and -0.2 have different values?
True
Suppose 42 = -20*m + 6*m. Let k be m*1 + (-51)/3 + 9. Is -86/7 != k?
True
Suppose 0*u - 430 = -2*u. Let b be (u/5)/(1 + 1). Suppose -915 = -53*y + 2*y + 258. Which is smaller: y or b?
b
Suppose 4*v + 4*b = 9 + 7, -5*b = v - 24. Let p = -1044517/14 - -149215/2. Is v > p?
False
Suppose -10*w = -1 + 11. Let l = 0.311 + -0.312. Which is smaller: w or l?
w
Let z = -245/1437 - 78/479. Which is bigger: z or 0.1031?
0.1031
Let y be (435*(-3)/(-6))/(33/(-42)). Let l = -281 