h = c - 37. Which is smaller: -2 or h?
-2
Suppose -3*l + 12 - 6 = 0. Suppose 4*a - 21 + 4 = -5*i, 4*i = -2*a + 16. Is i > l?
True
Let p be (-8946)/(2/1) - (-15 - (-2 - 20)). Which is greater: p or -4481?
p
Let p = -5633 + 5634. Suppose 2*k = -3*v - 2*k - 418, -2*k = -v - 156. Are p and v nonequal?
True
Let b(w) = w + 5. Let i be b(-4). Suppose -i = -2*q - 9. Let c be 18 + -14 - -25*16/(-40). Is q greater than c?
True
Let t be (2/14)/(24166/301). Which is smaller: 1 or t?
t
Let p = 2222 - 2222. Let x = -4 - -10. Suppose -x*u + u = p. Which is smaller: u or -0.6?
-0.6
Let l = -0.03446 + -0.96554. Do l and -1793 have different values?
True
Let v be -3*(-1)/((-6)/16). Let t = 4 + v. Let h be t/(-24) + (-33)/(-18). Is h not equal to 1/4?
True
Let c(v) = 2*v - 12. Let n be c(7). Suppose -l - 8 = -2*f + 7*f, 4*f = n*l - 12. Let j be -5*(-11)/(-55) + (-18)/(-5). Is l < j?
True
Let j = -8076 - -7832. Is j smaller than -1/4?
True
Suppose 8*h = 6*h - 24. Let x be (-4*3/h)/((-4)/(-4)). Is 3/68 bigger than x?
False
Suppose -2*t + 52 + 50 = 0. Let d = t + -33. Suppose -2*y - d = -16. Is -1/125 smaller than y?
False
Suppose 4*o - 5 = 5*l, -3*l - 35 = 6*o - 2*l. Let c be 4 - -5*6/o. Which is bigger: c or -41/15?
c
Let n = -121532/11 + 11058. Is n at most 11?
True
Suppose 403 = 5*r + 113. Suppose -2*j = 10, 137 = 2*i + 2*i - j. Let p = i - r. Are -25 and p non-equal?
False
Let n be 1/6*((-38)/8 + 4). Suppose -3*a + 3*y + 27 = 4*y, 5*a - 34 = 2*y. Suppose 0 = 7*c - a*c. Which is smaller: c or n?
n
Suppose 0 = 5*a + 17 + 8. Let l be 4*(-2)/54*(-7 + (-415)/(-10)). Is a >= l?
True
Let t be 1/15*-3 - (-805)/650. Let z = t - -44/39. Which is smaller: z or 2?
2
Let d be (-132)/(-45)*4/(-2). Let q be ((-10)/(-15)*-10 - -1)/(-1). Let s = q + d. Do s and -5 have the same value?
False
Let g be (14 - 7) + 18073/(-2451). Let y = 16/57 + g. Is y > 0?
False
Let b be (-6938)/(-234736) - (-236)/(-8024). Is -1 at least as big as b?
False
Suppose 2*f + 4*o - 2 = -14, 5*o - 6 = f. Let k be 10/(-4)*(f - 14). Let y = k - 50. Which is smaller: 2/99 or y?
y
Let f = 0 - 1. Suppose 3*a - 20 + 8 = 0. Let q be 12/a - 234/63. Is q at least f?
True
Let u be -1*1/4 + 17 + (-14211)/36. Is u < -3021/8?
True
Suppose 0 = -k + 2*v - 823 - 4087, -5*k = -2*v + 24550. Which is greater: -4909 or k?
-4909
Let c = 8024 + -8050.904. Let w = c - -27. Let k = w - -9.904. Which is smaller: 3 or k?
3
Let x = 28621 + -28621. Let z = 0 + -1. Let p be ((-9)/(-8) + z)*2. Is x < p?
True
Let y = 8.689 + -7.489. Which is greater: y or -149?
y
Let m = 649 - 644. Suppose -v = -3*k + 45, 0 = -m*k + 11 - 1. Is -44 smaller than v?
True
Let u = 821032/26703 - 830/27. Which is greater: -1 or u?
u
Suppose -22*q = -1004 - 734. Suppose -68*r + q*r = 220. Is 18 >= r?
False
Let a = 1579/8 + -196. Let r be (-2)/6*3 - -5. Suppose r*f + 5*k = 4*k, 5*f + 3*k = 0. Which is smaller: a or f?
f
Let i(k) = -77*k - 800. Let l be i(-10). Which is greater: l or -28?
-28
Let b = -818677/143 - -5725. Which is greater: b or 2/57?
2/57
Suppose 2*q = 3*q + 9. Let u(b) = -2*b + 14. Let j be u(5). Let z = j - 14. Is q less than z?
False
Let f = 0.2 + -0.2. Let t = -11.84 - 431.16. Let b = 443.09 + t. Is b < f?
False
Let c = 4494 - 13143. Which is greater: c or -8650?
c
Suppose -3*f + 31 = -3*v + 2*v, 0 = -5*f + 5*v + 55. Suppose 2*o - 5*u = -f - 2, -4*o - 4*u = -32. Which is greater: o or 1?
o
Let g = -211.915 + -3.685. Which is bigger: 0 or g?
0
Let b be (-90)/315 - (-1 + 2972/(-14)). Which is bigger: 212 or b?
b
Let a be 10/8*(6 - 7)*-4. Suppose 4*m + 5*f = -19, m - 3*f = a*m + 13. Which is bigger: m or -1/8?
-1/8
Let h = 365 - 360. Suppose h*o = -51 - 189. Is -47 != o?
True
Let a(p) = p**2 + 13*p + 33. Let s be a(-10). Let k be s/((-54)/(-20)) + (-2)/18. Which is smaller: -3/58 or k?
-3/58
Let r = 34708209920 - 118910324559857/3426. Let f = 17/1713 - r. Let w = f + 784. Which is greater: w or 17?
w
Suppose -3*f - o - 37 = -7*f, 3*f - o - 27 = 0. Let h(k) = k**3 + 17*k**2 + 15*k - 13. Let n be h(-16). Suppose 5*d - n = 57. Do f and d have the same value?
False
Let v be (-1965)/(-11397)*-4*1/(-1100). Suppose 6*k - 2 = 3*k - w, 0 = 4*k + 4*w - 8. Are k and v unequal?
True
Suppose 28 = -0*b - 4*b. Let o = 183 + -182.9. Are b and o equal?
False
Suppose -u + 4*s = 217, -3*u - 19*s + 21*s = 711. Let l = 142 + -384. Does u = l?
False
Let x be (1/(-3))/((-39)/519948). Let j = 17651/4 - x. Do -31 and j have different values?
True
Let p be (-43)/(-215)*(0 + 0). Let c be 42/114 + -1 - p. Suppose -o - 2 = -3*v, 4*o - o = -5*v - 6. Which is smaller: c or o?
o
Suppose -2*r - 12 = l + 10, 0 = 3*l + 2*r + 70. Let j = l + 26. Is 34/19 equal to j?
False
Suppose 10*c = -j + 14*c + 23, -2*j + c + 53 = 0. Let q = 20 + -12. Which is smaller: q or j?
q
Suppose 6*h = 715 - 517. Let z be (-78)/(-104) - (3 + h/12). Which is smaller: 0 or z?
z
Let a be (-6)/(-5) + 4/5. Suppose b + 0*b = -5*f - 41, a*f + 21 = -5*b. Which is greater: f or 1?
1
Suppose -95*y + 94*y - 2*q = -6, 6 = y + 3*q. Which is greater: 47/10 or y?
y
Suppose h = -o + 350, 0 = 6*h - 4*h + o - 706. Which is greater: -7 or h?
h
Let w(p) = -2*p**2 - 31*p + 20. Let c be w(-16). Let x be ((-6)/240)/(c - 524/130). Does 0 = x?
False
Let d be 440/275 - (-13)/5*-1. Are 406 and d nonequal?
True
Suppose -23*x = 12*x - 49*x + 1106. Which is smaller: x or 73?
73
Let t = 6797/45 - 151. Let m be 1/13*(280 - 267). Is m smaller than t?
False
Suppose -237*n - 26*n = -73*n + 159410. Is -837 less than n?
False
Let m be ((-2)/(-5))/((-600)/(-7250)) + -4. Are -13.7 and m unequal?
True
Suppose 6 + 494 = 20*x. Let i be (-20124)/(-25230) - 20/x. Are i and 1 unequal?
True
Let a(g) = 38*g**2 - 1. Let x be a(-1). Suppose -5*i + 13 = -x. Suppose 0 = -6*t + 76 - i. Does t = 0?
False
Let a = -11 - -8.5. Let o(g) = -21*g**2 + 10*g**2 + 4*g + 10*g**2 - 3. Let l be o(1). Which is smaller: a or l?
a
Let k = -5947 + 5930. Let i = 53/3 - 34. Do i and k have different values?
True
Suppose 34 - 4 = 6*v. Suppose 0 = -5*t - v*a + 36 - 11, -5*a = -2*t + 10. Suppose t*l = -10, -3*l = 5*c - l - 11. Is c at most as big as 4?
True
Let h be (-2 - 8) + (7/7)/((-2)/(-22)). Let t = 53247/37 - 1439. Which is bigger: h or t?
h
Let o be (3/(-9))/(-1)*2*-6. Let u = 51.9 + -4.9. Let g = -48 + u. Is o != g?
True
Let t = -106.9 + 100. Let r = 7.11 + t. Is r less than 7?
True
Let y be 1*-1*1 - 236. Let n be (-19046)/80 + 3876/51680. Which is bigger: y or n?
y
Suppose -424*x + 698 = -422*x. Is 347 < x?
True
Let w = -627 + 631. Suppose 3*o = w*v + 67 - 18, 4*v + 4*o + 28 = 0. Is v smaller than 2/23?
True
Suppose -2*f + 21*m - 28*m - 359 = 0, 1 = -m. Is f less than -882/5?
False
Suppose 7*p + 4455 = -4*p. Let r = -440 - p. Is r equal to -30?
False
Let v be 3/(12/(-16))*(554/4 - 6). Is v smaller than -530?
False
Suppose -34*z + 39*z = -3*w - 28, 20 = -2*w - 4*z. Are w and 0.2 nonequal?
True
Let j = -10 - -3. Let o = -177 + 187. Let d be 6*o/(-15) + -2 - -1. Is j >= d?
False
Let n be (3 - 4)/(2 - (-285)/(-145)). Let l be 242/(-8) - (-2)/8. Let m = l - n. Is 1/42 equal to m?
False
Let q be 390/1365 + 88920/(-311318). Which is greater: q or 1?
1
Let k = 1261 + -719. Let v = k - 541. Is 75 >= v?
True
Suppose -4 = 2*d, 24*s - 9*s - 2*d = 454. Which is greater: 27 or s?
s
Let w = 15/13 + -456/91. Let a = -835 - -830. Which is bigger: w or a?
w
Let s = -6.225 + 5.225. Are 188 and s unequal?
True
Let b = -10261 + 10252. Is b <= -125?
False
Let q be -8 - 4248/45 - (-1)/5. Do -102 and q have different values?
True
Suppose 0*a = a - 2*b - 81, -88 = -a - 5*b. Suppose 5*r - 95 = z + a, -2*r + 85 = -5*z. Is 33 greater than r?
False
Let r = -938 - -940. Suppose -6*h - 73 = 5*g - 18, 0 = -r*g + 2*h. Let o = 164/9 - 206/9. Is o equal to g?
False
Let v(z) = -273*z + 6219. Let x be v(0). Is 6220 at most as big as x?
False
Suppose 72 = -8*y + 17*y. Suppose 3*r - x + y + 52 = 0, -3*r + 5*x - 60 = 0. Which is greater: r or -19?
-19
Let d be -24*20/(-84)*(-1 - (-165)/175). Which is bigger: d or -1.4?
d
Let o = 0.5 + 1. Let c = -3.87349 - -3.87349. Is o less than c?
False
Let q(l) = -31*l + 47. Let x(b) = b**2 + b + 1. Let a(t) = q(t) + x(t). Let u be a(29). Which is smaller: 77/4 or u?
u
Let k = -0.00773 - 0.99227. Is k less than or equal to 845/9?
True
Let u(c) = -c**3 - 7*c**2 