287311/16072. Let q be ((-6)/(-5))/((-16)/(-297)). Let z = b + q. Is 4 < z?
True
Let a be 2 + 22/(-10) + (-2040)/(-200). Suppose -a*j + 11*j - 7 = 0. Is j greater than or equal to 12?
False
Suppose -p + 6*p = -40. Let k = -2299 - -6033. Let o = k + -22459/6. Is p at most as big as o?
False
Let r be (-3 - -8) + 0 + 2 + 2. Suppose 204 = -3*s + r*s. Suppose -m + 6 = s. Is m < -28?
False
Let x = 9970 - 9820. Which is greater: -1/4 or x?
x
Suppose s + 41 = -5*d, -321*d + 317*d = -2*s + 2. Suppose -x + 3*x = 118. Suppose 1 = -5*j - x. Which is smaller: j or s?
j
Let n(z) = z - 2. Let x(h) = 3*h - 5. Let i(g) = -6*n(g) + 3*x(g). Let m = -3 + 4. Let l be i(m). Is l <= -0.9?
False
Let f(v) = 13*v - 12*v - 24 + 5*v. Let t be f(5). Suppose -3*p = -t*p + 3. Is p greater than 11/5?
False
Let u(l) = 5*l + 309. Let z be u(0). Let g = 280 - z. Which is greater: -26 or g?
-26
Let h = 0.04 + -0.04. Let r = 90 + 32. Let d = -122.061 + r. Which is smaller: h or d?
d
Let h be (-2*5/20*8)/((-410)/5). Which is bigger: h or -0.31?
h
Suppose 21*v + 14 = 77. Suppose x = -v*o - 602, -1048 = 5*o - 5*x - 78. Which is smaller: -198 or o?
o
Let c = -7658 + 7494. Which is bigger: c or -169?
c
Let f = -35 + 19. Let j be f/(-8)*(-2 - 2). Let o be (418/133)/((9/(-7))/3). Which is smaller: o or j?
j
Let v be ((-3807)/(-1034) + (-4)/22)*4. Suppose 79 = -n - 2*n + 4*k, -96 = 4*n - 3*k. Let o be 4/9*n/v. Which is greater: 0.01 or o?
0.01
Let u = 870 + -699. Suppose 4*i - 4*l - 684 = 0, 8*i - 5*l - 171 = 7*i. Is i at most u?
True
Let r be 703 - 3 - (5 + -1). Let x be (-11 - -14)*-1*r/9. Is x equal to -231?
False
Let n = -984 + 991. Suppose -25 = -2*o + i, 4*o = 3*i - 0*i + 51. Let s be (-18)/o + (-17)/(-2). Is n less than s?
False
Let z = 10.45 - 535.45. Let f = 524.96 + z. Is 8 less than or equal to f?
False
Let q be 32*4/8*(-3)/4. Let h = q - -8. Let g be 29/h - 11/(-44). Is g <= -5?
True
Let b(n) = n**3 - 8*n**2 - 7*n - 49. Let l be b(9). Is -36 >= l?
False
Let h(z) = -2*z**2 + 23*z - 64. Suppose -3 = -5*r + 22. Let d be h(r). Is -1/235 greater than or equal to d?
False
Let f = 320 - 316. Suppose -x = 3*w + 3, f*w = 9*x - 4*x - 4. Is w < 5?
True
Let z(a) be the first derivative of -a**2/2 - 3*a + 2. Let c(m) = 5*m**3 + 10*m**2 + 7*m + 18. Let i be c(-2). Let r be z(i). Is r at most -5?
True
Suppose -f - 2*f = 0. Suppose f = -10*t + t + 90. Suppose 41 = 4*k + 9. Which is smaller: k or t?
k
Suppose -2*p = 16, 4*s + 4*p = -294 + 178. Let l(f) = f + 7. Let x be l(-3). Do s and x have the same value?
False
Suppose 5487*y = 5458*y + 1334. Which is smaller: y or -71?
-71
Let v = 110 + -226. Let r = v - -115. Let w = -118 - -6135/52. Which is smaller: w or r?
r
Suppose 4*g - 3*k + 453 = 0, 4*g + 9*k + 0*k = -417. Is g at least as big as -334/3?
True
Suppose -2*f - 10 = 0, f + 177 = -12*n + 14*n. Let v be 4/(-368)*n + 3 + -2. Suppose -5 = -q - 6. Which is smaller: q or v?
q
Let h(x) = x**3 + 17*x**2 - 19*x - 14. Let m be h(-18). Suppose m*z + 20 = w, 27 = -4*w - 4*z + 7. Suppose w = -11*p + p. Which is smaller: p or -6/13?
-6/13
Let r be 14*(-54)/(-315)*270/(-4). Let s = r + 151. Which is smaller: s or -4?
s
Let h be (442/51 + -5 + -2)*(-207)/(-51). Is -1 < h?
True
Let w be (126/12 - 10)/((-2)/(-4) - 1). Which is bigger: -1/3835 or w?
-1/3835
Suppose -60*n - 6225 = 49*n + 140*n. Which is smaller: -549/23 or n?
n
Let m(h) = 105 - 14*h + 14 - 17*h + 43 + 85. Let y be m(8). Is 2/1231 > y?
True
Suppose -8 - 40 = 3*k. Let t be (-24)/k*(-8 + -2). Let x be t/(-105) + (-74)/77. Which is smaller: 0 or x?
x
Suppose 2 = 2*f - 4*f. Let p be -51*4/224 + 40/(-56). Is p equal to f?
False
Let c = -55.1 - 48.9. Let i = c + 105. Does i = 5?
False
Let v be (-105)/2*((-3)/(-255))/((-21)/(-168)). Which is bigger: -8 or v?
v
Let c = 122907/644 + -763/4. Which is bigger: c or -1?
c
Let t = 32142 + -32141. Is t > -22/399?
True
Let j = 0.289 - 0.009. Let z = -2.4 + 2.6. Is z != j?
True
Let j(c) = -10*c + 44. Let o be j(4). Suppose 2*k = 2*p - o*p, -2*p + k + 3 = 0. Are p and 3/328 unequal?
True
Let o be (-37)/((-259)/(-98)) + -1342. Is -1356 greater than or equal to o?
True
Suppose 0 = 2*u + 10, -44 = 5*h + 2*u - 2054. Let f = h + -407. Which is smaller: f or -27/7?
-27/7
Let r(g) = -211*g - 13013. Let h be r(-62). Which is smaller: 58 or h?
58
Suppose 4*t + 5 = j + 23, -3*t - 69 = 3*j. Let k(r) = -r**3 + 8*r**2 + 7*r - 6. Let f be k(9). Which is smaller: j or f?
f
Let i(o) = -15*o - 20. Let v be i(-6). Let j be (18/(-5))/((-21)/v). Suppose -j*t - t = -130. Which is greater: t or 45/4?
45/4
Let m be -4 + (-626)/76*(-27764)/(-55). Let h = 4162 + m. Is h greater than 1?
False
Let m be 1/(-3) + 120/(-18). Let b be 100/120*78/(-10). Do m and b have the same value?
False
Let g be 1641*12/378 + (-2)/21. Let i be g - 21/28*-4. Is i less than or equal to 57?
True
Let w = 165.5 + -174. Let d = w + 8.4. Which is smaller: 45/7 or d?
d
Suppose -145 = -q - 5*y, -3*q + 495 = q + 3*y. Let n = q - 92. Let x = n + -19. Is 12 at most x?
False
Let c = -97/28 - -9243/2660. Suppose -5*h - 4*y + 11 = 0, -y + 14 = 2*h + 3*y. Is c greater than or equal to h?
True
Let d be (48/(-18))/((-6)/(-27) - 0). Let j(c) = 9 + c + 0*c + 23 - 13. Let w be j(d). Which is bigger: 6 or w?
w
Let a(r) = -r**3 - 3*r**2 + 3*r - 4. Let v be a(-4). Let d be 3 - v/1 - 78. Is -74 at least as big as d?
True
Suppose -15*m = -20*m + 10. Suppose 5*q + m*r = -92, -31 + 103 = -4*q - 2*r. Is -20 < q?
False
Let f be (-2)/3*(7 + -13). Suppose -3*o + 9 = -0*o - r, 4 = -f*o - 4*r. Suppose -o + 4 = 2*l. Which is bigger: l or 6/5?
6/5
Let n(g) = 6*g**2 - 16*g - 40. Let q be n(-2). Let w(t) = -t - 2. Let p be w(-5). Is q less than p?
False
Let v be (22/((-176)/(-17772)))/((-2)/(-4)). Which is bigger: v or 4441?
v
Let z = 29880 - 29878. Which is bigger: 98/37 or z?
98/37
Let o be 8/4 + (1 - -6) + 482. Let h = 2453/5 - o. Is h at most 202?
True
Let p be 8 + -7 - (106 + -1). Let v be -2 - -2 - p/(-2). Let c be (-6)/5*(v/(-8) + -8). Is 1 at least c?
False
Let a(i) = -6949*i - 46. Let g be a(-20). Let s be -4 - (g/110 - 4). Let d = s - -1263. Is d > -0.1?
True
Let t = 677.61 - 675. Which is greater: t or 0.3?
t
Suppose -h - 2*x + 12 = 0, 5*x - 19 = -4*h + 7*h. Suppose 41 + 23 = h*s. Is 3 less than s?
True
Let s = -43.55 - -483.55. Is -1/2 < s?
True
Let b = -37 - -42. Let g be (-48)/40 + -1 + 1821/b. Which is smaller: 363 or g?
g
Suppose -18 = -22*d + 28*d - 3*h, 5*h - 22 = 2*d. Does 17/105 = d?
False
Let l = -0.125 - 0.075. Which is smaller: l or -0.0322?
l
Let x = 0 - 1. Let n = x + 1.3. Let v = 256516 + -1795616/7. Which is bigger: n or v?
n
Suppose -3*z + 30 = -3*s, -7 = z + 4*s - 42. Does z = 213?
False
Let h = -2621/32 + 104927/352. Let g = h - 216. Which is smaller: g or -3.7?
-3.7
Suppose 5*r - 31 = -11, -4*r = 4*x - 36. Suppose -x*t - w = 75, t = -0*t + w - 15. Is -16 smaller than t?
True
Let q = 367/648 - 56/81. Which is smaller: q or -101?
-101
Let x = -0.34 + 0.28. Let q be (-1050)/(-1265) - 2/2. Let z = 6/23 + q. Which is greater: z or x?
z
Suppose 79 = 3*i - 3*j - 56, -4*j - 12 = 0. Suppose l + 0*l = -5*y + i, 5*l - 3*y - 98 = 0. Let d = 3578 + -3558. Are l and d unequal?
True
Let b be (-41557320)/(-76180797) - 12/22. Is 1 less than b?
False
Let a be ((-4)/20)/((-1)/1525*-10). Which is smaller: -1 or a?
a
Let l = -209 + 179. Let f = l - -132. Which is greater: f or 104?
104
Let u = -64 - -455. Let d = 358 - u. Which is smaller: d or -1/2?
d
Let z = 35 + -87. Let o = -1441 - -1443. Which is bigger: z or o?
o
Let u = 27815111/70213 + -5150/13. Which is smaller: 0 or u?
u
Suppose -k = -5*o - 2463, 5*o - 2*k - 489 = -2950. Let f = o - -921. Is 428 <= f?
True
Let l be (-5)/25*-2 - 264/10. Let w = l - 65. Which is smaller: -92 or w?
-92
Suppose -d + 5*s + 0 - 1 = 0, 0 = -5*d - 4*s - 63. Let g = -24 - d. Let o = g - -17. Which is greater: o or 26/7?
o
Let x be (-3 - -1)*(-150)/580. Which is greater: 2 or x?
2
Suppose -m = -2*q + 56, -q - 39 = -10*m - 48. Does -26 = q?
False
Let a = 8 - 28/3. Suppose 16*n - 32 = 8*n. Suppose -5*g - 8 = -c, g + 14 = 3*c + n. Are a and g nonequal?
True
Let m(z) = 2*z**3 + z**2 - z + 1. Let s be m(1). Suppose h + 2 = -2*p - 3*h, 9 = p - s*h. Let g be 2313/257*4/(-12). Which is smaller: p or g?
g
Suppose z = 2*g + 96 + 33, -4*z + 502 = -g.