
False
Let r = 2828200 + -132915395/47. Let h = r - 213. Is h >= 1?
False
Let u be -72 - (-1)/2*2. Let s = -52 - u. Let p = 81 - 61. Is p bigger than s?
True
Let k = 3664.32 + -3668. Which is smaller: k or -1/2?
k
Let n = 4 - 3. Let h = 113095 - 1696427/15. Which is smaller: n or h?
h
Let s = 14460 - 14460. Is s < 11/322?
True
Let u be ((-7)/14)/((-832)/3456). Is 14 < u?
False
Let o(s) = -29*s + 1479. Let q be o(51). Is q greater than -6?
True
Let m be (-2107)/(-4318) - ((-131)/85 + 1304/815). Which is smaller: 0 or m?
0
Suppose -7*n = -8*n + 9. Let b be n/27 + (-21)/(-18) + -2. Which is greater: -11 or b?
b
Let u be (-3 - (-4 + -2)) + 348. Let a = 229 - u. Which is greater: a or -123?
a
Let b = 12 - 262. Let w = b + 279. Is 0 <= w?
True
Suppose 15457 + 4060 = -35*i + 4572. Is i greater than -435?
True
Let r = -582.2287 + 0.0287. Let s = 582 + r. Is 0.14 > s?
True
Suppose -143*s = -146*s - 21, -2*b - 5*s = 33. Is -27/77 not equal to b?
True
Let v = -3173 - -3173. Which is smaller: 1/2795 or v?
v
Suppose 89*t + 74*t + 242*t = 0. Which is bigger: -2/6877 or t?
t
Let y(t) = -t**3 + t**2 - 21*t + 66. Let p be y(7). Which is smaller: p or -378?
-378
Suppose -78*u + 2142 = -58*u + 82*u. Is u < 232/11?
True
Let x(a) = -33*a - 251. Let r(g) = -16*g - 125. Let p(i) = -9*r(i) + 4*x(i). Let z be p(-10). Is -2/251 at most z?
True
Let z = -1 + 2.5. Let b = 654.26 - 653.76. Are b and z equal?
False
Let k(d) = 3*d - 34. Let r(h) = -2*h - 1. Let c(s) = k(s) + 4*r(s). Let u be c(-9). Do 9 and u have different values?
True
Let u(r) = -684*r + 683. Let z be u(1). Which is smaller: -116/65 or z?
-116/65
Let k = 3165 - 3164. Is 28.79 equal to k?
False
Suppose -6*m = -53 + 35. Suppose 3*d - 267 = m*r + 765, 0 = -5*r - 5. Is 343 equal to d?
True
Let c = -275.336 + 0.336. Let o be (1/(-12))/((-11)/(-33)). Which is greater: c or o?
o
Let n = -11283 + 11284. Which is smaller: -20.03 or n?
-20.03
Suppose 3*r + 355 + 317 = 0. Let z = r + 205. Is -71/4 bigger than z?
True
Let p be ((-2)/(-4) + (-63)/6)*-1. Suppose -y = 3*x - 37 + p, -4*y + 3*x + 93 = 0. Suppose 28*k = y*k + 168. Is 42 >= k?
True
Suppose -5*t = -t. Suppose 268*b + 21 = 289*b. Which is bigger: t or b?
b
Suppose 0 = 4*y + 5*o - 13, 2*y + 2*o - 10 = -2*y. Let a(t) = -5*t + 7. Let q be a(y). Which is smaller: -52 or q?
-52
Let s be (-172)/(-86) - (-1)/2 - 602/148. Which is smaller: -2 or s?
-2
Let l(q) = -q**3 + 6*q**2 - q. Let j be l(3). Suppose -10*p + 6*p + 3*d = -j, -4*p + 5*d = -24. Which is bigger: 13/2 or p?
13/2
Let x(y) = 4*y**2 + 4*y - 4*y**2 + y**2 + 7 - 3. Let t be x(-6). Let s = -1/611 + 17721/1222. Which is bigger: t or s?
t
Suppose 1635 = -u - 356. Let j = u - -21917/11. Is 2 < j?
False
Let m(w) = -w**2 - w - 26. Suppose 19*f = 16*f. Let t be m(f). Which is greater: 0 or t?
0
Let t(y) = -y**2 - 13*y. Let l be t(-7). Let w = l - 41. Let a be -2 - -3 - (1 + w). Which is smaller: 1/6 or a?
a
Suppose 2*s - 4*c - 3 = -7, -2*c + 2 = 4*s. Let w(g) = 6*g - 15. Let v be w(s). Are -14 and v nonequal?
True
Let g = 48 + -23. Suppose -74 = 8*n - 74. Is n greater than g?
False
Let t = -35 - -34. Let r = -183587 + 65357053/356. Let a = -2/89 - r. Is a != t?
True
Let b be ((-4)/6)/((-5)/3). Let l = -14190.9 - -14190.46. Is l bigger than b?
False
Suppose -2*a - 34 = 52. Suppose -30*z + 340 = 492 + 1048. Which is greater: z or a?
z
Suppose 778 = a - 193. Is 3 less than a?
True
Suppose -3*a - 108 = 126. Which is greater: a or -50?
-50
Let x = 288 - 284. Suppose l - 1 = -2*i + x*i, -2*l + 16 = 3*i. Is i equal to 78/25?
False
Suppose -4*q + 3618 = -12*q - 1094. Which is smaller: q or -590?
-590
Let k = -15 - -1. Let b be k/(-70) - 34/(-5). Let u(s) = -s**3 + 8*s**2 - 7*s. Let m be u(b). Does m = 3/4?
False
Suppose 430 = -2*j - 420. Let h be -1 + 7 - (162/(-8))/(18*20/(-7680)). Is j >= h?
True
Let h be (-16)/15*(240/(-32) - -3). Which is greater: h or -6?
h
Let a = -3 + 2. Let y be (4/(-8))/a*-2. Let k be (-644)/306 + (-5)/(340/8). Are y and k unequal?
True
Suppose -3*y = -6*y - i - 32, 4*i = -5*y - 51. Let m(u) = -u**3 - 11*u**2 + 2*u. Let j be m(y). Suppose 2*g - 8 + 52 = -4*x, -2*g = 5*x + 45. Is j >= g?
False
Let j = -19 - -88. Let d = j - 64. Suppose -5*a + d*c = 35, 2*c - 20 = -2*c. Is a <= -4/5?
True
Let a be (-320)/25*(-4)/(-8)*-10. Let h(t) = t - 1. Let w(d) = d**3 - 4*d + 13. Let c(j) = -6*h(j) - w(j). Let f be c(-4). Are f and a equal?
False
Let u = 6 + -26. Suppose 0 = -5*l + 4*h + 31, -3*l + 2*l = -2*h - 11. Let o(z) = -3*z**2 + 5*z - 9. Let v be o(l). Which is greater: u or v?
u
Let u be 5/(-20) - ((-198)/24 - -7). Which is greater: u or 6/2197?
u
Let i = 195 - 193. Suppose 14 = i*m - 4*l + 6*l, 4*l = 16. Which is smaller: m or -0.1?
-0.1
Suppose 4*h = -5*m + m - 660, -4*h = m + 654. Let p = 105 + h. Which is smaller: p or -0.1?
p
Let x = -795 - -472. Let g = x - -333. Is 6 smaller than g?
True
Let z = 33 + -4. Let i(m) = -2*m**2 + 58*m. Let v be i(z). Which is bigger: 1/19 or v?
1/19
Suppose -6 = 4*x + 6. Let a = -5089341/5 - -1017865. Is x at most as big as a?
False
Suppose 0 = -4*g - 2*u + 36, -5 = u - 3. Let p be 558/310*2/((-16)/g). Which is bigger: p or -1?
-1
Let y(f) = 5*f - 35. Let l be y(6). Is l equal to -24?
False
Suppose 148*h = -37994 - 300475 - 234735. Is -3875 equal to h?
False
Suppose -4*d = -9*d - 225. Let c = d - -45. Let z = 677 - 7449/11. Are c and z unequal?
True
Let t be (-10)/(-8) - (-748)/(-528). Which is smaller: t or 29?
t
Let l(i) = -2*i - 24. Let q be l(-15). Suppose 2*g + q = -3*k + g, 3*k = -2*g - 6. Suppose 24*v - 22 = 22*v. Is v greater than k?
True
Let j = 53 - 91. Let g = 42 + j. Let l be (g/20)/(1/5). Do l and -6/19 have different values?
True
Let n = -66 - -65. Let s = 18 - 14. Let j = -10 + s. Which is bigger: j or n?
n
Let c(g) = 1257*g**2 - 3*g. Let u be c(1). Let d be 36/(-198) - (-272)/u. Let b = 0 + 0. Which is greater: b or d?
d
Suppose 0*k = p + 3*k + 6, -k - 3 = 0. Let z be 2 + (-4 + p)*0. Suppose -3*g = -3*q - 15, q + 4 + 1 = z*g. Which is bigger: q or -1?
-1
Let k = 4386 + -4386. Let u be 1 - (725/(-15))/((-453)/9). Which is smaller: u or k?
k
Let d(t) = -t**3 - 8*t**2 - 17*t - 20. Let p be d(-6). Suppose -2*y + 1 = 4*b - 5, -4*y = -3*b + p. Are y and -7/46 nonequal?
True
Suppose -3*f = 5*q + 51384, -4*q + 0*f - f - 41117 = 0. Are -10281 and q nonequal?
False
Suppose -2*k - 4*w = -2764, 0 = -k + w + 647 + 750. Is 1386 < k?
True
Suppose -107*a + 42*a + 31*a - 7684 = 0. Which is smaller: a or -5?
a
Let x = 51/2 + -26. Suppose -5*k + 76 = -4*a, 3*k + 96 + 73 = -5*a. Which is greater: x or a?
x
Let d = -26431 + 30686395/1161. Which is smaller: -1 or d?
-1
Let b be (-24)/(0 + -2)*(-2)/(-6). Suppose 0*d = 4*x - b*d - 4, 0 = 2*x - 4*d + 8. Let n be (-2 - (-9)/x)*4/(-2). Is 1/16 equal to n?
False
Let j(r) = -2*r**3 + 4*r**2 + 4*r + 3. Let p be j(-2). Suppose -4*m = -12, -39*l + 4*m - 104 = -43*l. Which is bigger: l or p?
p
Let z be (-24)/10 + 2 - (-682)/55. Let k be z - 10 - (1 - 0)/1. Let s be (-209)/(-312)*3 + k*-2. Which is bigger: s or -1?
s
Suppose -3*z + 4*z = 3*b + 4, 0 = b + z + 4. Suppose 142 - 52 = -15*t. Is b less than or equal to t?
False
Let u = -8101 - -11993. Let i = u + -3910.991. Let v = 0.009 - i. Are v and 0 equal?
False
Let d be -2*((-4)/1 + (-13)/26). Suppose t - u = 20, -t + 15 + d = -3*u. Which is bigger: t or 52/3?
t
Let u = 4.2 - 4.129. Let a = u + 50.929. Let f = a - 37. Which is smaller: f or 2?
2
Let z = -185 - -183.51. Let j = z + 100.49. Let b = -97 + j. Which is bigger: b or 8?
8
Let f = -0.08 + 0.08. Let g(o) = 370*o - 2022. Let x be g(6). Is x greater than or equal to f?
True
Let i be 6/(-2)*27/(4212/52). Is -5/2147 < i?
False
Let q be (-47)/(5922/(-28)) - (-6551)/(-9)*-2. Is 1454 at most as big as q?
True
Suppose 125*y - 16619 = -4994. Let j be 0 + 0 - 3*11. Let m = j + y. Is 60 at least m?
True
Suppose w + 1133 = -3*c, -w = -4*c - 2*w - 1509. Let v = 462 + c. Is 85 at least v?
False
Let t = 1.518 - -0.801. Is 1 at most t?
True
Suppose 13*h - 180 = -5*h. Suppose -2*a - h = 2*i, -a + 5*i + 9 = 2*a. Is -20/13 at least as big as a?
True
Let r be ((-510)/4)/(15/(-20)). Let y = r + -165. Which is smaller: 0 or y?
0
Let y = -322 - -328. Let g be (y/(-18))/((-1)/(-3)) - 50. Which is smaller: -52 or g?
-52
Let b be (269/794357)/((-1)