hich is bigger: 39 or x?
x
Suppose -59*d - 45*d = -132*d - 198912. Which is smaller: -7105 or d?
-7105
Let h = -1484 - -1362. Which is smaller: h or -6?
h
Let f be 976185/(-180) - (-2)/8. Is -5424 bigger than f?
False
Let g(v) = 3*v**2 + 12*v + 5. Let x = 69 + -75. Let p be g(x). Let m = p + -46. Is 0 at most as big as m?
False
Let r be (-203415)/(-195) + (-6 - (-608)/104). Is 1042 > r?
False
Let x = 32 + -10. Let u = 1105.5 - 1127. Let h = u + x. Are h and -1/4 equal?
False
Let l = 19.41 - 12.91. Let z = -2.92 + -0.08. Let r = -3.1 - z. Is l less than r?
False
Suppose 8*f - 5*f - 3*c + 68001 = 0, -4*c + 67994 = -3*f. Which is greater: -22675 or f?
f
Let o be ((-386)/(-202) + -2)*(-160)/(-5920). Are -1 and o equal?
False
Let l(v) = -25 - 3356*v + 1676*v + 1678*v. Let s be l(1). Which is greater: -30 or s?
s
Let p be (-5 - 2)/(0 - 1/1). Suppose -8*j = -p*j - 56. Suppose 3*f - 81 = -o + 4*o, j = -2*o + 4*f. Is o bigger than -26?
False
Let t(o) = 2*o + 3. Suppose 0 = -53*n + 48*n - 10. Let z be t(n). Which is smaller: 6/29 or z?
z
Suppose 211 = 38*c + 90*c - 1325. Which is greater: 23 or c?
23
Suppose -3*d + 3*m = -d - 37, 5*d = -4*m + 35. Suppose -d*l + 6*l = -10. Let h = 1/15 - -8/5. Is h != l?
True
Let c = -0.011 + -57.989. Let t = c + 69. Is t <= 1/3?
False
Let c be (-3)/(-10) + (-6280)/(-400). Suppose -54 = -7*a + a. Let b be 164/a - 2/9. Is c at least b?
False
Suppose 4*a + 5*p - 22 = 0, -a - 51*p + 53*p - 1 = 0. Is a bigger than -19?
True
Let t be 244584/(-6804) + 2/21. Which is smaller: -37 or t?
-37
Suppose -7*z = -16 - 5. Suppose 2*v + 0 = -z*r + 5, -4*r + 16 = 4*v. Suppose 3*d = v*d - 4. Which is bigger: d or 1/6?
d
Suppose -2*b - 6*l = -2*l - 248, -3*b + 382 = l. Let d be 80/b*(-6)/15*-1. Let f = 89.27 - 0.27. Which is greater: f or d?
f
Let u be (-9)/(-3) - 7780/16. Let o = 98599/204 + u. Let p = -459 + 459. Is p less than o?
True
Suppose 7 = 5*m + 8*l - 9*l, -3*l + 5 = -2*m. Suppose 22 = -4*o - 4*x + 2*x, 2*x = m. Which is bigger: -41/8 or o?
-41/8
Suppose 34*h - 33*h - 172 = 0. Let p be 168 + (66/17 - (-8)/68). Is p >= h?
True
Suppose 2*o - 5 = 3*z, -3*o = -17*z + 20*z. Which is smaller: o or -2/291?
-2/291
Let a(w) = -w**2 - 15*w + 21. Let n be a(-16). Suppose 0*y + n*y = 45. Let p = -23 + 29. Is y < p?
False
Let y(v) = -119*v - 677. Let a be y(-6). Is -5 equal to a?
False
Suppose 5*i - 2*i = 0. Let a = i - 3. Let s(j) = j**3 + 49*j**2 + 401*j - 646. Let g be s(-38). Is g equal to a?
False
Let i = 851 - 851. Let k = 3.8 - 5.8. Is i bigger than k?
True
Let j(v) = -v**3 + 5*v**2 - v - 9. Let g be j(4). Suppose 3*i + 7 = -4*s - 19, i = -g*s - 12. Let n(a) = a - 10. Let m be n(i). Which is greater: m or -17?
m
Let k = -6578 - -12039. Suppose 32*n + 11*n = k. Which is smaller: 128 or n?
n
Suppose 0 = 14*z + 5*z - 247. Let b = -14 + z. Which is smaller: b or -3/62?
b
Let s be (-1062)/(-5) + (-3 - (-117)/45). Suppose 53*h + 954 = -s. Is -25 less than or equal to h?
True
Suppose -296 = -4*q - 2*d, -126 = -2*q + 12*d - 2*d. Let a(s) = -s**3 - s**2 - 5*s + 2. Let b be a(-4). Is b < q?
True
Let o = -7/8042 - -8058119/40210. Let k = -200 + o. Suppose -20 = -2*m + 6*m. Is m bigger than k?
False
Let f = 293/658105 + 21563279179/1903239660. Let l = f - -3/964. Which is bigger: l or 10?
l
Let f = 2/6509 - -6127/1243219. Let j be 7*75/315*(-4)/((-80)/12). Are j and f nonequal?
True
Let b(a) = -a**3 + 4*a**2 + 4*a - 6. Let u be b(4). Suppose -u*l + 361 = -19. Let n be 1600/l + (-6)/57. Is 42 at most as big as n?
True
Let z be (-3752)/42*2*(-3)/4. Which is bigger: z or 150?
150
Let x = -723 + 798. Which is smaller: x or 99?
x
Let f(u) = 8*u**3 + 17*u**2 - 2*u - 1. Let m(c) = -10*c**3 - 17*c**2 + 3*c + 1. Let d(h) = -4*f(h) - 3*m(h). Let l be d(0). Is l < 8?
True
Let b = 219818/3 - 74854. Let l = -1987739/1257 - b. Let w = 448/12151 + l. Which is greater: w or -1?
w
Let h be (-19)/(228/36) - (20 + 0). Let v = -24 - h. Which is smaller: -5/42 or v?
v
Let c be ((-6)/(-4))/(7/42). Let l be c/(-72)*922 - (-10)/8. Which is bigger: l or 2/5?
2/5
Let j be (66/(-44))/(3/6180*6). Is -517 equal to j?
False
Let m(a) = -114*a**3 + 9*a**2 + 16*a + 14. Let s be m(-2). Which is smaller: s or 927?
927
Let z = 200 - 199. Let d(m) = -11*m + 11. Let x be d(z). Let r = -13/66 - -4/11. Which is smaller: x or r?
x
Let m = 2/61467 + -416336486/184401. Is -2259 greater than or equal to m?
False
Suppose 5*r + 4*k - 97 = -23, 5*r - 5*k - 110 = 0. Suppose -808 = r*y - 10*y. Which is smaller: y or -0.2?
y
Let j = 30 - 0. Suppose 2*o = -0*o - j. Let y = 36 + -52. Does y = o?
False
Suppose 11*q - 825 + 924 = 0. Let k be ((-6)/q)/((-42)/2583). Which is smaller: k or -44?
-44
Let h(i) = 2*i**2 + 998*i + 5008. Let f be h(-5). Is f >= 38?
True
Suppose 19*x = 23*x - 240. Suppose 6*l - 12 = t + l, 0 = -2*t + l - x. Is -37 >= t?
False
Let b be 11 + 272 - 70/5. Which is smaller: 249 or b?
249
Suppose 1657*m = 1646*m + 396. Is 53 less than m?
False
Let q be 290/25 - 57/95. Suppose 2*p = 2*w - 24, -5*w + 7*p - 4*p = -52. Suppose -b + w = -2. Which is bigger: q or b?
q
Let h(q) = -8*q**2 - 35*q + 3. Let r be h(9). Are r and -4802/5 equal?
False
Let o = -24 + -6. Let v be (5152/24)/(-7) - 2/6. Is o at most as big as v?
False
Suppose 0 = -3*a + 12, -4*a = -5*p - 0*a + 29. Let x be 156/p + 2/(-6). Are x and 19 equal?
False
Suppose 0 = -6*s + 42*s - 684. Suppose 0 = -4*y - 20, 2*d + 2*y + 15 = -3*y. Suppose -1 = -d*t + s. Which is bigger: t or 1?
t
Suppose 15 = -0*c + 5*c, 3*v = 4*c - 27. Which is bigger: 27 or v?
27
Let c be 51/(-24) - ((-237)/24 + 10). Is c not equal to -1?
True
Let b = -0.016 - -39.016. Let k = b + -38.94. Let q be (-32)/(-60)*9/(-12). Which is greater: q or k?
k
Let g = 1.7 - 1.65. Let q be ((-102)/4)/(4*-6). Let v = q - 9/16. Is g equal to v?
False
Suppose -p = t + 3*p + 30, t + 10 = p. Let s = t - -10. Suppose -4*a - 22 + 13 = 3*v, -3 = v + 3*a. Is s bigger than v?
False
Suppose -10*d + 11*d - 13 = 0. Suppose 0 = d*q - 12*q + 2. Let y be q/6 - (-32)/24. Which is greater: y or -2?
y
Suppose -3*h = -11 + 41. Let m be 5/h*10 + 4. Let o be 10/12*4/10. Is m at least as big as o?
False
Let g = -532 - -329. Let i = 173 + g. Which is smaller: i or -32?
-32
Let q = 0.245 - 0.575. Which is smaller: q or -19/4?
-19/4
Let s(i) = -2*i**3 - 4*i**2 + 4*i - 5. Suppose 3*g + 4*w - 5 = 2, -2*w = 5*g + 7. Let d be s(g). Let b = 2/39 + -67/2067. Is b > d?
False
Let g be (-14)/(16 - 2) - (-3)/14637*5521. Let w = 13852/5453 + -48/19. Let y = w - g. Which is greater: y or 1?
1
Let s = 100.906 + -101. Let r = s + 6.094. Let n = 0 - 0.1. Which is bigger: n or r?
r
Suppose 32*h = 42 + 118. Which is greater: h or -60?
h
Let u = 82.3 - -1.7. Let z = u - 163. Let i = z - -79.1. Does i = -3/20?
False
Let f = 47 + -31. Suppose -13*u - 31 + 210 = -81. Is f at most u?
True
Let d(l) = -l**3 - 16*l**2 + 36*l + 2. Let z be d(-18). Let q be 663/182 + (z - 9/2). Which is bigger: q or 13?
13
Suppose -123 = -21*q + 22*q. Let y = 114 + q. Let h be 1/((-2)/(-12))*-2. Is y <= h?
False
Let a = 3416 + -3328. Which is smaller: -11 or a?
-11
Suppose 2*g = 5*h - 165, g = -3*h + 57 + 31. Suppose -11*s = -130 - 35. Let t = h - s. Which is greater: 11 or t?
t
Let x = -3510 + 3509. Is x smaller than -10/1217?
True
Let l = 2241943/283337 - -5/12319. Do l and 9 have the same value?
False
Suppose -2*j = 4*x + 10 + 8, 0 = -4*j + 2*x + 14. Is j less than or equal to 1/4195?
False
Let n(k) = 3*k**2 + 41*k - 154. Let u be n(4). Is u less than or equal to -0.03?
False
Let j(r) = -21*r**3 - 2*r - 2. Let y be j(-1). Suppose y*a - 114 = 24*a. Let u = 38 + a. Which is smaller: u or -11/13?
-11/13
Let x be (-608)/2128 + 22034/17094 + 2 + -3. Is -1 greater than x?
False
Suppose 3*n - 9 = -3*v + 8*v, -2*n - 3*v - 13 = 0. Is -37/18 at most as big as n?
True
Let i = 8675 - 13381. Which is smaller: 0 or i?
i
Suppose 196*w + 13400 = -139*w. Is -350/9 greater than w?
True
Suppose -754*r + 753*r - 890 = 0. Does -889 = r?
False
Let a = 634764/1595899 - 194/487. Let k = 10613/1281307 + a. Let s = 688/38709 - k. Which is bigger: 0 or s?
s
Let x be 3/5 - 70318176/(-2925). Let a = 24041 - x. Are a and 1 non-equal?
True
Let l(i) = 181*i + 1274. Let q be l(-15). Which is bigger: -1442 or q?
q
Let u = -4 + 3. Let t = -199 - -191.6. Let x = t - -7