e 4*j - 104 = -56. Is j not equal to k?
True
Suppose 48 = -35*l + 27*l. Let x(r) = -r**2 - 3*r - 4. Let p be x(-3). Which is bigger: p or l?
p
Let u be -13 + -2 + 8/2. Suppose -96 = -7*s + 8*s + 5*b, -s - 66 = -5*b. Let v be 6/(-9)*s/12*-2. Which is greater: u or v?
v
Suppose 0 = c - 5*p - 439, -4*p = -4*c - 5*p + 1840. Suppose -2*k + 4*g - 3*g = -449, 2*k - 3*g = c. Let o be (-314)/k - 8/(-6). Which is greater: o or -1?
o
Let y(v) be the first derivative of -2*v**3/3 - 27*v**2/2 - 44*v - 70. Let t be y(-17). Does -164 = t?
False
Let y be -2 + (-18 + 12 - 0). Which is greater: y or -38?
y
Let q be 7072/(-102) + -4*(-5)/60. Is -1 at least as big as q?
True
Let w = 0.01549 + 9.98451. Let s = -0.14 - -0.25. Are w and s unequal?
True
Let i(u) = 10*u + 8. Let f(k) = k + 2. Let l be f(-4). Let s be i(l). Let h be (-14)/s*9/42. Which is greater: 2/9 or h?
h
Let g be 4/5138*(-25 - 262). Which is greater: 0 or g?
0
Suppose 5*f + j - 16 = -2*j, -5 = 2*f + 5*j. Let o be ((-132)/f)/(((-99)/(-45))/11). Are o and -659/5 nonequal?
True
Let g be (((-64)/5)/8)/(1/(-10)). Let t be (-4)/g - 6/(-8)*3. Let d = 291/130 - 27/26. Which is smaller: d or t?
d
Suppose 0 = -644*h + 643*h + 4*b - 8959, b = -4*h - 35819. Is -8955 smaller than h?
False
Let w = 0.16 - 16.16. Let f = 15.9 + w. Let v = 20.85 - 20.5. Do f and v have the same value?
False
Let f = -116 - -116.2. Let i = -5 - -22. Let x = 17.5 - i. Is f equal to x?
False
Let x = -38/2001423 + -237927160979/202143723. Let j = x + 1177. Is -1 at most as big as j?
True
Let q be 0 + 158 + 27 + -17. Are q and 165 nonequal?
True
Let h(v) = -v**2 - 9*v + 9. Let p be h(-9). Suppose 3*y + 3*l - l + 9 = 0, -p = 3*y - 4*l. Let q be 0*(-3 - (y - -1)*1). Which is bigger: q or 1/33?
1/33
Let k be ((-6732)/165 - (-1)/(-5))*-1. Which is greater: k or -8?
k
Let x = -480 + 378. Is x >= 0.1?
False
Let g = -963249/4 - -242616. Which is bigger: 1805 or g?
1805
Let x be ((-70)/425)/((-6)/64*48/1080). Which is smaller: x or 39?
39
Suppose -887 = 59*r - 179. Are r and -514/41 nonequal?
True
Let v = -72 + 68. Let n be (-2)/v - 2340/4576. Which is bigger: 0 or n?
0
Let g be 99/6*1*6/(-9). Let t(s) = -2*s - 24. Let c be t(g). Let h be 2 + 2*c/4. Which is bigger: h or 0?
h
Let q be ((-505)/(-10) - 0)*2. Suppose 3*s = -2*h + 42 - 239, 4*h = 2*s - 354. Let g = h + q. Which is greater: 9 or g?
g
Suppose 4*a - 4*n + 7 + 5 = 0, 5*a - 4*n = -12. Are -3/7465 and a equal?
False
Let o = -18.115 - 0.085. Let t = o + 18.7. Let u = -0.04 - -4.04. Does t = u?
False
Let q be 1310/(-2268) + (30/(-70) - -1). Let l be (-3 + 1)*(-9)/(-18). Are l and q equal?
False
Let h = -9121 + 9122. Is h >= 68/129?
True
Suppose -q - a + 2507 = 0, -a + 0*a = 3. Suppose -2525 = -5*p - h, -p - 2*h - q = -6*p. Is 503 greater than or equal to p?
False
Let j = -59.497 - -59.4. Let b = j - 284.903. Which is greater: -1/3 or b?
-1/3
Let b = -2170 - -84632/39. Is b >= -64?
True
Let r be 3*-3 - ((-36)/12 + -6). Which is greater: r or 15/23?
15/23
Let a = 0.0646225 - 308.2476225. Let g = -308 - a. Let b = 0.113 - g. Which is smaller: b or 0.5?
b
Let i = -1507/5 + 302. Let u be (-14)/(-21)*(0 + 30). Let l be (u/(-30))/(2/(-6)). Which is greater: i or l?
l
Let l(z) = z + 24. Let q = -27 + 21. Let i be l(q). Suppose 6 = -4*m + i. Which is smaller: m or 4?
m
Suppose v = 4*k - 165, -k + 105 = k - 5*v. Suppose -2*f - 3*f - k = 0. Let g = 17 + -25. Is g at most f?
True
Suppose -2*g = 5*a - 220, 2*a + 126*g - 124*g = 94. Are 298/7 and a non-equal?
True
Suppose -42*h - 4482 = -48*h. Suppose -h*i + 752*i + 680 = 0. Is i > -138?
True
Let q be (8/(-3) + (6 - 266/42))/(-1). Which is smaller: 70/17 or q?
q
Let p be 9300/35 - 28/(-98). Let g be 10/(-175)*-5 - (-3734)/14. Which is smaller: g or p?
p
Let x be (-2 - 57/(-6))*20/6. Let l = 197.9 + -198. Which is smaller: x or l?
l
Let u = -216 - -385. Let m = u + -168. Which is greater: -96 or m?
m
Suppose -21*g = -16*g - 1365. Suppose 0 = -3*y + g - 51. Suppose 5*r + 81 = 2*u - 51, -4*u = 3*r + y. Which is bigger: r or -27?
r
Let f(i) = 2*i - 78. Let k be f(45). Suppose 0 = 14*a - 15*a + 12. Is k greater than a?
False
Let h be 754*1 - (17 - 18). Suppose 5*c - 1150 = h. Which is bigger: c or 382?
382
Let w(o) = 18*o**2 - 377*o - 28. Let a be w(21). Which is smaller: 0 or a?
a
Let i(p) = -19*p - 224. Let k be i(-12). Is k less than or equal to 34.9?
True
Let k(t) = -t**2 + 2*t + 3. Let p(y) = -y**2 - 3*y + 13. Let b be p(3). Let c be k(b). Is -31 less than c?
False
Let y = 4490.9 + -4491. Is -2378 smaller than y?
True
Suppose 14*d - 14 = 7*d. Let n = -14 - d. Let u = 5 + -5.1. Is u smaller than n?
False
Let g = -5326/7 - -276903/364. Is -1 at most g?
True
Let j(x) = 3*x - 2. Let a be j(4). Suppose 10*v - 6*v + 3*l + 25 = 0, 0 = 4*v - 2*l + a. Which is smaller: v or -3?
v
Let k = 1097/1341 - 6/149. Let h be 1/(-5) - (-8)/(-10). Let a be 4*h/(-16)*4. Which is bigger: a or k?
a
Let r(v) = v**2 - 115*v + 3127. Let b be r(59). Which is greater: b or -1931/11?
-1931/11
Let n = 252 + -1267/5. Let r = n + 9/10. Which is smaller: 1/30 or r?
r
Let k = 4318 - 30270/7. Is 1 less than or equal to k?
False
Let u = 77925 - 45040669/578. Which is greater: u or -1?
u
Let y = 20555/4 - 65093/12. Let v = -280 - y. Let b = -10 - -16. Is v less than or equal to b?
True
Suppose 4*w - 48 = -5*m + 105, -4*w + 108 = -4*m. Suppose -56 = 11*c + w. Let z be (4/c)/((-148)/(-40) + 0). Is 1 != z?
True
Let i = -83 + 90. Let x(d) = -d**2 + 12*d - 12. Let t be x(i). Suppose -2*y + 7 = 3*h, 5*h = 2*y + t + 10. Which is bigger: h or 1?
h
Let o = -832 + 766. Suppose -7 = -f - 87. Let p = o - f. Is 14 greater than or equal to p?
True
Let u = 0 + 1. Let n be 912168/(-19467) + (-40)/(-14). Is n > u?
False
Let u(d) = 73*d**2 - 36*d**2 - 6 - 43*d**2. Let g be u(3). Let b be 392/(-606) - 5/(g/8). Is b greater than 1?
False
Let d(x) = x + 13. Let a be d(-5). Suppose -a = o + 38. Is -47 bigger than o?
False
Let y = -56 + 153. Suppose -y = -33*j + 35. Is 90 smaller than j?
False
Let t = 272490 + -2175777/8. Does 517 = t?
False
Suppose -5*h = 6*x - 8*x + 2024, 0 = 4*h + 3*x + 1610. Let g be 4/h*(-2)/(-5). Which is greater: 0 or g?
0
Let l(k) = 11*k**2 + 2*k + 1. Let x(w) = -w**3 + 3*w**2 + 18*w - 2. Suppose 8*m - 5*m = 18. Let z be x(m). Let r be l(z). Is r less than or equal to 40?
False
Suppose 8*u - 37*u + 21*u = 0. Is u less than or equal to 30/121?
True
Let z(s) = -4*s**2 - 32*s - 202. Let l be z(-18). Which is bigger: l or -921?
-921
Let x = -3953 - -3957. Let a(r) = -5*r**3 + 2*r**2 - 2*r + 1. Let o be a(1). Let c(y) = 2*y + 6. Let k be c(o). Which is smaller: k or x?
k
Let n = 0.649 + 385.351. Let t = n + -387. Is t bigger than -30?
True
Let g(n) = -2*n**2 - 83*n - 462. Let v be g(-33). Are v and 110 nonequal?
True
Let y = 4843 + -4783. Which is smaller: y or 41?
41
Suppose s + 14 = 3*s. Suppose -2*a - b + 45 = 0, -3*a = a - 3*b - 85. Let t be (-9)/((-27)/a) + 0. Which is smaller: s or t?
s
Let j(s) = s - 17. Suppose -11*g + 65 = -12. Let n be j(g). Let d(c) = c + 6. Let u be d(n). Is -5 at most as big as u?
True
Suppose 0 = -5*f - 3*g + 25, 4 = -f - 3*g + 9. Let y be (-786)/262*4/(-6). Suppose 0 = -y*i - m + 2, 2*i + 2*m = f*m + 18. Which is greater: 5 or i?
5
Suppose 24 = i - 0*i - 3*h, h = -i + 24. Suppose 13 + i = -4*y + 5*f, -f + 8 = -y. Which is smaller: 34 or y?
y
Let l = -0.7 + -3.22. Let k = 4 + l. Let m = 24527.2 - 24528. Is m at most as big as k?
True
Let h be 8/159*(11/(-44) + (-2487)/(-9966)). Is h > 0?
False
Suppose 0 = -2*x + 4*x. Let z = 100271/40 - 12537/5. Is z >= x?
False
Let v = 431/11 - 1271/33. Let h be 2/16*132/(-9). Is v > h?
True
Suppose -15 = -16*t + 1. Suppose i + 6 - t = 5*h, 0 = -5*i - 25. Which is greater: h or 4/5?
4/5
Suppose -3*z + 999 + 2051 = -j, -j = z - 1018. Suppose 3*x = z + 90. Is 369 <= x?
True
Let n = -64 - -99. Suppose -749 + 715 = -x - 3*d, 32 = x + 5*d. Is x <= n?
False
Let j be (161 + -164)*2/6*971. Which is bigger: j or -979?
j
Let t be 0/(-4) - 0/((-4)/(8 + -6)). Is 22/177 != t?
True
Let h be -5*2/(-2 - 0). Suppose h*z - 9 = 26. Suppose 2*w = z*w. Is -1/24 at least as big as w?
False
Let v be 273/637*(-7)/(-146). Is v greater than 1?
False
Suppose -97*x - 4*p + 192 = -101*x, 35 = 5*p. Which is greater: x or -50?
x
Let i be ((-240)/200)/((-