l?
False
Suppose -3*u - 2*c + 528 = 0, -5*u + 4*u + 3*c + 165 = 0. Suppose 8 = -2*i, -5*t - u + 24 = 5*i. Let x(z) = z**3 - 7*z**2 + 3*z - 8. Let v be x(6). Is t < v?
False
Let p = 2/385 - -152/385. Suppose 10*q = 684964 - 683324. Is q smaller than p?
False
Let b = -12.23 - -0.63. Let c = 30.6 + b. Which is bigger: 3 or c?
c
Suppose 5 = j - b, 3 - 1 = j + 2*b. Suppose 6 = -j*f + 6*f. Let u be 4/f - -4 - 3. Which is bigger: u or 1?
u
Let n(t) = -19*t**2 + 96*t + 93. Let z be n(-1). Let q(d) = -4*d - 4. Let u = 17 + -12. Let b be q(u). Is b greater than or equal to z?
False
Let b = -4336 - -4335. Which is smaller: b or -19/160?
b
Let j = -1/539 + 2173/9163. Is -121 greater than j?
False
Let q = 52 + -46. Suppose -q*w - 150 = -3*w. Let a = w + 51. Is 2 > a?
True
Let r(n) = 82*n - 1377. Let g be r(44). Which is smaller: -2/13 or g?
-2/13
Let s be ((-298)/(-6) + -3)/((-76)/20502). Let b = -12594 - s. Which is smaller: b or -4?
b
Let j = -2261 + 70085/31. Let z = -44/93 + j. Let m be (2/4)/(6/(-32)). Which is bigger: z or m?
z
Let f = -258 - -78693/305. Let q = 6127/2745 - f. Let g = 1.97 - -0.03. Which is smaller: q or g?
g
Let o = 414 - 415. Is o != -1/1339?
True
Let l be (-7)/2*(-296)/518*2/4. Which is smaller: 2/37499 or l?
2/37499
Let o = 4490 + -4475. Are o and 126 nonequal?
True
Let j be (-16)/(-6)*(-6)/(-22). Let b = -95 - -102. Let q be (-2 + b/4)*(-3 - -2). Is q >= j?
False
Let l = -638/35 - -115/7. Suppose -1030 = -5*k - 5*i, k + 3*i = -3*k + 820. Let w = k - 204. Is w bigger than l?
False
Let t(k) = -4*k**3 - 28*k**2 - 48*k - 575. Let n be t(-17). Which is smaller: n or 11802?
n
Suppose -5*c = 3*y - 0*c - 7, 0 = 5*y - c - 21. Let l = -11.506 + 0.036. Let k = 0.47 + l. Which is smaller: k or y?
k
Let n be (-47)/(-188) - 1185/4596. Which is smaller: 1 or n?
n
Let h = -1214 + 1214. Let o be 695/(-116) + 3 + 3. Is h greater than or equal to o?
False
Let v(o) = -o**3 + 4*o + 4. Let f be v(-2). Suppose f*x + x + 121 = -3*p, 0 = p - 4*x + 46. Let r = -84 - -41. Which is greater: p or r?
p
Suppose -3*h - 2*v = -173, -4*h + 2*v + 238 = v. Suppose 17 - h = -7*n. Let s be (58/n)/(30/(-90)). Do s and -29 have the same value?
True
Let d be (26/(-8))/(7/392*-7). Suppose -4*i - d = -z, -4*z + 18*i = 19*i - 70. Is 17 > z?
False
Suppose p + 3*p - 8 = 0. Let a be (-2 - -2)*p/(-4). Suppose -11115 = 184*h - 3203. Which is smaller: a or h?
h
Let y be (-5321)/16308 - 1/(-4). Let p = 1/453 + y. Let j = 0 + 0. Which is smaller: p or j?
p
Suppose 6*k + 126 = -108. Let p = k + 44. Let j be (1 - (10 + -5)) + p. Is 116 at most j?
False
Let r be (-9)/(2 - 5) - (-5 - 13). Let h(f) = -f + 36. Let g be h(r). Let o be g + -1 - 1 - 3/(-6). Is 15 greater than o?
True
Let b be 4/6 - 246/(-9). Suppose 4*y = -j - 9, -5*j + 5*y = 8*y + b. Is 37 at most as big as j?
False
Let q be -3 - (6 + -2 + 1061). Let i be (-4)/16 + (-339)/q. Which is smaller: -1 or i?
-1
Let x = 9.529 + -0.999. Let g = -8 + x. Which is bigger: g or -1?
g
Let q(h) = 3433*h - 34122. Let w be q(10). Suppose 202 = g + l, -232 = -g - 4*l + 9*l. Do g and w have different values?
True
Let m be (89/(-28) + 3)/(((-220)/474)/22). Is m > 8?
True
Suppose -599 + 560 = c. Let s = 14 + c. Which is greater: s or -0.7?
-0.7
Let s(b) be the third derivative of 11*b**4/24 + 19*b**3 + 6*b**2 - 4. Let z be s(-10). Suppose f + 11 = t, 3*t = f + 23 - 0. Which is greater: t or z?
t
Let u = 12894 - 12932. Is u equal to -136?
False
Suppose -9*x + 10*x = -c + 46, -138 = -3*x + 3*c. Let f = -61 + 129. Let z = x - f. Which is smaller: -21 or z?
z
Let p = 194 - 170. Let o be ((-24)/10)/((-27)/(-360)). Let b = o + 55. Which is bigger: p or b?
p
Let w = 0.172 + 0.638. Let x = -0.68 + w. Let l = -31.3 + 31. Is x greater than or equal to l?
True
Suppose 169 = 2*l + 407. Let r = -124 - l. Let b be ((-1)/2)/((-2)/(-20)). Is b > r?
False
Let p = 4465 + -4465. Which is smaller: p or -17/60?
-17/60
Suppose 0 = 127*t + 22943 - 1861. Is t < -171?
False
Suppose 4*w = 12*w + 632. Let z = w - -68. Is -11 greater than z?
False
Let x be 9/18*2/4*(-40)/7090. Does 1 = x?
False
Let n(z) = z**2 + 73*z + 275. Let k be n(-4). Let o be ((-1)/(-2))/(-4 + 2). Which is smaller: o or k?
k
Let v = -1380180 + 112323188938/81383. Which is bigger: v or 0?
0
Let z = 12.9 + 149.1. Let w = -173 + z. Do w and -5 have the same value?
False
Let h = 483.14908 + -0.14908. Which is greater: h or 7/2?
h
Let v(c) = c**3 + 14*c**2 + 26*c + 24. Let m be v(-12). Suppose m = a - 7*a + 138. Suppose n + a = 30. Which is greater: n or 6?
n
Let f = -11 - -20. Let x = -636 + 639. Suppose x*j = 38*j - 245. Which is greater: f or j?
f
Let j(b) = 5*b**2 - 23*b - 3. Suppose 5*a - 25 = -5*f + 4*f, 2*a - 2*f = 10. Let n be j(a). Which is bigger: n or -5?
n
Let l = -0.0004 - -5.8604. Let c = -70.86 + l. Is -3/4 > c?
True
Suppose 9*h = 8*h + 186. Suppose -185 = -y - h. Which is bigger: 0 or y?
0
Suppose 6*l = 5*l + 16. Let b be (-1)/(-4 - 95/(-25)) - 1. Let j be (b/16)/((-1)/(-61)). Which is greater: l or j?
l
Let w = 238 - 221.7. Let k = -16 + w. Is k less than -15/16?
False
Let g = -77 - -74.84. Let w = 1.9 + g. Which is smaller: 0 or w?
w
Let y be (-5 + 4)/((-53)/1961). Let d(f) = f**3 - 4*f**2 + 2*f + 7. Let x be d(6). Let a = x + -53. Which is bigger: y or a?
a
Let y(a) = -a**2 - 8*a - 12. Let h be y(-8). Let j be 246/(-8) + h/(-16). Let r be ((-3)/5)/(-9*(-3)/j). Which is smaller: 0.01 or r?
0.01
Let n be ((24/(-620))/6)/3. Let u = 1293 - 1292. Is u at least as big as n?
True
Let j = 61.9 - 61.88. Is -486 > j?
False
Let m be (15/(-9))/((-6)/18). Suppose -b - c + 6 = 0, 5*b - m*c + 36 = 106. Let l(o) = -o**3 + 10*o**2 - o + 15. Let g be l(b). Which is smaller: 2 or g?
2
Suppose 0 = 33*d - 8989 - 1703. Let p = -285 + d. Is p < -2?
False
Suppose -2*s + 3*h + 0*h = 91, 0 = 5*s + h + 253. Let a = -30 - s. Suppose 2*y - 38 = -0*y. Which is bigger: y or a?
a
Let r(b) = -7832*b + 23633. Let h be r(3). Suppose 1013 - 327 = 5*w + i, -5*i + 5 = 0. Is w at least h?
True
Let k(t) = 361*t - 3045. Let n be k(8). Is n bigger than -156?
False
Let x = 4473 - 3944. Is x at least 529?
True
Let l = -421 - -367. Let x = -48 - l. Which is smaller: 44/9 or x?
44/9
Let n = 0.112 + 83.888. Let s = n + -84.044. Which is smaller: -2/3 or s?
-2/3
Let i(s) = 12*s + 8. Let q be i(8). Let j be 530/((-10)/(-2)) - 8*(-15)/(-40). Which is smaller: q or j?
j
Let v(t) = -2*t**3 - 46*t**2 - 43*t - 489. Let j be v(-22). Are j and 0 nonequal?
True
Let h = 3721 + -3721. Which is smaller: 1513 or h?
h
Let m = -0.43 + -20.87. Let g = 17.3 + m. Which is smaller: -2 or g?
g
Suppose -4*d - 986 = -a, 3*a + 2*d - 2593 = 379. Which is smaller: a or 7911/8?
7911/8
Let u(m) = -1 - 17*m**3 + 2 - m + 3*m**3. Let x be u(1). Suppose 190*b + 4332 = 5*b - 176*b. Is x at least b?
False
Let f(n) be the first derivative of 3*n**2/2 + 6*n - 9. Let v be f(-1). Is v at least as big as 27?
False
Let x(m) = -18*m - 223. Let c be x(-13). Let y be 0 + ((-6138)/135)/c. Is y at least -4?
False
Let n(d) be the third derivative of -d**5/60 - 23*d**4/24 - 6*d**2. Let v be n(-21). Let y = v - 41. Which is greater: y or 4?
4
Let o = -31192/10485 - -134/45. Let s = o + 1388/3495. Is 1/71 equal to s?
False
Let z = -92625/5724364 - 5/41988. Is 0 >= z?
True
Suppose -5*m = -5*l - 15, 0 = -l + 2*m - 0*m - 7. Let q be -24 + (l - 7) + 4. Which is smaller: -27 or q?
-27
Suppose -7*i + 4*i = 57. Let c = 20 + i. Let v be 1/10 - 205/(-200). Is v greater than c?
True
Let a = 350.5 - 350.703. Do a and -2 have different values?
True
Let m be ((-2)/(-1) - 37) + -2. Let z(i) = i**3 + i**2 - 3*i + 75. Let t be z(0). Let l be (t/10 + -6)/((-3)/76). Are m and l equal?
False
Let t(s) = -7*s**3 - 2*s**2 + 1. Let k be t(-1). Let o(v) = -v**2 + 278*v + 24784. Let r be o(-71). Is r greater than k?
False
Let k be (-2 + 4)*100/(-850). Suppose -4*s = -12 - 12. Suppose 0 = -w + g - s, -3*g + 13 = 2*w - 0*w. Is k greater than or equal to w?
True
Suppose 5*m - i = -3*i + 52, 5*m = -4*i + 44. Suppose -m*j + 13*j = 3. Suppose j*d = 5 + 10. Is 35/6 less than d?
False
Let p = 29.32 + -29. Let h = -0.22 + p. Which is smaller: 2/23 or h?
2/23
Suppose -r = 2*l - 6*l - 1, -5 = -5*r - 2*l. Is r greater than -2/1067?
True
Suppose -20 = -14*y + 4*y. Suppose y + 0 = r. Let n be (-13)/r + (-1)/1.