*c. Is 19 > s?
False
Let j = 3520 + -3651. Is -94 >= j?
True
Let h be -3 - (8034/65)/((-2)/165). Which is smaller: 10195 or h?
h
Let a = 5138 - 5189. Which is bigger: -64 or a?
a
Let u = 6.08 - 0.08. Let m = 2 + u. Let b = -1400.3 - -1395.3. Are m and b equal?
False
Let d = 596 - 415. Let j = d - 141. Are 0.1 and j unequal?
True
Let v = -0.039 - -0.106. Let h = -3.467 + v. Let d = 0.4 + h. Do 3 and d have the same value?
False
Let z = 2134 - 2146. Let a = -3 - -9. Suppose -4*g = 4, a*g - g + 60 = -5*b. Does z = b?
False
Let r = 588612 - 588637. Let b be (-32)/18 - 2*-1. Which is smaller: r or b?
r
Let c(x) = -11*x - 1. Let p be c(7). Let i be (2/(-4))/(13/p). Suppose 0 = -i*w + 22 + 11. Which is greater: 12 or w?
12
Let t(l) = -66*l - 725. Let h be t(-11). Let m = -12 + 9. Let p be ((-2)/m)/1*1. Which is smaller: h or p?
p
Suppose 0 = -4*p - 3*o - 17, 2*o - 947 = -5*p - 963. Is p <= 391?
True
Let l be (2 - 75/30)*(-1239)/(-6). Do l and -104 have different values?
True
Suppose -f + 2660 = -2*u + 4*u, 3*f + 4*u = 7972. Are 1 and f unequal?
True
Let i = -319 - -4149/13. Let l = 1561 - 1561. Is l at most as big as i?
True
Let g(o) = o**3 - 2*o**2 - 4*o + 8. Let d be g(3). Suppose -45 = d*n - 0. Let l = -104 + 93. Is n < l?
False
Suppose 166 = -22*m + 21*m + 1542. Which is smaller: 1375 or m?
1375
Let q = 49/124 - 2983/8804. Is -8 less than q?
True
Suppose -235 = 4*q + 249. Let i = -2539/21 - q. Which is smaller: -1 or i?
-1
Suppose 4*y + 0*b + 732134568 = 3*b, y + 183033635 = -b. Let s = y + 53262455465/291. Let o = -1146 - s. Which is smaller: 0 or o?
o
Suppose 1103 = -4*q + 5*n - 1551, 5*q + 3343 = 2*n. Which is smaller: q or -666?
q
Let v(o) = -o**3 + 11*o - 20. Let g be v(8). Let s = g - -10210/23. Is -21 not equal to s?
True
Let t = -5268 - -5267. Is 26/111 greater than t?
True
Suppose -54 = 8*f + f. Suppose -5*t + 13*t = 32. Let y = -2 - t. Is f bigger than y?
False
Let d(i) = 7*i**2 + 123*i + 172. Let z(q) = 3*q**2 + 41*q + 57. Let j(m) = -3*d(m) + 8*z(m). Let n be j(15). Which is bigger: -1/295 or n?
n
Suppose 0 = -495*g + 471*g. Which is smaller: -5/5383 or g?
-5/5383
Suppose 5*a - 103 = a + 3*t, 0 = 2*a + 5*t - 45. Let i = a + -19. Let d be (-2)/i + 46/(-6). Which is bigger: 0 or d?
0
Let s = 9.7 - 11. Let f(v) = v + 74. Let j be f(-26). Suppose -6*k + j = 10*k. Which is greater: s or k?
k
Let n = -23.065 - -0.065. Let f = 12739/33 + -386. Let p = 29/132 + f. Is p bigger than n?
True
Let a be (-2269)/6 - ((-205)/(-30) + -7). Which is bigger: a or -380?
a
Let c(i) = 11*i**2 - 575*i - 29. Let h be c(23). Which is smaller: h or -7433?
h
Let g(f) = f - 6. Let i be g(11). Let q be ((-275)/15 + i)/((-1)/9). Let x be (-5)/1 + 594/q. Which is smaller: x or -2/5?
-2/5
Let h(y) = 11*y + 1281. Let p be h(-126). Is -93 < p?
False
Let w = 695 + -695.25. Is w > 2/217?
False
Let c(p) = -9*p + 43. Let i be c(14). Let l = 183 - 95. Let o = i + l. Are o and 1 unequal?
True
Let z = -863.4 + 863.1. Which is smaller: z or -103.8?
-103.8
Let h = 241246/3 - 80413. Let v = 9/49 + -571/441. Is h >= v?
True
Suppose -101 = 3*z + 2*h, 14*z = 13*z + 4*h - 15. Let t(s) = -s**3 - s**2 - 1. Let j be t(0). Let l be j/(-4) + 121/(-4). Which is smaller: l or z?
z
Let w = 0.1867 + 0.8613. Which is smaller: w or 0?
0
Suppose -12*o + 7*o - 19 = 4*q, -o - 7 = 4*q. Is -3/118 at most q?
False
Let t be -399 - -378 - (-2 + 110). Is -22 at least t?
True
Let u(m) be the third derivative of -29*m**2 + 1/20*m**6 - 5/6*m**3 + 0*m + 0*m**5 + 0 + 1/24*m**4. Let v be u(2). Which is greater: v or 44?
v
Let o(d) be the second derivative of 2*d**3/3 - 57*d**2/2 + 7*d. Let h be o(17). Let b be (4 - h) + 4 + (-3)/(-1). Do b and -0.02 have the same value?
False
Let f(j) = 2*j**2 - 435*j + 861. Let y be f(2). Which is smaller: y or 16/2853?
y
Let h be 2/(4 + -2)*(-17 + 17). Suppose h = 6*a + a - 28. Is 4 less than or equal to a?
True
Let b(v) be the third derivative of v**6/120 - 7*v**5/60 + v**3/3 - 30*v**2. Let y be b(7). Let x be ((1 - 1) + y)*(-15)/(-30). Is x bigger than -2/53?
True
Let g = 22.5 + 167.5. Let i = 54 - 53. Is i > g?
False
Suppose -5*l + 906 + 196 = -m, 5*m + 5464 = 2*l. Is m less than or equal to -1092?
True
Let r = -2/103 + -192/721. Let o be 0*(-7 - 4 - -10). Which is smaller: o or r?
r
Let i(l) = l**2 - 7*l + 47. Let n be i(-15). Let t = 9426/25 - n. Is t >= 0?
True
Let m = -13264 + 13261. Which is smaller: m or -49/13?
-49/13
Suppose -421 = -23*v - 1249. Suppose 0 = -u + 4*u + 105. Let j = u - v. Is 6/29 bigger than j?
False
Suppose 4*b - u - 633 = 0, 2*b - 2*u + 472 = 5*b. Is 143 <= b?
True
Let y = 287 - 489. Let s = y + 187. Is 0.8 greater than or equal to s?
True
Let m = -48.387 + -0.113. Let v = m - -40.5. Which is greater: 0.23 or v?
0.23
Suppose -3*o = 3, 4*d = -o - 10797 + 856. Let y be d/245 - 1/(-7). Which is greater: y or -8?
-8
Let p(d) = 2*d**2 - 252*d + 3077. Let w be p(12). Which is smaller: 343 or w?
w
Suppose -34*f - 5*k = -38*f + 162, -f + 51 = -3*k. Is f > -11?
True
Let i(c) = 51*c + 2104. Let p be i(-48). Which is smaller: p or -351?
-351
Let u(b) = -b - 9. Let w be u(-2). Let y(x) = 2*x + 16. Let n be y(w). Let m(s) = -6*s - 4. Let k be m(n). Which is smaller: -15 or k?
k
Let t = -77 + 76. Let r = 33 + -397/12. Is r less than t?
False
Suppose -4*a - 21 = -129. Suppose -30*v = -a*v - 231. Let g = -81 + v. Is g greater than or equal to -5?
True
Let o(k) = 43*k + 4 - 28*k - 18*k + 6. Let h be 6/9 + 21/9. Let z be o(h). Are z and -0.1 equal?
False
Let k = 22 - 23. Let b = 125501/12033 - 2/1719. Let s = -11 + b. Which is greater: s or k?
s
Let u be (-459)/1335 + (-2)/(-5). Suppose -100733*h + 100729*h = 0. Is u greater than h?
True
Let q be (-3)/(-6)*-6*16/(-3). Let m = 202 + -143. Suppose -2*r = -5*p - m, 3*r + 0*r = 2*p + 61. Is q >= r?
False
Suppose 2*b - 20 = -0*g - 4*g, 24 = 4*g + 4*b. Suppose -1 - 14 = -2*n - 3*w, -5*w + 25 = g*n. Let s be ((-3)/(-6) + 1)/39. Is n less than s?
True
Let o = -5742 - -11728. Is 5983 equal to o?
False
Suppose 36 = 19*w - 16*w. Let u be (-2)/(-11) + (-282)/(-22). Which is smaller: w or u?
w
Let o(h) = -h**3 + 21*h**2 - 13*h + 272. Let x be o(21). Let q = -2436 + 46271/19. Which is smaller: x or q?
x
Let q = 5452 + -5446. Is q < 155/24?
True
Suppose -16*k + 76 - 28 = 0. Suppose -j = -4*x - 807, 0*j - k*j = -9. Which is smaller: -202 or x?
-202
Let s(q) = 3 - 2 + 249*q - 266*q + 8*q**2. Let z be s(2). Is z less than or equal to -30/19?
False
Let v = 171 + -173. Let u be 34 + (-6)/(12/4) + v. Is u greater than 27?
True
Let w be 9/(-2)*242/(-33). Suppose -4*d + w = -47. Suppose 0 = -4*o + 32 + d. Which is smaller: 14 or o?
o
Let i be (-1*2009)/(-1)*(-10)/(-30). Let m = -40832719674098/60973518545 - -1/1180132617. Let o = m + i. Does -1 = o?
False
Let a be (148/5)/(20 - 2448/120). Does a = -948/13?
False
Let j = -209484287404/353873173 - -1/8631053. Let o = 592 + j. Which is smaller: o or 1?
o
Let a = -9947 - -7957. Is a != 0.2?
True
Let j(a) = -2*a**2 - 6*a + 153. Let u be j(-10). Suppose 63*p = u*p. Let l = 589 - 28863/49. Is p greater than or equal to l?
True
Let q be (-4)/6874 + (0 - (10 + (-13 - -3))). Is -5/2 less than q?
True
Let o(v) = -v**3 + 5*v**2 + 7*v + 1. Let n be o(6). Suppose -3*x + n*x = 80. Suppose -1477*z + 1720*z - 377 = 109. Which is smaller: z or x?
z
Let v be ((-52)/12 - -3)/((-15)/(116235/18)). Are 569 and v non-equal?
True
Let q(t) = t**3 - 24*t**2 - 36*t - 1. Let i be q(25). Let m be i/(-32) - 6/(-16). Which is smaller: m or 2/39?
2/39
Let m be 130/195 - 94/6. Let j = 4276/31 + -138. Do j and m have different values?
True
Suppose 7*t + 51 = 4*t. Let b = 7 - t. Let c = b + -24. Is c at least 0?
True
Let j be -49*3 + (-676)/182 + (-4)/14. Which is smaller: -150 or j?
j
Let w = 21 - 11. Suppose 4*m - w = 18. Does m = 7?
True
Let y(r) = -r - 13. Let z be y(-13). Suppose -5*b + 2*q + 151 = z, -3*q = -2*b - 8*q + 43. Suppose -b*a + 3 = -30*a. Is 1/4 greater than a?
True
Suppose 2*w - 6 = 5*r, -4*w - 4*r - 51 = w. Suppose -8 - 8 = -2*m. Let a(c) = c**3 - 6*c**2 - 18*c + 8. Let s be a(m). Which is bigger: s or w?
w
Suppose -8*z - 65 = -1. Let c be 7 + -7 + 8 + z. Is c smaller than -1/544?
False
Let m(w) = -w**3 + 10*w**2 - 4*w + 20. Let x be (6/(-9))/(1*2/(-21)). Let j be m(x). Is j equal to 140?
False
L