False
Let m = -2328 + 2327.9. Which is bigger: -2922 or m?
m
Let v = 53738 - 53784. Let l be -1 - (-47)/((-2)/2). Which is bigger: l or v?
v
Suppose 20*n - 16*n + 3*t - 3069 = 0, 3*n - 2298 = -3*t. Which is greater: n or 769?
n
Suppose 22*f = -5298 + 12602. Which is smaller: f or 331?
331
Suppose 5*c = -2*v + 150, -3*c = c - 2*v - 138. Let q = c - 68. Let y = 162 + -199. Which is smaller: y or q?
y
Let c = 142 - 360. Let d = 220.7 + c. Is d greater than 4?
False
Suppose 4*z + 309 = 5*u, 5*u - 138 = 2*z + 29. Is -26 bigger than z?
True
Let l = 331.0365 - 331.1. Which is smaller: l or -0.3?
-0.3
Let b(z) = 15*z**3 + 9*z**2 + 19*z + 8. Let l be b(-7). Let g = 91706/19 + l. Let j = g - -2/57. Is 5 <= j?
False
Let l be (-1)/2*(40 - -2). Let x = 2912 - 2933. Is l equal to x?
True
Suppose z - 102 = 33. Suppose -r - z = -4*s + 2*r, -40 = -s + 2*r. Let f be (4/s)/((-12)/(-5)). Which is smaller: 0.1 or f?
f
Let d = -0.15 - -0.05. Suppose 160 - 43 = 7*o - 2*h, -o - 4*h + 51 = 0. Which is smaller: o or d?
d
Suppose -j + h - 23 = -78, -3*h + 9 = 0. Let k be (3 - 1)/(j/(-551)). Is k greater than or equal to -17?
False
Let z(s) = -s**3 + 4*s**2 + 91*s + 5. Let t be z(-10). Which is smaller: 494 or t?
494
Let a(k) = k**3 - 9*k**2 - 8*k - 40. Suppose -9*t = -2*t - 70. Let x be a(t). Which is greater: -21 or x?
x
Let a = 416 - 309. Which is bigger: 134 or a?
134
Let p be 600/(-35)*7/(-2). Let y be (-24)/(-20)*8/p. Is y at most 1/4?
True
Let y(z) = z**3 + 45*z**2 - 51*z - 229. Let u be y(-46). Let g(q) = -4*q**2 - q. Let t be g(5). Let n be -1*(3/t - 0). Which is bigger: u or n?
u
Let a be (10 - 3) + -802 + 16 - 21/3. Is a smaller than -784?
True
Let f be (1/5)/(17970/(-4565730)). Let n = f - -9/599. Which is smaller: -51 or n?
-51
Let m = 116 + -168. Let r = m - -52.1. Is r > 1/122?
True
Let q = 7049341/6008025 + 1/80107. Is q at most as big as 1?
False
Let s(n) = -n**3 + 4*n**2 + n - 4. Let i be s(4). Let a = -12858918/29 + 443456. Let l = a + -45. Which is bigger: l or i?
l
Let g(u) = -5*u**2 + 50*u - 12. Let w be g(9). Suppose p = 5*y - 6, -2*p = y - 2*y - w. Which is smaller: p or 4?
4
Suppose 3 - 18 = 5*u + 5*y, 33 = -4*u + 3*y. Suppose -3*t + 4*t = -4*n - 17, -4*n + 8 = -4*t. Let s be ((-208)/(-10))/(-4) - 1/t. Is u at least as big as s?
False
Suppose -2*k - 155 = 2*k - 3*z, 4*k = -3*z - 125. Let d(m) = -77*m - 1191. Let f be d(-15). Is f != k?
True
Let h = 307.9613 - 308. Let b = -0.9613 + h. Let v = 4 + -3.74. Is v > b?
True
Let s = 3/52 - -89/260. Let d = 16198.73 - 16314. Let v = d - -115. Is v at least as big as s?
False
Let k = 2795 + -852474/305. Let i = k - 16167/610. Is i at most 2?
True
Let x = -0.411 + -1.27. Which is smaller: x or 1?
x
Suppose -6 = 4*h + 38. Let k be (-1 + -8)*(-1164)/2619. Which is greater: k or h?
k
Suppose 0 = 16*q + 20*q. Let z be 10 + (-1 - q)/1. Does z = 7?
False
Suppose 3*s - 2*q - 15 = 0, -s + 2*q + 5 = -4. Suppose -14*m = s*m - 17. Let b be (-26)/(-114) - 3/9. Which is smaller: m or b?
b
Let o be ((-315)/65)/((-159)/(-61162)). Which is smaller: -1864 or o?
o
Let i(h) = 382*h + 551. Let y be i(-18). Is -1 greater than or equal to y?
True
Suppose 107*l = 28*l. Is l at least as big as 2/5649?
False
Suppose -c = -5*c - 3*f + 9, -c - 9 = -3*f. Let w(z) = 6 - 9*z**2 + c + 14*z + 25*z**2 + z**3. Let h be w(-15). Is h less than 21?
False
Let u be ((-18)/30 - 16506/(-3560)) + -4. Let m = u - -57929/12460. Let y = m + -2504/385. Which is smaller: y or -3?
-3
Suppose -197 = -141*j - 479. Let w be 2/8 + (-55)/(-20). Is w at least j?
True
Let y(r) = -r**3 + 2*r**2 + 17*r + 11. Let i be y(5). Let j be (i/70)/((-3)/6). Which is bigger: 4/3 or j?
4/3
Let c be 10383/396 + (-9)/12. Let x = c - 155/6. Suppose -4*q = 8*z - 12, 2*z + 81*q - 85*q + 12 = 0. Which is greater: z or x?
z
Let n = -29732 - -29731.91. Which is smaller: n or -47/3?
-47/3
Let n = 5422 - 15012. Which is smaller: -9591 or n?
-9591
Let g = 43 + -41. Let x be (-8)/g - 6304/(-1064). Let k = 12/7 - x. Is 1/5 smaller than k?
False
Let c = 0.5397 - 1.2397. Is 6/55 smaller than c?
False
Suppose -369 = -6*n + 87. Let u = -9 - -14. Suppose 0 = -2*v + u*o + 157, 4*o - 206 = -4*v + 94. Is v smaller than n?
False
Let z = 663/5 + -132. Let l = z - 2/5. Is -9 greater than l?
False
Let w(b) = -b**2 - 13*b + 4. Let u be w(-12). Suppose 7*f + u*f = -23. Does 2/239 = f?
False
Let z = -722 - -733. Let t be z/99*12*18/4. Suppose 0*m + 5 = m. Is m less than or equal to t?
True
Let q = -52/37 - -22375/15947. Let p = q + 70691/3017. Is 23 at most as big as p?
True
Suppose -3*k = 103*z - 105*z - 22, -z = -5*k + 32. Which is smaller: z or -1.86?
z
Let d = -234 - -230. Let x = 63 + -58. Are x and d nonequal?
True
Let k = 0.3 + 0.2. Let u = -101540 + 101565. Is u greater than k?
True
Let d = -24 + 31. Suppose -2 - d = -3*a - h, 3*a - h = 15. Let n be a + ((-2)/14 - 4). Are 1 and n equal?
False
Let b = -2472601/650 + 3804. Suppose 22*r + 4 = 23*r - s, -3*r - 2*s = 8. Does r = b?
False
Suppose 0*u - 24 = -5*a + 4*u, 4*a = -4*u + 48. Suppose -6*p + a*p + 2*d - 18 = 0, -2*p + 3*d = -38. Are p and 12 equal?
False
Let g = -2.88 + 0.08. Let z = -730.89 - -728. Let b = z - g. Is b at most 2/5?
True
Let v(w) = w**2 - 89*w - 362. Let z be v(-4). Which is smaller: 123/11 or z?
z
Let b(y) = 11*y + 11. Let j(s) = 30*s + 31. Let l(m) = -8*b(m) + 3*j(m). Let q be l(1). Which is bigger: q or 25/4?
q
Let x(z) = z**2 + 10*z + 24. Let k be x(-7). Suppose -k*d = -338 + 14. Let s = d + -113. Which is greater: -2 or s?
-2
Suppose -32*k = 1012 + 140. Suppose -2*y + 4*h = 2, 6*y - y + 4*h + 5 = 0. Which is bigger: y or k?
y
Let y be (-3)/(-6) + -10 + 39015/4122. Which is greater: y or 1/2?
1/2
Let s = -25398.71 - -25399. Is s > 2.5?
False
Let k = -28729/132 - -79/33. Let c = k + 215. Which is smaller: 630 or c?
c
Let q(n) = 47 + n**2 - 80 + 23*n + 42. Let y be q(-12). Let b be (-10)/30 + y/36. Is 2 > b?
True
Let m(w) = -47*w + 164. Let f be m(9). Let a = -561 - f. Which is bigger: a or -301?
-301
Let c(n) = -2*n**2 - 289*n - 28. Let x be c(-8). Is x bigger than 2155?
True
Let a be (-8)/24 + -1 + 1167/(-9). Which is bigger: a or -138?
a
Let o = -148 + 147. Let s = 0 - o. Which is greater: 1/80 or s?
s
Suppose -4*l + 0*h = 4*h - 88, 5*h - 25 = 0. Suppose -57 = 5*o - l. Which is bigger: o or -11?
o
Let d = 10513/3 - 3504. Let z = 25 + -28. Let p = 6 - z. Which is smaller: d or p?
d
Let y = 0.127 - 26.127. Let a = -0.076 - 48.924. Let b = a - y. Which is smaller: -2/3 or b?
b
Let m be (4/6)/(52/(-39)). Let r = 41 - 39. Suppose -r*h - 94 = -5*x + 2*h, x - 18 = h. Which is greater: m or x?
x
Suppose -4*s - 60 = 3*t + 10, 5*t + 138 = 4*s. Let a be (-3 - -2)/((-1)/t). Which is greater: a or -28?
a
Suppose -78*m - 20 = 58. Is -60/529 bigger than m?
True
Let x = -0.5358 - 19.4642. Do 12 and x have the same value?
False
Let y = 0.525 - 1.225. Is y at most as big as -174?
False
Let s = -4430 + 5741. Is 3932/3 at most s?
True
Suppose -n + 2*h = -132, -n = -3*h + 70 - 199. Let d = n - 138. Which is smaller: -11/32 or d?
-11/32
Let n(d) = -43*d + 16. Let f be n(4). Let k be 4/(-6)*-1 + 24932/f. Let q = -159 - k. Which is smaller: -1 or q?
-1
Let d = 21 - 31. Let c be (-760)/d*-1*4/77. Let z = 26/77 - c. Which is smaller: 4 or z?
4
Suppose 0 = z + 4*z - 2*n - 128, z - 4*n = 40. Suppose -3*u + 109 = 5*p, 4*p - 35 = -4*u + 41. Which is smaller: p or z?
z
Suppose 120 = 2*p + 13*p. Suppose 59 - 3 = -p*a. Is a > -39/7?
False
Let i(o) = 4*o**3 - o**2 + 3*o. Let u be i(-3). Which is smaller: u or -112?
u
Let b be ((-3)/(165/176))/((-3)/720). Which is bigger: -1 or b?
b
Let w = 51401008/18823726493 - 105/349163. Let h = w - -3/319. Let y(n) = n**3 + 10*n**2 + 10*n + 9. Let l be y(-9). Is l != h?
True
Let s = 3647/6953 - -2/409. Which is bigger: s or 1?
1
Let g = 49/10 - 1391/290. Let y be (792/693 - (-3)/(-21))*1/(-3). Which is greater: g or y?
g
Let w = 5678 + -425828/75. Which is greater: 1 or w?
1
Let g = 4 - -13. Suppose -2*m = -25 + g. Suppose -m*c - 2*l + 76 = -l, -57 = -3*c + 2*l. Which is greater: c or 18?
c
Let f = 4073 + -4072.9. Are f and -309/11 unequal?
True
Let m = -321703/1806 - 11/301. Let u = m + 178. Which is smaller: u or -3?
-3
Let s(h) = -h**3 + 14*h**2 + 97*h - 88. Let t be s(19). Which is smaller: t or -45?
t
Let