to j?
True
Let u be (0 + -1)/(2/80). Let x be ((-24)/u)/((-2)/(-30)). Suppose -x*b + 4*b - 5 = 0. Are 10 and b unequal?
True
Let h(t) = 55*t - 989. Let m be h(18). Let p be (1/79)/(1/(-4)). Is m at least p?
True
Let h(b) = b**2 - 146*b - 599. Let z be h(150). Let y = -2208191/424 - -5208. Which is smaller: y or z?
y
Let k = 364 - 302. Suppose -k*b + 81*b = 646. Which is bigger: 0 or b?
b
Let m(w) = -5*w**2 - 2*w + 2. Let r be m(-2). Let b = -120/173 - 16499/1903. Let g = b + -215/44. Which is greater: r or g?
r
Let s be (-375)/(-750)*752/366. Is 1 not equal to s?
True
Let k be (8/(-10))/(3/(-20)). Suppose 0 = -6*u + 9*u - 5*p + 19, 4*p = -4*u + 28. Suppose -16 = -t + 3*i, -u*t - 2*t - i + 12 = 0. Which is smaller: k or t?
t
Suppose -5*j = -5165 + 6030. Is -2/9 less than j?
False
Let v be (-2)/4*6/(-458). Let q be 0/((20 - 11) + -21). Is v < q?
False
Suppose -13*w + 16*w = -2*v + 8448, 4*w - 4*v = 11224. Which is smaller: w or 2814?
w
Suppose 7*a - 56 = 2*j + 10*a, 2*j = 5*a - 24. Which is bigger: j or -15?
-15
Let y be (-393)/(-1760) + (-1068)/(-1958). Is y bigger than 0?
True
Let i be (-8)/((-8)/5) + -35. Let x be (14/1645)/(2/i). Which is smaller: x or 2/7?
x
Let n(x) = 45*x + 199. Let h be n(7). Which is smaller: 515 or h?
h
Suppose -2*a = -3*t + 200, -260 = -4*t - 0*a + a. Let v = t + -52. Suppose -17*s + v = -15*s. Which is smaller: s or 5?
5
Let g(v) = 6*v + 62. Let z be g(-10). Suppose -o + c = -c + z, 4 = 5*o + 4*c. Let h = 0 - 2. Which is greater: o or h?
o
Let u(r) = -r**2 - 219*r + 875. Let y be u(4). Is -17 at most y?
True
Suppose -3*s = -s + 4*d - 4, -2*s = -4*d - 4. Let v = -2/28971 + -28889/1187811. Which is bigger: v or s?
s
Let c = 4519.99 - 4489. Let u = c + -3.69. Is u != 1?
True
Suppose -3*v = -8*v - 10. Let a be (0 - v) + -5 + 8. Suppose 0 = 5*q + 2*c - 7 + 234, -243 = a*q - 2*c. Is -47 less than or equal to q?
True
Suppose -821*v + 815*v + 60 = 0. Let r be (2 + 7 + -2)*(-7 + v). Is 5 equal to r?
False
Suppose -48 + 33 = -3*g. Let b be (((-440)/(-15))/4)/((-2)/3). Let i(z) = z**3 + 10*z**2 - 11*z + 4. Let d be i(b). Which is greater: d or g?
g
Let m be (6/44)/(1 - 4). Suppose -7*i + 47877 = 47870. Is i at most as big as m?
False
Let b be ((-28)/20 + 1)/((-5)/(-25)). Let w be -7 + 13 + 1*-1. Suppose 10 = -w*a + 4*o + o, 2*o = -4. Which is greater: a or b?
b
Let i(c) = -4*c**2 + 48*c - 4. Let y be i(20). Is y bigger than -641?
False
Suppose -403*z + 10 = -406*z - 2*n, 0 = 2*z + 5*n + 25. Do 15/832 and z have the same value?
False
Suppose -5*j - 6 = -5*x - 6*j, 0 = -4*x + j - 6. Is x smaller than -2/8777?
False
Let c = 0.195 + 597.805. Let d = 599.4 - c. Suppose 0 = -2*y, -3*l = -4*y - y + 6. Is d smaller than l?
False
Suppose 2435*w - 2471*w = -36. Is 109/149 greater than or equal to w?
False
Suppose k - 5*u = -3*k - 624, k + 165 = -u. Let f = -160 - k. Let l be (-2)/5 - (-4)/35. Which is bigger: f or l?
f
Let v be ((-45)/(-36) - (-193)/(-148))/71. Let w = v + 2717/118215. Which is bigger: -1 or w?
w
Let l(h) = -3*h**3 - 2*h**2 - 14*h - 10. Let f be l(5). Is -505 < f?
False
Let h = -686.038 - -686. Let z = -0.072 + h. Are z and -2 nonequal?
True
Suppose 0 = 4*f - 7*y + 8*y - 160, 3*f = -3*y + 129. Let b be 15/((0 + -2)/((-12)/f)). Which is bigger: b or -1/4?
b
Let y(s) = 181 + 3*s - 8*s - s - 49. Let n be y(22). Is 4/49 < n?
False
Let b be 133189/9751 + -14 + 4/14. Is -1 > b?
False
Let p = 3508/433 - 10175815/7361. Let f = -1375 - p. Which is smaller: f or -2?
-2
Let h = 12709 - 7608. Is h equal to 10201/2?
False
Suppose g + 1 = -0. Let l be -6*(-1)/(g/18 - 0). Let q be l/(-660) + 4/(-22). Which is smaller: 0 or q?
q
Let k(z) = -2*z**3 - 3*z**2 - 3. Let b be k(-3). Let c be 34/4*(-118)/(-59). Is c at least b?
False
Suppose -11 = -2*n + 36*v - 37*v, 29 = 5*n + 3*v. Let q be n/((-48)/20)*(-24 + 21). Let a = 0 - -2. Which is smaller: q or a?
a
Let a = -1/46400 + 2321/46400. Suppose 0 = -0*v - v. Suppose -2*z + 0 - 2 = v. Which is smaller: a or z?
z
Let i = -9 - -11. Let t = -74 - -71. Let p be t - ((-12)/75)/((-4)/(-90)). Is i > p?
True
Suppose -6724 + 250 = -85*g + 1856. Do g and 58 have the same value?
False
Let c = -3686 - -1550. Let g = c - -10634/5. Let s = g - -128/15. Which is bigger: 2/11 or s?
2/11
Let a = -13 - -12. Let g be a/(-3) - 64/408. Let n(k) = -24*k + 96. Let s be n(4). Is g > s?
True
Suppose -3*p - 25*h = -30*h + 25, -h + 5 = -p. Let c be ((-45)/12)/(-5) + (-121)/(-4). Which is greater: p or c?
c
Let h = 2998/20937 + -1/2991. Do h and 4240 have the same value?
False
Let q = -16627393/3789 - -13165/3. Which is smaller: 1 or q?
q
Let w = -12 - 26. Let a be (-10 + (-473)/(-33))/(-2 + (-68)/(-36)). Are a and w equal?
False
Suppose -14*r + 9*r - 2*l = 72531, -l = -5*r - 72522. Is -14505 less than r?
False
Let t = 31.8 - 32. Let m be ((-19242)/12)/((-9)/(-12)). Let q = m + 190280/89. Which is greater: t or q?
q
Suppose 20*t = -9 + 89. Suppose 5*y + 2*g = -48, 0 = y + y - 5*g - t. Which is smaller: y or -0.2?
y
Suppose -51*k - 15908 = 4*k - 14*k. Are -1555/4 and k equal?
False
Suppose 6*p + 5 = 11*p. Let r be (-30)/(-26) + (-3)/p. Let n(t) = -399*t - 400. Let a be n(-1). Which is smaller: r or a?
r
Suppose l = 2*u + 181, u = 11*l - 16*l - 118. Is u >= -9?
False
Let v(q) = 17*q**2 + 5*q - 3. Suppose -5*h + 5*a = -20, 3*h - 2*a + 0 - 9 = 0. Let p be v(h). Suppose -p*s + 26*s = 308. Are 44 and s equal?
True
Let d = 27 + -17. Let h be ((-12)/d)/(24/80). Suppose 0 = -29*n - 203. Is n smaller than h?
True
Let v = 108614 - 981602/9. Let w = v + 453. Let h = -0.04 + -2.96. Is h smaller than w?
True
Let l = 6 + -12. Let d(r) = -8*r + 33. Let p(g) = -8*g + 33. Let w(x) = l*p(x) + 5*d(x). Let o be w(15). Is o > 88?
False
Suppose -64*v + 119*v - 12 = 67*v. Let f = 90 + -81.4. Is v at most f?
True
Let i = 9744.11 - 9744. Is i equal to 5/2?
False
Suppose 5*b - 112 - 55 = -s, -b + 361 = 2*s. Let w be (s/(-42) + 0)*(39 - 0). Does -168 = w?
False
Let q = 311 + -194. Let b = q + -107. Is -8 at most b?
True
Let i(d) = d + 69. Let j be i(0). Suppose -2408 + 2748 = 5*k. Does j = k?
False
Suppose 182*w = 385 + 360 - 17. Is 45/16 > w?
False
Let y(w) = -3 - w + 32 + 5 - 2*w - 9. Let o be (-21)/(-6)*4/2. Let t be y(o). Which is smaller: -17 or t?
-17
Let y = -2747879/153 + 17960. Which is smaller: y or -0.07?
-0.07
Suppose 5*s + 208 = -p + 3*p, 2*s = -3*p - 87. Let l = -39 + 0. Is l at least as big as s?
True
Let j = 34048 + -22696. Which is smaller: 11353 or j?
j
Suppose 6*h = 160 - 940. Let r = h + 265. Which is greater: r or 136?
136
Let w = 2593 - 2592. Is -7/129 at most as big as w?
True
Let q = 394 + -382.86. Let f = q - 0.14. Do f and -1.4 have different values?
True
Let y(t) = -t**2 - 114*t - 2520. Let w be y(-84). Does w = -1/4612?
False
Let y = 3/15190 - 20102/121011135. Which is smaller: 0 or y?
0
Let o be (0 - 1)*0*(-57 - -58). Suppose o = -0*x + 5*x + m - 660, 5*m = 3*x - 368. Is 131 smaller than x?
False
Let a = -4052 - -4052. Let q = 0.319 - 0.3. Is a > q?
False
Let p(o) = 2 - 115*o**2 + 3*o + 336*o**2 - 47*o**3 - 111*o**2 - 109*o**2. Let t be p(-1). Which is smaller: t or 0?
0
Suppose v + 6 = 1, -50 = -4*j - 2*v. Suppose 4*p - 101 = j. Suppose 32*i = p*i. Do -2/15 and i have different values?
True
Let r be (-3 - 1) + -1 - 73410/(-22925). Let w = r + -2/917. Which is bigger: -1 or w?
-1
Let h = -7429 - -8092. Is 664 at least h?
True
Suppose 12*l + 83 = -25. Let m be 5 - ((1 - 0) + (-5 - l)). Which is greater: -6/19 or m?
m
Let v = 2 - 1. Let l = 2371 - 2428. Which is smaller: l or v?
l
Let h = -22.9 + 20. Let r = h - -3. Let t be 85/(-715) - (-63)/231. Is r greater than t?
False
Let m(r) = -r - 5. Let t be m(-4). Suppose -19*u + 15*u + 2*q = 846, 4 = -4*q. Let l = u - -210. Which is smaller: l or t?
l
Let r = -581.2 + 581.025. Is -1/9 less than r?
False
Let m(b) = -6*b**2 + 10*b + 113. Let g be m(-6). Is -161 at least g?
True
Suppose 4*d + 15 = -5*y, -15 = -2*d - d + 5*y. Suppose -2*o + d*o - 42 = 0. Let h be (4 + o/5)*1. Are h and -1 unequal?
True
Let v be 4/2*(-15)/(-2). Let z = 31 - 31. Suppose z = f + 4 - v. Which is bigger: f or 12?
12
Suppose -2558*p - 28 = 2*l - 2557*p, -5*l - 70 = -2*p. Is l less than -29/2?
False
Let k be (-56)/(-12) + (-2)/6*-1. Suppose k*f + g = -1, -4*g - 3 = 2*f + 1. Suppose f*l - 15 = 5*z 