er: -2/13 or a?
-2/13
Let h = -7 + 13. Let q be -3 + ((-1182)/(-131) - h). Is -1 at least as big as q?
False
Let w be 252/54*(-1356)/8. Let b be 2*(-4 - 3163/w)/(-1). Is 0 at most as big as b?
True
Suppose 5*j = 7*j - 2. Let a = -1 + j. Suppose a = 4*n - n + 150. Is -49 at least as big as n?
True
Let m(i) = -i**2 + 6*i - 12. Let h be m(5). Let c(k) = -6*k**2 - 6*k - 9. Let w be c(-2). Let l be h/(-28)*48/w. Which is bigger: l or -1?
l
Suppose -a + 2*s + 13 = 0, 4*s + 16 = -3*a - s. Suppose 0*p - 4*r = -4*p - 8, 0 = -4*p + 5*r - 12. Let f be 1 + 3/a - p. Which is smaller: 5/6 or f?
f
Suppose 0 = -4*q - 63 - 29. Let i be (21 + q)*(-1)/((-6)/116). Let j = i - -38. Which is bigger: -23 or j?
j
Let d be (174/16)/((-9273)/2244 + 4). Which is greater: -82 or d?
-82
Let v = 143 + -155. Let p be (v/30 + (-2)/10)*-20. Is p greater than 7?
True
Let w = 6.27308 - 60.34478. Let f = -0.0717 - w. Is 1/2 at most as big as f?
True
Let c = -9932 + 9116. Is -9 less than or equal to c?
False
Let t = -351339 - -2471795/7. Which is smaller: 1776 or t?
t
Let k be 1/((-3)/21)*-7. Let w = k + -44. Let b(r) = -2*r + 5. Let n be b(w). Which is bigger: -4 or n?
-4
Let x(k) = k + 1. Let h be x(-11). Let r = -21 - -21. Let c = h + r. Which is smaller: -11 or c?
-11
Suppose -x + 2 = 0, 3*j + x = 5*x - 23. Let d(p) = -p**3 - 9*p**2 - 8*p - 8. Let i be d(-8). Let o be i/j + -2 + (-4)/(-10). Is o > 0?
False
Suppose -32*u + 34*u - 38 = 0. Suppose 14 + 58 = 4*l. Suppose -l*b = -u*b. Is b < 3/41?
True
Let v = 35581/427750 - -7/8555. Is -1 less than v?
True
Let y(r) = -r**3 + 7*r**2 + r - 50. Let x be y(4). Let m be (-5)/2 + 2/4. Which is greater: x or m?
x
Let j = -2791/190 - -129/10. Let x = 76053 - 76055. Is j at most as big as x?
False
Let i = -38238 - -30902. Which is greater: -7335 or i?
-7335
Let m = -2137 + 2293. Which is bigger: 140 or m?
m
Let p(x) = 4*x**2 + 23*x - 253. Let o be p(-19). Which is bigger: o or 747?
o
Let w be 71523/(-27)*(-2 - 35/(-15)). Is w bigger than -885?
True
Let z = 2 + -2.02. Let y = z - -0.02. Suppose -46*j + 21*j + 200 = 0. Which is bigger: j or y?
j
Let i = 149244 - 149244. Let j = 2 - 9. Is i greater than or equal to j?
True
Let l = -37697/3 + 12712. Let n = l - 147. Let r(s) = -6*s - 31. Let a be r(-6). Is a greater than n?
True
Let t = 916 + -340. Let g = t + -575.9. Which is smaller: g or 0.011?
0.011
Let c = 485 + -482.2. Which is smaller: -43 or c?
-43
Suppose m + 254 = -4*m - 2*f, 4*m = -2*f - 204. Let b be (527/51 - -6)*-3. Is b less than m?
False
Suppose 6*g + 895 - 901 = 0. Let t be (4/8)/(g - 8 - -6). Are 3/166 and t unequal?
True
Let o be -6*3726/(-48) + 15/12. Which is greater: 468 or o?
468
Suppose 14*j = 10*j - 5*x + 21, 0 = 2*j + 2*x - 8. Let n be ((-4)/152)/((-503)/(-2942)). Let z = n - 2/503. Which is bigger: z or j?
z
Let d = -1578 - -1122. Let u = d + 457. Is u greater than -8/63?
True
Suppose 0 = -f + 7 - 2. Suppose 3*c - c = f*c. Suppose -3 = 3*w - c. Are -2 and w unequal?
True
Let v = 699212/40293 + -642/37. Is v greater than or equal to 2/3?
False
Suppose -11 = -4*s - 15. Let c = s - 0. Let z(u) = -13*u**2 + 51*u - 1. Let d be z(4). Are c and d equal?
False
Suppose 5*t - 449 = -3*x, 0 = -5*x + 2*t - 3*t + 741. Suppose 4*o = -4*b + x, -4*o = b - 5*b - 108. Which is bigger: o or 39?
39
Suppose -5600 = -24*h + 40*h. Which is greater: -352 or h?
h
Let c(i) = 6*i**3 - 27*i**2 - 235*i - 28. Let a be c(-9). Is a not equal to -4474?
False
Let z = 0.801 + 6.789. Let i = z - 0.59. Let q = i - 8. Which is greater: q or -25?
q
Let r = 329/1892 + -13/86. Is -2 at most r?
True
Let z = -899/8 + 2005/24. Let b = 55552 - 55582. Which is greater: z or b?
z
Suppose -14 = -3*k - 29. Let v(t) = 9*t + 4*t**3 - 5*t**3 + 8*t**2 - 12 + 2*t**3 - 1. Let y be v(k). Does 18 = y?
False
Let f(r) = r**3 + 2*r**2 - 10*r + 2. Let u be f(6). Let q be ((-1230)/40)/((-77)/576). Let t = q - u. Which is smaller: t or 1?
t
Let j = -44 - -48. Suppose j*a = 5*x + 2*a - 87, -a + 4 = 0. Suppose 17*m - x*m = -2. Are 9/7 and m equal?
False
Suppose 5248*m - 5247*m = -471. Does m = -467?
False
Let o(b) = 17*b + 42. Let z(p) = 7*p + 21. Let n(x) = -2*o(x) + 5*z(x). Let q be n(40). Is q bigger than 61?
False
Suppose 1568 = -5*b + 2*m, 3*b - 177 = 4*m - 1129. Let k be 22/33 + (-2 - b/153). Which is smaller: 0 or k?
0
Let p = 5 + -1. Let m = 175 - 251. Let n = m - -77. Are n and p unequal?
True
Let i = -36 - -410. Let t = i - 523. Do -148 and t have the same value?
False
Let b = 11 + 6. Let a(p) = -p + 34. Let w be a(b). Suppose 0 = w*i - 18*i. Are -4/7 and i equal?
False
Let j be 3/(10/(-120)*6). Suppose 48 = a + a. Let d be ((-16)/a)/((-2)/j). Do d and -26/9 have different values?
True
Let z be -5 + 3618/315 + 0/1. Let i = z - 31/5. Which is greater: -40 or i?
i
Let p(y) = 2*y**3 + 25*y**2 - 12*y + 15. Let w be p(-13). Suppose -w*z + 3*h - 2 = 2, -h + 6 = 4*z. Let m = 1/247 - 525/7657. Is m >= z?
False
Suppose -4*p - 3*j - 32208 = -1056, -2*j - 7788 = p. Are p and -7788 nonequal?
False
Suppose -9 = w + 5. Let r(v) = -82*v - 65. Let n be r(-4). Let x = n - 275. Does w = x?
False
Let t(d) = 18*d**2 + d - 6. Let i be t(2). Suppose -10*l + 6*l = 12. Let s be (2 + -1)*(68 - (l + 4)). Which is smaller: s or i?
s
Let v = 7426331/131 - 56689. Is v at least 2?
False
Let i = 25.96 - 25.86. Is 0.1957 less than i?
False
Let b(d) = -d**2 - 66*d + 747. Let a be b(9). Let h be ((-426)/(-18))/(1/3). Which is smaller: a or h?
h
Suppose 137*i - 135*i + x = 246, 0 = -5*x - 20. Which is smaller: i or 119?
119
Let l be (10/4)/(95/(-380)). Is -111 >= l?
False
Let u = -1.173 - -16.173. Which is bigger: -339 or u?
u
Let k = 301 - 36. Let a be ((-18190)/k)/((-4 - -2)*4062). Let r = a - -2/2031. Which is smaller: r or 1?
r
Let d be (4/126)/((-14)/3). Let k = -71151 - -71151. Which is greater: k or d?
k
Let k(u) = 4*u**2 + 2*u - 1. Suppose -2*c = 2*o + 10, 4*c + o - 4 = 5*o. Let w be k(c). Let r = 1972/165 - 34/55. Is w at most r?
True
Let l = 74 - 44. Suppose 5 - 13 = -4*u. Let f(i) = 15*i - 1. Let o be f(u). Is l less than or equal to o?
False
Let a be 500/40*8/(-5). Which is smaller: a or -18?
a
Let z be -7 + (3 - (8 - (0 + 2))) - 4. Let j(h) = -6*h**2 + 4*h - 3. Let g be j(2). Are z and g equal?
False
Suppose -24*r - 25487 = 27*r + 26227. Which is smaller: r or -2027/2?
r
Let x be ((-2)/(-4))/(32/(-1536)). Let v be (x/27 + -2)/(6/(-90)). Which is smaller: v or 43?
43
Let h be ((-5533)/33)/((-15)/(-45)). Which is greater: -501 or h?
-501
Let k = -261 + 501. Suppose -k = -0*s - 6*s. Suppose 0 = 11*d - 7*d - s. Is d bigger than 10?
False
Let u = -0.136 + -0.33. Let h = 12.534 - u. Let a = -45 - -181/4. Which is smaller: a or h?
a
Let t = 14084045/194 - 72598. Is 0 <= t?
True
Let i be 3/(3 + -4) - 25344/112. Which is smaller: -228 or i?
i
Let a = 269 - 298.8. Let n = a - -29.5. Which is smaller: n or 81?
n
Let r(b) = b**2 - 4*b + 8. Suppose -42 = -7*l + 42. Let w be 2/(-4)*(4 - l). Let h be r(w). Are 5 and h non-equal?
True
Let i = -16.14 - 69.86. Let k = 0.25 - -1.75. Let w = -2 + k. Is i < w?
True
Suppose -3*l + 5*n = -148, -3*l + 177 = -2*n + 26. Which is greater: l or 49?
l
Let u = -15051 - -15363. Which is smaller: 310 or u?
310
Let y = 3026 - 3030. Which is smaller: y or 8?
y
Let w = -114 + 73. Let x = 26 + w. Suppose -3*b = -2*p + 44, -b - 71 = 4*b - p. Are x and b non-equal?
True
Suppose -7*c + 2*c = 5*f - 35, f = c - 3. Let s be (f + 1)*(-6 + 40/6). Which is smaller: s or -0.2?
-0.2
Let s(o) = -5*o + 14. Let y be s(-9). Suppose -4*n - p - 91 = 0, -5*p = 3*n - n + y. Let i = n - -21. Is -27 less than i?
True
Suppose -26*d - 190869 = 35*d. Which is smaller: -3128 or d?
d
Let p(u) = -219*u + 109*u + 19 + 111*u. Let m be p(-21). Which is bigger: m or -13/12?
-13/12
Suppose 51129 = -10*c - 54*c - 40519. Which is greater: -1431 or c?
-1431
Let g be ((-102)/48 + 2)/10*95/(-19836). Which is bigger: g or 1?
1
Let n = 658623185/3126 - 210692. Which is smaller: n or 1?
n
Let f = 525.08761 - 0.08761. Which is greater: -1/7 or f?
f
Let w = 14647/3 - 4883. Let f be 214/572 + 2/(-11). Is f > w?
True
Let o be (32549/(-5962))/(-11) + (-1)/2. Suppose -3*d + 0 = -3*a + 6, 0 = 3*d + a + 2. Which is smaller: o or d?
d
Let f be 10/(-42)*(-288)/240. Is f at least 0.0066?
True
Suppose 0 = -2*k - 12 - 0. Le