6647. Does 1865 = m?
False
Suppose 2*u - 24 = -8. Let b be (u/16)/(55/18 - 3). Which is greater: 8 or b?
b
Let n = 24285 + -24175. Let f(c) = -2*c**3 - 6*c**2 - 3*c - 5. Let m be f(-5). Is m > n?
False
Let w = 158 - 262. Suppose -2*x - 3 - 9 = 3*o, -5*x + o = -4. Which is smaller: x or w?
w
Let x be 22/297 - 9981/243. Let m be 4/6*-1*63. Is m equal to x?
False
Let y = -0.16 + 0.06. Let j(s) = 2*s - 9. Let v(q) = -2*q + 19. Let c(l) = -13*j(l) - 6*v(l). Let g be c(-1). Is g greater than y?
True
Let f = 473/8 - 10751/184. Let a(u) = -2*u**3 - 17*u**2 - 22*u - 112. Let d be a(-8). Is f less than d?
False
Let w = -26.976 - 1.784. Let v = -29 - w. Let s = -1.24 - v. Is s greater than or equal to -6?
True
Let n be 4/((-2)/(-4)*(21 + -19)). Let t(h) = -h**3 - h + 30. Let q be t(0). Suppose 4*i = -i + q. Which is smaller: n or i?
n
Suppose -3*w - 3*x - 36 = -8*w, x - 22 = -4*w. Suppose -8*u + 6 = -w*u, 4*j - 3 = 3*u. Are -54 and j equal?
False
Let c = -39 - -50. Let q = 11.021 - c. Let m = q + 1.979. Is m greater than -4/5?
True
Let g = -538/65 + 77692/9685. Which is bigger: 0 or g?
0
Let t = -272.7 - -265.7. Which is smaller: t or -1.04?
t
Let t = -11 + 11. Let q be 1/(-2 - -1) - t - -3. Suppose -q*x = -3*x - 32. Which is smaller: x or -33?
-33
Let m = 21029 - 21089. Let p be (-4622)/(-76) - 1/2. Let a = m + p. Is a less than or equal to 1?
True
Let n = -222029/441 + 4511/9. Is n > -1?
False
Let w be (-2055)/(-93) + -2 - 11. Which is greater: 10 or w?
10
Let n be 1*-6*(-464)/12. Suppose -236*x = -n*x + 4. Which is greater: -2/95 or x?
-2/95
Let c be 8 + (10 - 194)*1. Which is smaller: c or -175?
c
Let y be (3/(-23))/(16 + -13). Let s(w) = w**2 + w. Let t be s(-1). Let n be t/(1 + -3 + 1). Is y greater than n?
False
Suppose 229*u = 191*u - 38. Which is smaller: u or 0.10796?
u
Suppose -23*z + 17 = -6. Let w = -0.24 - -23.24. Let y = w + -23.16. Do y and z have different values?
True
Let v = -514 - -513. Which is greater: v or -7/15?
-7/15
Let g(u) = -3*u**3 + 2*u**2. Let s be g(-2). Let r = 1029 - 477. Let d = -519 + r. Is s at least d?
False
Let b(f) = -f**3 - 7*f**2 + f + 7. Suppose -50 = 9*p + 13. Let o be b(p). Which is bigger: -3/118 or o?
o
Let k = -1.33 + 1.31. Let i = 19.98 - k. Does i = -1?
False
Let d(x) = -39*x - 30*x + 132*x + 24 - 39*x. Let z be d(-1). Let o be ((-16)/132)/(1/(-3)). Which is greater: o or z?
o
Let k(s) be the first derivative of -29*s**4/4 - 2*s**3/3 - s**2 - 2*s + 469. Let l(u) = -u + 8. Let j be l(9). Let d be k(j). Is d equal to 28?
False
Let q be (-1)/3 - (-20)/6. Let m(g) = 1738 - 3*g**2 - 865 - 871 + 6*g. Let x be m(q). Is x at most as big as -31/5?
True
Let w = -25 + 39. Suppose 0 = -6*t + 43 + 293. Let a = -57 + t. Is a >= w?
False
Suppose -2*c = 3*d - 5*c - 3, 2 = 2*d - c. Is d smaller than -2/12551?
False
Suppose 3*g + y + 1622 = 0, y - 788 - 1910 = 5*g. Which is smaller: g or -541?
-541
Suppose -17*h + 10 = -12*h. Let m be (1/h)/((-7)/(-70)). Let c be (4 + 0 - 132/44)*1. Is m > c?
True
Let s = 0.089 + -2.089. Is -29.9 equal to s?
False
Suppose -3*w - 4*g + 303 = 0, -5*g = -21*w + 17*w + 435. Which is greater: w or 211/2?
211/2
Let p be (-106 + 0)*12/(-144)*-12. Is p <= -103?
True
Let o(l) = -4*l**3 + 21*l**2 + 21*l - 6. Let h = 9 + -17. Let r(j) = -6*j**3 + 32*j**2 + 31*j - 9. Let d(u) = h*o(u) + 5*r(u). Let c be d(5). Is c at most -16?
False
Let s be -20*(-19)/(950/12). Let v be 2/(-3) + (60/(-9) - -8). Do s and v have the same value?
False
Suppose -2*m - 4*h - 4 = 0, 4*m - 5*h - 1 = 17. Let u be (5/8)/(3/24). Suppose -a - 14 = u*r, 2*a + r = -m*a + 1. Is -3/13 <= a?
True
Let j be (-416)/364*(-60655)/10. Is j less than or equal to 6934?
True
Suppose -82*y = -75*y - 28. Let l be (y/6)/((-10)/(-6) + -1). Which is greater: -2/133 or l?
l
Let n be -1785 + (0 + 4 - (286/(-13) + 26)). Is n equal to -1784?
False
Let u(q) = q**2 + 15*q - 215. Let m be u(-24). Which is smaller: -76/681 or m?
-76/681
Let u be (0/4 - 0)/1. Let a be u + 2 + 4 + -4. Let h = 4 + a. Are h and 6 unequal?
False
Let o = 23 - 24. Let c = 1.55 + -1.8. Let u = c - 0.05. Is o smaller than u?
True
Let m(t) = t**2 + 14*t - 15. Let b be m(-18). Let p = -52 + b. Is p at least as big as 6?
False
Let q be ((-2340)/(-80) - 30)/(2/(-240)*-3). Let p = 65 - 93. Is p smaller than q?
False
Let q(a) = 14*a + 34. Let b be q(-3). Let z(h) = -h**2 - 8*h - 6. Let p be z(b). Is -6 smaller than p?
False
Let d be (-2)/(-3)*15/6. Let u be (1208/(-60))/(46/(-40) - -1). Let f = u - 134. Which is greater: f or d?
d
Suppose -3*x = x + 256. Let y be -1 - (x/6)/(-4). Let j be 29/87*-21 + 4. Which is greater: j or y?
j
Let f = 0.0363 - -0.0637. Let r = -0.13 - -0.13. Let a = -0.6 - r. Which is bigger: a or f?
f
Let x = -16970063/621 - -27327. Which is greater: 1 or x?
1
Suppose -4*o - 5*m - 62 = -650, 468 = 3*o - 3*m. Is 2282/15 at least as big as o?
True
Suppose -182 = 155*u - 27. Is -387.2 at most u?
True
Suppose 5*q = 3*k + 34, 2*k + 21 = 3*q - 0*k. Suppose 196 + 9 = q*z. Let c = z - 33. Which is smaller: 0.1 or c?
0.1
Let g be (101243/310 - (-2)/10)*-12730. Let k = -4160997 - g. Let t = k - -956. Is -1 smaller than t?
True
Suppose 136 = z + 3*z. Let r be 116/290 + ((-444)/(-15) - -2). Which is greater: z or r?
z
Suppose -6 + 0 = -3*d. Suppose -4 = -d*x + 5*m, -3*m = 3*x - 4*x. Let y be 5/(26 - 1) - 108/(-10). Which is smaller: y or x?
y
Let p(s) = -s + 53. Let q be p(49). Let i be (-42)/7 + (3 - (-10)/q). Is 50 greater than or equal to i?
True
Let o = -247295/2 + 2709325/22. Which is smaller: o or -496?
o
Let x = -1846 + 1864. Suppose -21 + 39 = x*t. Let g = -19/20 + 707/660. Which is greater: g or t?
t
Let n = -138 - -80. Let i = n - -26. Is -23 equal to i?
False
Let t = 8.07 + -2.07. Is -169 >= t?
False
Let a be (-351)/2*(16/(-52))/(122/793). Is 346 bigger than a?
False
Suppose -16*b = -0*b + 11568. Let v = 788 + b. Which is bigger: 69 or v?
69
Let k = 15894 + -21047. Is k smaller than -5154?
False
Let d = -0.03 - -3.03. Suppose -20*y - 5*l + 14 = -18*y, 3*l + 54 = -9*y. Does d = y?
False
Let d = -7.4205 + -0.5795. Which is greater: -0.0236 or d?
-0.0236
Let c = -56 + 78. Let r = 21.954 - c. Let k = r - 0.054. Which is smaller: 2.5 or k?
k
Let h = 241 + -97. Let n be h/(-140)*(-255)/6. Is 43 bigger than n?
False
Let c be ((-479)/26 + 19)/(-2 + (-177)/(-84)). Is 29 greater than or equal to c?
True
Let w = 78061/229999 + -69/203. Which is smaller: w or -1?
-1
Let f be (-49)/(-7) + (41 + -1)/(-8). Which is greater: 51/76 or f?
f
Let y(h) = -143*h + 5854. Let d be y(21). Are 2852 and d unequal?
True
Suppose -5*q = -25, q + 21 = -3*d + 4*q. Let f be -14 + 15 - (d + 1). Let x = 52 + -20. Which is bigger: x or f?
x
Let h = 3566 - 3563. Which is greater: h or 121/30?
121/30
Let l(s) = -s**3 + 8*s**2 + 6. Let o = -11 - -19. Let k be l(o). Let i be (8/(-6))/((-71)/213). Which is greater: i or k?
k
Let c(m) = -3*m + 57. Let i be c(0). Let b = i - 103. Suppose -j = -4*q + 62, q - 5 = -1. Is j smaller than b?
False
Let c = 1066123/125 - 8529. Let z be (-3 - (-6 + 3))/(-1). Is c > z?
False
Let y = -26099/2 + 13949. Is 900 less than or equal to y?
False
Let y = -12416 - -12603. Are -2 and y unequal?
True
Let t(r) = 13*r**3 + 17*r**2 - 21*r - 9. Let h(q) = 3*q**3 + 4*q**2 - 5*q - 2. Let b(v) = 9*h(v) - 2*t(v). Let p be b(-3). Let x = -446 - -19177/43. Is x != p?
True
Let f(c) = -310*c - 120. Let o be f(-20). Suppose 59*t - o = 40*t. Which is smaller: t or 321?
t
Let s = 294790/11 - 26774. Let d = -25 + s. Suppose 2*k + 20 = a - 3*k, 5*a - 4 = k. Which is smaller: d or a?
a
Suppose 0 = -4*l - l + 3*n + 5, -2*n + 26 = 4*l. Let p = 1788 - 1785. Suppose p*c + 2*c = l*y + 8, -4*c + 3*y + 6 = 0. Is c greater than 1/4?
False
Suppose -7*h + 225 = -2*h - x, h + 4*x - 66 = 0. Let m = h + -24. Let w = -12 + m. Do 5 and w have the same value?
False
Let p = 59 - 57. Suppose 0 = -p*h + 4*h + 5*u - 60, h - 52 = 3*u. Let o be ((-135)/h + 3)*20/(-27). Is 1 at most o?
False
Let s = 13595 + -13597. Which is greater: 1642 or s?
1642
Let d = -5 - -8. Let l be (-14 + (-315)/10)/((-2)/4). Suppose -19*u + 80 = -l. Is u < d?
False
Let v = 15869/168662 - 3178095627/14403566138. Let y = 31751/4084616 - 15/2248. Let z = v - y. Which is smaller: z or 0?
z
Suppose 0 = 5*o + c - 230, -3*o = c - 63 - 75. Suppose