 s or p?
s
Let d = -76/21 - -611/168. Suppose 5*j - 10 - 5 = 0. Suppose -b = 2*b - j. Are d and b nonequal?
True
Suppose 4*j - 150 + 134 = 0. Let n be (9/1 - 5)*-1 + j. Which is smaller: 2/33 or n?
n
Let f = -10408 - -16371. Which is smaller: f or 5965?
f
Let i = 234636783/4072 + -57622. Is 0 bigger than i?
True
Suppose -1088*c = -1084*c - 9708. Is c bigger than 2428?
False
Let g = 221 + -218. Let w be 1/(0 - -1 - 6/g). Which is greater: w or 5/89?
5/89
Let a be (-95)/(-50) - 2/4. Suppose 2*b - 35 = -5*i, 3*b - 14 - 11 = -2*i. Let j be (-6)/b*(-40)/24. Is a < j?
True
Let a(f) = -5*f + 16. Let s(j) = -21*j + 64. Let d(o) = 9*a(o) - 2*s(o). Let v be 1*(((-4)/2)/2 + 6). Let u be d(v). Which is greater: u or 4/17?
u
Let q(t) = 25*t + 23. Let k(a) = a**2 + a + 1. Let r(j) = 2*k(j) - q(j). Let b be r(13). Suppose 0*s = -4*s + 72. Is b less than or equal to s?
True
Suppose -3*c = -0*c - 36. Suppose 49*z = 41*z - 160. Let k = c + z. Is -11 >= k?
False
Let k = 488.53 - 488. Do -27 and k have the same value?
False
Let p(u) = 109*u + 13. Let n be p(-4). Let s = n + 960. Is s < 536?
False
Let x = 15912/19 + -837. Let b be 18*(-4)/152 + 2/(-8). Let u = b + x. Is u bigger than 47?
False
Let s = -40.43 + 39.4. Let b = s + 22.03. Which is greater: b or -0.7?
b
Let v = 17763 + -17764. Is v != 1/30703?
True
Suppose -5*g = 10*k - 9*k + 80, -2*g + 2*k - 32 = 0. Let o = -6 + 4. Let l(n) = -n**3 - 3*n**2 - n + 1. Let r be l(o). Which is greater: r or g?
r
Let q(g) = -3*g - 1. Let t be q(-3). Let l = -2271 - -2280. Let b = t + l. Which is bigger: 18 or b?
18
Let n(c) = 3*c + 60. Let s be n(-24). Let w(l) = 4*l + 9. Let d be w(s). Is d > -39?
False
Let w(m) = -m**2 - 22*m - 36. Let f(r) = r**3 - 4*r**2 - 3*r - 8. Let t be f(4). Let s be w(t). Let k = -107 - -771/7. Which is greater: k or s?
s
Let y = -189.00433 + 0.00433. Which is bigger: y or 1?
1
Let k = -242288 + 1702422/7. Which is smaller: k or 914?
914
Let o(c) = -76*c**2 + 47*c - 842. Let y be o(11). Is -9521 at least y?
True
Let o = 105.2 - 111.2. Let j = -2.32 - 2.48. Which is bigger: j or o?
j
Let q be (-18)/(-15)*(-1 - (2 - 8)). Let j(z) = -z**3 + 11*z**2 - 19*z - 12. Let k be j(q). Suppose 0 = -3*s + 6, -5*r + s = k - 7. Which is smaller: r or 1?
r
Let m = -44 + 46. Suppose m*d = -0 + 14. Suppose 3*i - i - 14 = 0. Is d at least i?
True
Suppose -3*g - m = -13, 4*g + 2*m = 24 - 4. Let x be ((-268)/(-256) - 1)/(g*1). Which is greater: -1 or x?
x
Let a be (-1915)/27695 - 25/(9425/(-26)). Is -1 >= a?
False
Let n = 168 - 94. Let d = -95 + n. Which is greater: d or -106/5?
d
Let h = -73 + 73.026. Let g = h - 0.026. Let t be 0 - 34*(-4)/12. Which is smaller: g or t?
g
Let w(j) = j**2 - 29*j - 36. Let b(d) = d**2 + 36*d + 56. Let q be b(-35). Let u be w(q). Which is smaller: u or -205?
-205
Let t = -689 - -688. Let h = t + 145. Which is bigger: h or 0.2?
h
Let l = -20876/2439 + 77/9. Which is smaller: l or -1?
-1
Let l be -2 + (-2 + 2 + -3)*(-8)/8. Which is greater: l or 426?
426
Let t be 41/5 - (9/360)/((-2)/(-16)). Does t = -87?
False
Suppose h + 3*h = b - 7, 0 = -2*b - 5*h + 1. Suppose z = 3*m - 1, 9 = b*z + 3. Which is smaller: 3/64 or m?
3/64
Let h(b) = 1342*b - 1344. Let r be h(1). Suppose -2*i + l + 5 = 0, -2*i = 3*i + l - 9. Suppose 0 = 5*q - j - 1, -4*j + i - 6 = 2*q. Are q and r non-equal?
True
Suppose -5*v + 271 = -3*i - 31, i - 3*v = -102. Let r = -70 - i. Suppose -q + r = 30. Is q greater than or equal to 0?
False
Let r = -24 - -95. Let c = -71.1 + r. Which is greater: 66 or c?
66
Suppose -40*m - 115074 = -94*m. Which is smaller: m or 2130?
2130
Let v be (-25 + 19)*(-2)/4 + 27 + -279. Is v >= -249?
True
Let i = -4.9 - 26.1. Let s = 30.59 + i. Let d = s + 0.51. Is 0.2 not equal to d?
True
Let d(u) = -8*u**2 + 42*u - 9. Let v be d(5). Is 100/43 greater than v?
True
Let z = 1301 - 799. Let x = z - 502.2. Let f = -55 + 103. Which is smaller: f or x?
x
Let q = -171/59 + -11081/472. Are -25 and q equal?
False
Let j be -14 + 11 - 4/(-1). Let a = 5873/57 - 103. Are a and j non-equal?
True
Let x = 18 - 18. Suppose 10*z - 7*z - 6 = x. Let i be 19/(3135/30) + (-67)/(-176). Is z bigger than i?
True
Let i = 51731 - 51734. Let a = -0.02 + 2.42. Is i < a?
True
Suppose -7 - 5 = -3*x. Suppose n + x*l = -145 + 46, 583 = -5*n + 2*l. Which is smaller: n or 2/5?
n
Let l(o) = o**3 - 20*o**2 + o - 2. Let a be (-2)/((-4)/(-9))*50/(-75). Let g be (8 + 1)/a - -13 - -4. Let m be l(g). Is 17 equal to m?
False
Suppose 0 = 6*z - 5*z - 38. Let s be ((-117)/(-5))/(9/15). Is s bigger than z?
True
Let q = -1.394 - -1.294. Is 82 at most q?
False
Let n(f) = f**3 + 121*f**2 - 3*f - 361. Let o be n(-121). Which is smaller: 27/11 or o?
o
Let h = 13.47 - 14. Let c = 6.23 + h. Let z = c - 14.7. Are z and -3/2 equal?
False
Let s(l) = 28*l + 923. Let n be s(-33). Which is bigger: -1/12313 or n?
-1/12313
Suppose -2*h - 278 = -3*m + 23, 0 = -5*m + 25. Which is smaller: h or -109?
h
Let f = -3062 - -3061. Is f < 75/7?
True
Suppose -2*j + 5*o = 290, j - 8*o = -3*o - 140. Which is smaller: -160 or j?
-160
Suppose 12*p + 104 = 8*p. Let i = 47 + -21. Let n = p + i. Which is smaller: n or -26?
-26
Suppose -4*g + 8 = 0, 0 = w - 9*g + 4*g + 57. Let z = -3/1442 + 290575/5768. Let o = z + w. Is o not equal to 4?
True
Let f be 6/4*988/39. Suppose 2*c + 4*k = f, -2*c = 3*c + 3*k - 67. Suppose -c = -5*v + 9. Is v equal to 1?
False
Let l = 19 - 13. Suppose 4*i - 2 = -l. Let p be 6/(-63)*18/36. Do i and p have the same value?
False
Let v(r) = r - 7. Let l be v(9). Let d(k) = -k**3 + 2*k**2 - k - 2. Let p be d(l). Let c be (54/189)/(1/(-14)). Is p not equal to c?
False
Let j be (-1 - 5/(-5)) + 0. Suppose k - 9 = 4*x + 31, -5*x + 2*k - 53 = j. Is -39/4 at most as big as x?
True
Let f = -129615.857 - -129506. Let r = 0.143 - f. Let j = 680 - 681. Which is bigger: r or j?
r
Let r = -133 + 349. Let f = 215 - r. Which is smaller: f or -8/63?
f
Let f = -41 + 40. Let w be (f/(-3330))/((-7)/1141). Let v = w + 1/222. Do 0 and v have different values?
True
Let l = 171 - 854/5. Let r(y) = -y - 11 - y**2 + 26 - 13 - 6*y. Let h be r(-6). Which is smaller: l or h?
l
Let r = -26542 - -26543. Let j be (30/(-9))/((-4)/(-18)). Let k be (j/(-2))/((-1)/2). Is r greater than k?
True
Let f = -7153879/2756 + 10383/4. Let h be (-2)/2 + (-4)/(-2). Is f equal to h?
False
Let o be (294/1176)/((-1594)/(-4)). Which is smaller: o or 1?
o
Let r = 2432439 + -17191246/7. Let v = -23499 - r. Is -46 not equal to v?
True
Let j = 6945 + -6724. Is j >= -3?
True
Suppose 0 = 4*f + 8 - 28. Let x be (-1)/(-10)*1016 - 2/(-5). Let h be (3 - x/30)/((-12)/130). Is h at most f?
True
Let w be 3 - (4 + 3) - -11 - 195. Which is bigger: w or -2?
-2
Let f = -453 + 698. Let w = f + -265.4. Let n = w + 21. Does -0.3 = n?
False
Let s(c) = -2*c + 73. Let y be s(-6). Let f = -140 + 226. Is y smaller than f?
True
Let j be 444/(-72) + 6 - 2361/(-18). Suppose 0 = -3*y + 87 + 309. Are y and j unequal?
True
Let t = -969 + 411. Let r be -5 - (6/(-48))/((-11)/(-484)). Is r >= t?
True
Let j = 705 + -239. Let g be (3 - j/138) + 2 + -2. Let y = 1/23 + g. Is y >= -1?
True
Let w = -0.167 - -1.857. Let y = w + 85.31. Which is smaller: 2/7 or y?
2/7
Let i = -48.018 - -0.018. Let p = i - -48.4. Let j = p - 1.4. Which is smaller: j or -19?
-19
Let b = -20342.04387 + 20342. Which is bigger: -0.2 or b?
b
Let x(u) = -u**3 + 14*u**2 + 7*u - 99. Let k be x(14). Which is smaller: k or -2/2851?
k
Let m = 110 - 56. Suppose 5*o - 110 = 2*d, -3*d - 3*o - 28 = 137. Let p = d + m. Is 6/19 less than p?
False
Let t = 4.008 - 9.008. Which is greater: -1/128 or t?
-1/128
Suppose -d - 17 = 4*u, 37*d - 41*d + 2*u = -4. Is -7/468 less than d?
False
Let r = 310 + -298. Suppose 5*b = 10, -2*b + 79 = 3*m + r. Which is smaller: m or 146/7?
146/7
Let j = -195 - -198.15. Let m = j + 0.85. Is m > -2/9?
True
Let h be 1010/2394 + 8/(-18). Let l = h - -1009/56525. Which is smaller: -2/3 or l?
-2/3
Let h be (16/4)/(6/(-12)). Let v = 9 + h. Suppose 4*l - 65 = 5*z, -v + 31 = 2*l - 2*z. Which is smaller: -0.5 or l?
-0.5
Suppose -24 = 3*q - 5*n + 98, 118 = -2*q - 4*n. Which is greater: -54 or q?
q
Let b(y) = 2*y**2 - 17*y + 12. Let a be b(8). Let d be -299 - -3 - a/(-2). Let i be d/(-9) + 3/9. Do 34 and i have the same value?
False
Let w be (92/(-207))/((-3)/63