nd 37 have the same value?
True
Suppose 5*z - 25 = 0, -10 = -4*m + z + 53. Let a = -11 + m. Suppose -5*f + a*h + 220 = h, 0 = h + 1. Which is greater: f or 44?
44
Let a = -0.04 - 0.76. Let v = 77.1 - 78. Let n = v - a. Is -2/13 greater than n?
False
Let q = 141/283 + -477143/958238. Which is smaller: 1 or q?
q
Let d(c) = 9*c + 117. Let k(o) = -13*o - 175. Let p(u) = -7*d(u) - 5*k(u). Let t be p(-21). Is 12 less than or equal to t?
True
Let o = 3.27 + 164.73. Let f = -29627 - -29627. Which is smaller: f or o?
f
Suppose -10 - 102 = q. Let g = -93 - q. Suppose 0 = -14*d + g*d - 20. Is d < 6?
True
Let j = -248981 - -2309796735/9277. Are 1 and j unequal?
True
Let n = 222.2 + -202.2. Is -33 at least n?
False
Suppose -21*p + 17*p = 236. Let k = p + 60. Is k less than or equal to 4/27?
False
Let m(f) = -f**2 + 5*f - 1. Suppose 3*w = -4*w + 28. Let v be m(w). Suppose -1 = -z - v. Is z > 14?
False
Let c be (-1 + 7)/((-3)/2). Let y be (2/c)/((-3)/(-18)). Let n = 5825.8 - 5826. Which is greater: y or n?
n
Suppose -1508 + 14608 = 20*o. Are o and 656 unequal?
True
Suppose q - 2247*v = -2251*v - 443, 0 = -4*q - 2*v - 1772. Does -435 = q?
False
Suppose 5*y + o - 10 - 3 = 0, -o = -y - 1. Let h be (y/4)/(9/54). Let l be (3/(-7) - 2) + h. Which is greater: 0.2 or l?
l
Let l(v) = -11*v + 695. Let m be l(74). Which is bigger: m or -123?
m
Let b = -0.0341 - 363.8659. Let t = 364 + b. Is t smaller than -22?
False
Let p be 0 - (-6 + 110/11) - -4. Is -44/113 bigger than p?
False
Suppose -7453 = -50*l - 31303. Does 0 = l?
False
Let c = -84 - -68. Let k be (-320)/(-1022) - (-1)/(56/c). Let m = -389/876 + k. Is 1 greater than or equal to m?
True
Let g(l) = -3*l**2 + 62*l + 24. Suppose -2*o + 2*u + 42 = 0, 3*o - 4*o = -2*u - 19. Let h be g(o). Is h at least as big as -137?
True
Let d(w) = -3*w**3 - 16*w**2 + 53*w + 246. Let p be d(-6). Which is smaller: p or -48/97?
-48/97
Suppose -3*y = -4*y + 46. Let v = y - 28. Let k = -24056 + 24073. Is k equal to v?
False
Let v(b) = 6*b - b**3 - 7 - 8*b + 36 + 22*b**2 + 24*b. Let x be v(23). Let z be (-4 + 15/x)*-22. Is z less than 32?
False
Let b = -2915/6 + 484. Let j = 19 - 20. Which is smaller: j or b?
b
Let y be ((-2)/(-42))/((-2449)/(-1011251)). Let u = 2/553 + y. Suppose 8*w - 88 = 3*w + 4*n, -2*n + 66 = 3*w. Is w > u?
True
Suppose -x = -5*k + 16, -x - 5*k = -0*x - 24. Suppose a + x*o - 10 = 2*o, -3*a - 3*o + 18 = 0. Let r be (a + 3 - 8)/(6/16). Which is bigger: -7 or r?
-7
Let z be 642404/(-684) + (-4)/(-18). Suppose -1874 = 2*i + t, t - 2285 - 1475 = 4*i. Let k = z - i. Is k < 1?
True
Let o be -4 + (-6)/4 + (-126)/(-14) + -2. Is o at least as big as 0.3225?
True
Let s(l) = 12*l + 46. Let g(q) = -11*q - 44. Let x(t) = 6*g(t) + 5*s(t). Let y be x(-6). Which is greater: 0.007 or y?
y
Let v = 62806/3 - 20614. Let u = 239081/744 - v. Which is bigger: -1 or u?
u
Let g = -2035 + 4268. Which is smaller: 2234 or g?
g
Suppose 26*c = 22*c + 5*u + 87, 45 = 2*c - 3*u. Let a be (-24 + c)*(1 - (-32)/(-30)). Which is bigger: a or -363/5?
a
Suppose -6*q + 41 = 23. Suppose 4*f = 2*d - 22, f + q*d + 45 = 22. Which is bigger: f or 21?
21
Let n = -46 - -120. Let k = n - 64. Is 6 < k?
True
Let y be 1 - ((-52928)/(-52) - 3) - 2/13. Which is greater: -1016 or y?
y
Let t = 117569/5 + -23128. Which is greater: t or 386?
386
Let a = 29834 + -42408. Is -12574 not equal to a?
False
Let k(r) = -r**3 + 26*r - 6. Suppose -292 = 11*m - 347. Let s be k(m). Which is greater: -2/137 or s?
-2/137
Let f be 2 - 0/(1 + -2). Let y be f + -2 - (-4)/(-142). Suppose 30*g - 28*g + 2*o = 0, 2*g - 7 = 5*o. Is g not equal to y?
True
Let r = -26 + 4. Let v(n) be the second derivative of -n**3/6 + n**2/2 - 8*n + 2. Let p be v(25). Is p > r?
False
Suppose a - 3*v + 7735 = -5*v, 5*a + 38675 = 2*v. Is -7736 less than a?
True
Let q(t) = -t**2 + 17*t + 20. Let b be q(18). Let m be 0/b - 48/(-7)*-1. Let o = -282/35 - m. Which is bigger: -1 or o?
-1
Suppose -3*l - 9 = -2*q + 10, 0 = 5*q + 5*l + 15. Suppose -5*j + 17*s - 16*s = q, -2*j + 5*s = 10. Which is bigger: -4/9 or j?
j
Let z(u) = u**3 - 12*u**2 + 12*u - 9. Let j be z(11). Suppose 0 = j*b - 196 - 24. Which is smaller: 111 or b?
b
Let m = -400.18 - -397. Let f = m + 3.28. Which is greater: f or 2/43?
f
Suppose -29*d - 33*d + 4836 = 0. Suppose -687 = -9*z - 3. Which is smaller: z or d?
z
Let n be (-2)/2 - (50 - (-18)/3). Let y = -140 - -83. Do n and y have different values?
False
Let u = 5583 + -7767. Which is greater: u or -2185?
u
Let v = -595174790/6943 + 85723. Which is smaller: -1 or v?
-1
Let h be (-6)/(-12) + 60/8 + -3. Suppose -h*q = 4*p - 180, q = p - 13 - 23. Is p bigger than 37?
True
Let q = -914 + 645. Is -7 < q?
False
Let w = 5.93 + -7.93. Let z = -12.3 - -8.6. Which is smaller: w or z?
z
Let k = -0.0422 - -0.0022. Let p be (6/(-45))/((-9)/(-15)). Is p at most k?
True
Let l = 2 + 83. Let j be l*-1*(-70)/(-25). Let a be (-7)/56 - j/1136. Which is bigger: a or 0?
a
Let n = 633 - 628. Suppose -2*l + 28 = -3*s, -s + 19 = -n*s - l. Which is greater: -18 or s?
s
Let i be 12 + -11 + 4*1. Suppose 0 = -2*s + 3*j - 47, 127 = -5*s + s - i*j. Let l = 19 + s. Which is bigger: -1 or l?
-1
Let j = 12628/5 + -2514. Let x be (7 + -1 - 4) + (1 - -2). Suppose 5*y - 70 = -3*l, 0 = x*y - 3*l - 2*l - 30. Is j > y?
True
Let x be (-5)/2 + 3*4/(-120) - 1. Does 9 = x?
False
Suppose -12*g = -13*g + 3*a - 4409, -5*a = -4*g - 17629. Which is smaller: g or -4408?
-4408
Suppose 292 = 52*j - 280. Let m = 15 + -3. Suppose m = -a + j. Which is bigger: a or -21?
a
Let c be (21/2)/((-1377)/(-918)). Do -344 and c have the same value?
False
Let b(j) = 2*j + 13. Let y be b(-7). Let c = -37 - -16. Let n = c + 33. Which is smaller: n or y?
y
Let o(c) = 81*c - 5222. Let l be o(64). Let j be -38 - ((-2 - -3) + -1). Is l less than or equal to j?
True
Let m = -2.92 + 47.92. Do 0.1 and m have different values?
True
Let l(m) = -100*m + 11900. Let i be l(119). Is 96/665 greater than or equal to i?
True
Suppose 13*t = 16*t. Let p be t + 0 - (-2 + -3). Suppose -p*q = -u + 162, -3*u + 6 = -5*u. Which is bigger: -31 or q?
-31
Let v be (-36)/(-24)*(-44)/(-2) + -4. Suppose -v*k + 40 = -24*k. Suppose -k = 4*m - g - 16, 4*m - 12 = 2*g. Which is greater: -1/115 or m?
m
Let w = 492.56 - 485.56. Let c = -0.54 - -0.6. Is w greater than c?
True
Let k = 182666 - 182671. Let f = -203/4 - -51. Is f smaller than k?
False
Let o be ((-36146)/(-528))/(15/(-99) + 10/(-55)). Which is smaller: o or -205?
o
Let i = -31583 - -31583. Is 18/3173 greater than or equal to i?
True
Let y = 12321 + -12157. Is 97 less than y?
True
Let t(j) = -6*j**2 + 10*j + 35. Let b be t(7). Is 12 equal to b?
False
Suppose 0 = -4*w - 3*a + 108 - 65, 37 = 4*w - 3*a. Let y be -1 + -4 - -9*w/15. Is y smaller than 323?
True
Let q = 0.7753 + -0.7453. Which is bigger: 442 or q?
442
Let k = 69.15 + -41.15. Which is bigger: k or 9/2?
k
Let u = 400/103 + 12243/1648. Is u at least as big as 11?
True
Let q = -4.721 + 2.912. Let i = -0.191 + q. Which is bigger: 35 or i?
35
Let q = 105.3 + -73. Let n = q - 30.13. Which is smaller: 0.1 or n?
0.1
Suppose -18*y + 1516 = 166. Let d = y - 70. Which is smaller: 60/13 or d?
60/13
Let u(x) = 1150*x + 13. Let h be u(1). Let s = -82571/71 + h. Let m = 4 - 5. Which is greater: m or s?
s
Let r(i) = i**2 - 60*i - 5123. Let s be r(102). Is -7562/9 smaller than s?
True
Suppose -4*p = -68 - 16. Suppose 0 = 2*r - 0*r. Suppose r = -8*y - 50 + 218. Is y greater than or equal to p?
True
Let y = 526 - 523. Suppose -15 = -a + 4*o, -2*o - 28 = 3*a - y. Is a smaller than -5?
False
Let n be ((-31)/155)/((-2)/(-15))*-4 + 0. Is n at least 196/33?
True
Let l = -309 + 312. Let x be l*(-44)/12 + -1. Are x and -14 non-equal?
True
Suppose -w = -0 - 5. Suppose -35 = 2*n + w*n. Let l = -8 - n. Is -8/5 != l?
True
Let c = 4112860/49 + -83930. Which is smaller: -1 or c?
-1
Let g(k) = 3*k**2 - 12*k - 18. Let p be g(5). Let o be -6 - (-5 + 3 + p). Is 13/30 >= o?
True
Suppose 1256 = -4*m - 2*h, 5*m + 12*h = 9*h - 1568. Let j = m + 317. Which is greater: j or 1/57?
j
Let v = 52538 + -52534. Let j(x) = x**2 - 6*x + 5. Let u be j(5). Suppose o = 2*c + 9, u = -3*o - 3*c + 8*c + 24. Are o and v unequal?
True
Let y(g) = g + 4. Let x be y(-4). Suppose 0 = -u + 5, -2*s - 116 = -5*u - 121. Which is smaller: x or s