 Which is smaller: -4 or c?
-4
Suppose 0*u = u, -u = -5*w + 90. Suppose -8*s = w*s + 52. Is s at least as big as -168?
True
Let j = 22 + -23. Let o be j + -2 + (-1 - 52/(-6)). Let l = -5 + o. Is l > 1?
False
Suppose -4*j = 3*i - 2*i - 89, 5*i + 2*j - 391 = 0. Let g = -76 + i. Do g and -5/54 have the same value?
False
Let o = 405 + -387. Let l be (29 + -27)*(o/26)/1. Is l at least -3/4?
True
Suppose 29*m + 50720 = 20*m + 19*m. Is 5073 >= m?
True
Suppose 147 = 6*y + 87. Let c = 14 + -10. Suppose -y = -5*k, -2*m - 2*k = -3*m - c. Are m and 2 equal?
False
Let j be (-4)/(-3)*(-945)/(-270). Which is greater: j or -0.54?
j
Let x(v) = -3*v**2 + 7*v + 6. Let u be x(3). Suppose u = -6*m + 45 + 21. Suppose 1050 = m*b + 3*b. Is 75 != b?
False
Let f = 0.0001 - 15.9001. Let w = -15.9 - f. Which is greater: 2/19 or w?
2/19
Suppose 0 = 6*o + 121 + 5. Let f be 6/9 - (-29)/o. Let i = f + 22/21. Which is bigger: -5 or i?
i
Suppose 25*s - 221 = 79 + 450. Is s >= 353/12?
True
Let g = -16 + 16. Suppose -k + 12 = -3*v, g*v - 3 = -v - 2*k. Let j be 0/(-4) - (v - -2) - 2. Are j and -1/20 unequal?
True
Suppose -11*c + 16 = -39. Suppose 6*r - 4*r - 97 = 5*j, 3*j - 165 = -c*r. Let i be (12/r)/(2/6). Is i less than or equal to 4/9?
False
Let d = 259773/5 + -50872. Let c = 1066 + 3. Let k = c - d. Is k > -14?
True
Suppose 6*a = 62 - 26. Suppose 7*o = -a*o + 65. Suppose -f = o*j - 32 - 29, -4*j - 220 = -4*f. Which is greater: 57 or f?
57
Suppose -6 = 3*c - 0. Suppose -5*s - 2*x = 6, -5*s = -4*x - x - 15. Let y be 72/(-32) + (s - c). Is 1 smaller than y?
False
Let h = -313351/402110 - -123/158. Is -1 less than or equal to h?
True
Suppose 5*a - 6*q = -3*q - 204, -5*a - 2*q = 189. Let u be (1/(-10)*-6)/(594/(-220)). Is a greater than u?
False
Let w(x) = 12*x**2 - 3. Let o be w(-2). Suppose -28 - o = z. Let g = z + 105. Is g smaller than 34?
True
Let t(m) = m**3 + m**2 - 5*m - 3. Let i be t(-3). Let r(o) = 18*o + 816. Let x be r(-46). Is i smaller than x?
False
Let q(r) = -12*r - 303. Let p be q(-32). Suppose -p*n + 63*n = -180. Which is bigger: 12 or n?
12
Let g = 51 - 20. Let c = -29.38 + -1.62. Let z = c + g. Is -28 at most z?
True
Let u(v) = 24*v - 144. Let a(i) = 46*i - 287. Let d(p) = 3*a(p) - 5*u(p). Let l be d(22). Is l at most 256?
True
Let n = 58789 - 58788.99. Let h = 0.1 - 0.1. Which is smaller: h or n?
h
Let d = 102 - 105. Let y be d/(1*(-485)/470 - -1). Is 467/5 equal to y?
False
Suppose -g + 10 = 2*b, -3*b - b + 20 = 3*g. Let t be (528/3388)/((-24)/(-21)). Which is greater: g or t?
t
Let f(d) = -6*d + 37. Let c(k) = 3*k - 19. Let m(h) = -5*c(h) - 3*f(h). Let p be m(6). Suppose 8*z = 10*z + p. Which is smaller: -1/59 or z?
z
Let c(r) = -r**3 - r - 3. Let n be c(-3). Let d be ((-15)/(-100))/(n/24). Let o = 1923.1 + -1923. Which is smaller: d or o?
o
Suppose -686*g - 37140 = -746*g. Is 631 at least g?
True
Suppose -4*d - 6*o = 22, 2*d - 16 = 3*o + 15. Which is smaller: d or -303?
-303
Let u(h) = -4*h**2 - 176*h - 171. Let w be u(-43). Is 2/5867 less than w?
True
Let d = 207.3 - 196. Let r = d - 16.93. Let b = r + 6. Which is smaller: b or 0?
0
Let i be 21*1 - (-90190)/(-4354). Is i smaller than 1.74?
True
Let u be ((13848/(-10))/1)/((-21)/(1575/30)). Which is greater: u or 3463?
3463
Let t be ((-24)/(-16))/(1/22) - (-229 + 220). Let m = 0.4 + -1.4. Does t = m?
False
Let t(z) = 26*z - 1091. Let g be t(35). Which is smaller: g or -183?
-183
Suppose 0 = -49*s + 36*s + 9386. Let x = -725 + s. Is 46 <= x?
False
Let i = 2769 + -2478. Let q = 95150 - 572651/6. Let m = q + i. Which is smaller: -2/3 or m?
m
Let x = 16 - 11. Suppose 0 = -3*h + h + 2, -x*f + h + 99 = 0. Let p be 1/(2 + f/(-8)) + -1. Which is smaller: p or -1?
p
Let u be (-29398)/56 + -7 + (-1)/(-4). Let o = u - -532. Which is smaller: o or 2.9?
o
Let p = 376 + -696. Let g = p + 319.9. Do g and -0.072 have different values?
True
Let q = 15920118/829 + -19204. Let a = -190083265172/270614834685 - -5/130574106. Let h = a + q. Is -2 bigger than h?
False
Let s = -9 + 9.7. Let d = s + -1. Let k = 2759 + -2758.9. Is d greater than or equal to k?
False
Let s = 491893/45 + -10931. Which is smaller: 12 or s?
s
Suppose 17*b - 2951 = 2*b - 1466. Is b at most as big as 115?
True
Suppose 5*p + 47 - 4 = 3*x, -2*p - 14 = -x. Suppose -2*d = -8 - x. Suppose n - 5*c - 20 = 0, -6*n = -2*n + 3*c + d. Is n < -1/60?
False
Let l(f) = -6*f + 56. Let w be l(9). Suppose 2*k = 4*c - 14, w*c + 4*k - 5 = 7*k. Which is smaller: c or -12/5?
-12/5
Suppose 3 = o + 3*i, -4*o + 5*i + 3 = -9. Suppose -o*m = -m. Suppose m*b - 4*h = -2*b - 46, -24 = b - h. Is b at most -24?
True
Suppose -3*b - 2 = 5*k + 2, -5*k = 5*b + 10. Let j be -6 + (((-514064)/8037)/(-16) - 4/(-2)). Which is smaller: k or j?
j
Suppose 7*z - 588 + 1428 = 0. Let d be 12500/z + (-3)/36. Are d and -105 equal?
False
Let v(x) = -x**3 - 13*x**2 - 23*x - 9. Let b(c) = -4*c**2 + 2*c + 9. Let f be b(-2). Let p be v(f). Which is bigger: 72 or p?
72
Let a(r) = 6*r - 10. Let w be a(3). Let f be -7 - (w - 53669/3577). Which is bigger: 1 or f?
1
Let u = -162.23 - -586.97. Let y = u - 430. Which is smaller: y or 1?
y
Suppose 0 = 4*l + 42 - 30. Let n be (1/(1/l))/(1 + -2). Which is greater: n or 8/5?
n
Let c = 107.802 - 80.85. Let v = c - 27. Let g = v - 0.002. Which is greater: -1/3 or g?
g
Let y = -8.743 + 8.8173. Which is smaller: 6 or y?
y
Let p(f) = 2*f**2 - 21*f + 10. Suppose k + 8 = 4, 4*a - 60 = 5*k. Let t be p(a). Which is smaller: 4 or t?
t
Suppose 4*w = 2*o - 266, 526*w - 523*w = -3*o - 186. Which is smaller: -464/7 or w?
-464/7
Suppose 10*j + 31 = -6*j + 15. Is j smaller than 2/1125?
True
Suppose -4*g + 5 + 7 = 0. Suppose -3*u + 93 - 96 = 0. Let x be 24/(u - (-50)/6). Is g != x?
True
Suppose -781*h - 16715 - 29926 - 105654 = 0. Suppose -5*o + 523 = 4*p + 1507, o + 5*p + 201 = 0. Which is greater: o or h?
h
Let w = -131 - -134. Suppose -d - w*d - 4*y - 48 = 0, 5*d + 39 = 2*y. Do d and 0.3 have the same value?
False
Let o = 7053266273 + -3928675101846/557. Let x = o + 10391. Is -1 != x?
True
Let f(t) = -t**3 - 31*t**2 - 32*t - 56. Let c be f(-30). Let j be (-2)/c + (5601/3726 - 1). Is j not equal to 0?
True
Let x(w) be the second derivative of w**3/6 - 7*w**2/2 - w. Let z be x(7). Let v be (-928)/(-45240) + 2/(-13). Which is bigger: v or z?
z
Suppose 3*j + 0*j - 5*b - 59 = 0, 5*b = 10. Let u = -20 + j. Let i be (u - 4)*(2 + 14). Which is smaller: -17 or i?
-17
Suppose -5*g + c + 946 = -1387, 2*g - 923 = -3*c. Suppose -w + 7*q - 2*q + g = 0, 0 = q + 1. Is w bigger than 461?
False
Let j be (-786528)/720 + 4/10. Which is smaller: j or -1086?
j
Let c(k) = 130*k - 4680. Let u be c(36). Are u and -8/197 equal?
False
Suppose 0 = 8*k - 7*k - 2*u - 3, 17*k = -2*u + 15. Which is greater: -2/6357 or k?
k
Suppose 0 = 4*m + 2*p - 24, m + m = p + 4. Suppose w - m = 5*w. Let r be ((-66)/(-27) - w) + -3. Is r greater than or equal to 0?
True
Let y be 128/(-2)*(-108)/48. Suppose 13*q = 22*q + y. Is -122/7 less than q?
True
Let w = 30.491 - -0.009. Is 18 less than w?
True
Suppose 3*w + 40 = -4*k - 13, 0 = 5*k - 4*w + 74. Let t be 0 - (-5 + (-91)/k). Which is smaller: t or 0.4?
t
Let y be 6/28 + (-25764)/1064. Which is smaller: -3/8 or y?
y
Let j = 480 - 488. Let q be (0/1)/(j - -10). Which is bigger: -3/491 or q?
q
Suppose -3238 = -5*r - 2*w, -1922 = 108*r - 111*r + 4*w. Which is bigger: r or 7110/11?
7110/11
Suppose -5*v - 1388 = 4*d, -3*v - 3*d - 326 - 505 = 0. Let l = v - -265. Is -15 > l?
False
Suppose -2*c - 47 - 169 = 0. Let m be ((-428)/(-1314))/((-3)/(c/30)). Let j = m - -2/219. Which is smaller: 23 or j?
j
Let b be ((-2)/(-56))/((-250)/200 + (-85)/(-80)). Let m = 0 + 0. Are m and b nonequal?
True
Let x = -0.38 + 0.245. Let v = x - -0.125. Is 3/13 at least v?
True
Let p be 6*3/5*1/(-123). Let h = -1/6970 + p. Let q be -4 - (3/(-1) - 0). Is h less than or equal to q?
False
Let u(j) = -j**3 + 9*j**2 + 144*j + 67. Let v be u(-8). Is v > 3.9?
False
Let g be ((-32)/(-10))/(-1 + (-177)/(-180)). Let u be g/(-107) - (-9 + 11). Let j = u + -2071/856. Which is smaller: j or -3?
-3
Suppose 3*a - 7030 - 1226 = 6*z, 0 = -5*a + 2*z + 13712. Which is smaller: 2742 or a?
a
Let h = 32502 - 29550. Which is smaller: h or 2951?
2951
Let a be (-16723)/16597 + -8 - 81/(-9). Is 1 smaller than a?
False
Suppose -