 c or 4/1899?
c
Suppose -42 = -5*y - 2*s, -4*y - y + s + 54 = 0. Let j be 2/14 - 1760/(-77). Let c = y - j. Which is smaller: -14 or c?
-14
Let v = -470744/1505 + 1564/5. Which is smaller: 0 or v?
0
Suppose i = -2*i + 14*i. Is i greater than -240?
True
Let w be (-249)/27 + 6/27. Let u(s) = 916*s - 2758. Let a be u(3). Is w >= a?
True
Let i = 2055 - 1444. Suppose 0 = 13*b - 936 - i. Does b = 119?
True
Let v be (-39)/7 + 5 - (115173/21 - -9). Is v not equal to -5492?
True
Let t = -452 + 438. Is t < -420/29?
False
Let l = -31 + 44. Suppose -3*g - 3*n + l = -g, 5*n = -5*g + 20. Let i be (g + 6)*(-10)/(-50). Which is greater: 2/27 or i?
i
Let u be (24/14)/((-2001)/(-812)). Is -4 at least as big as u?
False
Suppose -5*l + h - 79 = 0, 0*l - 4*h - 14 = 2*l. Let f be (l/10*1)/(-18). Which is bigger: -3 or f?
f
Let q = -151 - -144. Suppose -68 = 4*w + 4*u, -3*w - 67 = -4*u - 9. Let x be (-17)/(-33) + 6/w. Which is smaller: q or x?
q
Let v = 286 - 811/3. Let c be (-82)/5 + (-8)/(-20). Let h = c + v. Which is smaller: -4.8 or h?
-4.8
Let z = 3468 + -3472. Is -99/34 bigger than z?
True
Let i(s) = 7*s + 44. Let p be i(-14). Let w be (-558)/p - (-2)/(-7). Let j = 31/3 - w. Which is bigger: 0 or j?
j
Suppose 5*v + 4*d = -740, 5*v + 18*d + 740 = 15*d. Is v at least as big as -148?
True
Let t(m) = -7*m + 10. Let l be t(5). Let p = l - -29. Suppose -3*j = -p*j + 5*y + 27, 15 = 5*j - y. Which is bigger: j or 4?
4
Let i be (1547588/(-1862))/(20/(-14)). Which is greater: i or 582?
582
Let v = -2.53823 - -2.64823. Let b = 1.1 + -1. Are b and v unequal?
True
Let v(y) = y**3 + 11*y**2 + 9*y - 33. Let i be v(-9). Let g = 101 - 100. Which is bigger: i or g?
i
Let j be (-143)/66 + 2 - 2595/90. Let r(y) = -y**2 - 4. Let w be r(-5). Is w less than or equal to j?
True
Let t = -0.8 + 1. Let n = t + -0.1. Let w = 0.198 - -1.802. Are n and w nonequal?
True
Let x(v) = -2*v**2 + 2*v - 2. Let a be x(2). Let k(h) be the first derivative of -h**2 - 3*h - 1031. Let p be k(a). Do p and 10 have different values?
True
Let h = 181 + -474. Let w = -304 - h. Suppose 11 = -3*i + d + 2, -3*d = i + 13. Which is smaller: i or w?
w
Let h(z) = -47*z + 92. Let i be h(2). Let m(l) = -l**2 + 2*l + 10. Let v be m(-7). Let q = v + 155/3. Is q less than or equal to i?
False
Suppose -3*y - 3*g + 777 = 150, -5*g + 201 = y. Which is smaller: y or 206?
206
Let j be (11 - 0) + 181 + -191. Is j < 4/8789?
False
Let v(d) = 36*d - 10. Let a be v(-9). Let p = 4784 + -5118. Is p not equal to a?
False
Let q = 23256 - 23256.0713. Which is smaller: 2/27 or q?
q
Let n = -49.5 + -3.5. Let s = 82325/4 - 20581. Which is bigger: n or s?
s
Suppose -33 = -4*n - 3*h, -2*h - 339 = -3*n - 327. Is 82/13 less than n?
False
Let n(f) = f**3 - 6*f**2 + 3*f + 9. Let t be n(2). Is t at least as big as -3/3224?
False
Let k be ((-2)/3)/(1/9) - -5. Let r(d) = 16*d**3 + 1. Let o be r(-1). Let w = 12 + o. Which is bigger: w or k?
k
Let j = -75 - -52. Let c = -86 + 75.2. Let t = -10.5 - c. Which is smaller: j or t?
j
Let i(x) = 2*x + 4. Let g be i(3). Let d(h) = -4*h + 6. Let z be d(-3). Suppose g*j + 8 = z*j. Is 2/17 less than or equal to j?
True
Let p = -202.4 - -178. Let g = 25 + p. Which is greater: 0.02 or g?
g
Let i be (-6)/(-4)*3/4*(-176)/198. Is 3/2599 less than or equal to i?
False
Let h(b) = -300*b - 1200. Let f be h(-4). Which is smaller: f or 3/1261?
f
Suppose 66*h = 60*h + 180. Let u = h + -41. Which is greater: u or -7?
-7
Let x = -73 - -77. Suppose -x*y - p = 737, -5*p + 556 = -3*y - 9*p. Are y and -186 nonequal?
True
Let r(s) = -264*s + 153. Let x be r(17). Does x = -4334?
False
Suppose -1399 = 6*s - 1801. Suppose 0 = 2*z - 3*z - 2. Let c be (z/2)/(2/(-132)). Is s greater than c?
True
Let f be 4/(612/465) + -3. Let a = -376 + 317.9. Let u = a + 58. Which is smaller: f or u?
u
Let k(y) = -y**3 + 60*y**2 - 59*y - 9. Let b be k(59). Let c(n) = -4*n. Let i be c(-4). Suppose i = -4*o - 4. Are b and o nonequal?
True
Let l be (-830)/19505 + 10344/94. Suppose -545 = -2*z - 3*z. Is z greater than l?
False
Let l = 787 - 786. Let y = -162892/43 - -3788. Do l and y have the same value?
False
Let c = -142 + 204. Let v = c + -58. Is v greater than or equal to -17/3?
True
Let v be (170*(-1)/(-4))/(2/(-4)). Let x = v + 3. Let y = x - -86. Which is bigger: y or 5?
5
Let w be ((-4)/(-9530) - 0)/(2837/14185). Suppose -d + 26 = -5*a, -3*a = -6*a - 15. Is d at most as big as w?
False
Suppose -37*m = -4*m - 99. Suppose 4*z - 2*d - 94 = 3*z, m*d = -3*z + 300. Is 97 less than z?
True
Let s = -5 + 3.6. Let m = -1.492 - s. Let w = m - 0.008. Is 1 less than or equal to w?
False
Let y = 937/114 + -49/6. Suppose 3*v - 23 = 4. Let l be v/(-12)*4/(-3). Which is greater: l or y?
l
Let o be (0 + 100)/((-9)/126*1). Let v be ((-5579)/o - 4)/(6/4). Let p = v - -203/300. Is 0.8 greater than p?
True
Suppose 4*z + 2*j = 154, -5*j + 0*j = -4*z + 119. Which is bigger: 34 or z?
z
Let r = 2.25 - 2.17. Let m = r - 0.48. Let k = -2 + 3. Are k and m unequal?
True
Suppose 3 = 3*i + f - 7, 2*i - f - 5 = 0. Suppose -5*k = -3*t + 227, i*k + 150 = 8*t - 6*t. Let h be t/(-19) + 8 + (-4 - 0). Is 0 at least as big as h?
False
Let p be 424/(-12)*(-13674)/172. Which is smaller: 0 or p?
0
Let r be ((-12)/(-40))/((-2754)/225 - -12). Is 2/587 smaller than r?
False
Let c = -11514 - -11514.1. Which is bigger: -126/41 or c?
c
Suppose 3*p - 2*o = 634, -89*p = -87*p - o - 422. Is 0 != p?
True
Let b = -197 + 138. Let w = 40 + b. Is 2/9 smaller than w?
False
Let o be 1/(12/381*9/(-36)). Let f(s) = s**3 - 18*s**2 + 28*s - 63. Let j be f(16). Is j <= o?
True
Let d be -14 - -1 - (-468 - -33). Is d < 422?
False
Let x be (-18)/4 + 3 - ((-51)/6)/17. Which is bigger: x or 11?
11
Let f = -4098/404995 + 4/535. Do 1 and f have the same value?
False
Suppose 16*h - 22 = -10*h + 4*h. Are 2/311 and h equal?
False
Suppose 0 = 4*r + 8*r - 48. Suppose -t = r, 3*c + 2*c + t = 286. Which is greater: c or 56?
c
Let i be -404 - -12 - -4*(-2 + 1). Let t = 425 + i. Which is bigger: t or 30?
30
Let o(z) = -22*z + 197. Let v be o(9). Which is smaller: v or -1/1247?
v
Let o be 9/6*2 - (10 - -866). Let h be (-1 + o/(-874))/(10/(-40)). Is 0 not equal to h?
True
Let t(c) = 11*c**3 + 3*c**2 + 5*c + 2. Let q be t(-1). Let g = -8 - -28. Suppose -g = 3*o + 7. Is o != q?
True
Let q = 86/33 + -536/231. Is q > -4725?
True
Suppose -4*p - 3 = -3*w, -3 = -3*w - 11*p + 12*p. Let n = 268 + -261. Are n and w unequal?
True
Let a be ((-5)/468)/((-45)/18). Let z = 59/117 - a. Is -25/7 greater than z?
False
Let i(w) = -10*w + 1660. Let b be i(106). Is 10 less than b?
True
Let u be (-14)/16 + (-1)/(-2). Let o(c) = 7*c - 5. Let n be o(2). Suppose -4*s = -13*s - n. Which is smaller: u or s?
s
Let t(g) = 2*g + 32. Let p be t(-17). Is -40/43 >= p?
True
Let r(u) = -u**2 + 9*u - 9. Let i be r(7). Suppose 3*q - 38 = -16*q. Suppose q*a - a + 35 = 5*k, i*k = 0. Is 0 not equal to a?
True
Let j(b) be the third derivative of -5*b**4/24 - 5*b**3/6 - 194*b**2. Suppose 0 = 3*f + 7 - 1. Let w be j(f). Which is smaller: w or -1?
-1
Let u = 4965 + -4965. Is 7/390 > u?
True
Let p = -14355.8 - -14981.57. Let l = p - 620. Let s = -0.23 - l. Are -1 and s unequal?
True
Suppose -2*n + 130 = -3*j, n + 18*j - 19*j = 66. Which is smaller: n or 69?
n
Let x be ((2 - 27) + -5)*(-8)/(-10). Let y be (3/4 - 0)/((-2)/x). Suppose -8*u + y = -11*u. Which is bigger: u or 4?
4
Suppose -1 = 16*p - 65. Suppose 0*n - 4*n = 5*z + 21, 0 = n + z + p. Is n equal to -2/1231?
False
Let d be (2/(-36)*-3)/(-24). Let x(j) = 2*j + 15. Let r be x(-8). Is r equal to d?
False
Suppose 4*d + 18 = -6. Let s = 8 + d. Let l be (-12210)/(-6475) + 9/(-15)*(-4)/6. Which is greater: s or l?
l
Suppose -11 = 3*d - 14*d. Which is bigger: 10/717 or d?
d
Let q be 2 - (38/133 + (-6)/21). Let z be ((-5)/30)/(3/(-17)). Is z >= q?
False
Let z be (-1449)/(-42) + 1/2. Suppose 13*p - 8*p = z. Suppose 0 = u - p + 8. Is -4 >= u?
False
Let i = -41299 - -41336. Is i at least as big as -100?
True
Let p(s) = 4*s**2 - 60*s + 139. Let o be p(3). Is -158/35 < o?
False
Let b(a) = -6*a + 8. Let u be b(5). Let p(w) = 6*w + 133. Let i be p(u). Which is bigger: i or 1/407?
i
Suppose -289 = 3*r + 4*o, -6*o = 5*r - o + 485. Let k = 136 + r. Which is greater: k or -0.2?
k
Let d = 1 - 0.96. Let l = 0.111 + -0.181. Let