-34.9
Suppose 3*a = -21, 65*p + 4*a = 68*p - 25. Let r be 6/2 - 6382/2126. Is p >= r?
False
Suppose 0 = -6*i + i + 25. Suppose -6 = -2*h, 5*f + i = -5*h + 50. Suppose -f*p = -p + 10. Is p bigger than -27?
True
Let u = -114 - -228. Let j = -114.1 + u. Which is bigger: -1/97 or j?
-1/97
Let j = -38376 - -37976. Which is smaller: -386 or j?
j
Suppose 3*v = 2*v. Suppose v = -0*o + 5*o - 150. Suppose 0 = -421*c + 8524 + 4527. Do o and c have the same value?
False
Let h = 8059994/1861 + -4331. Which is smaller: h or -1?
-1
Let y(s) = 17*s + 21. Let f be y(0). Is f greater than 4?
True
Let f be 4 + 0 + 140/10. Let x be f/(-12) - (-6)/8*10. Which is smaller: x or 9/2?
9/2
Let x be (8/10)/(((-8)/5)/(-4)). Suppose x*w - 12 = -102. Let c = -43 - w. Is c at least as big as -4?
True
Let d = -18647/19 + 982. Is 0.01 at most as big as d?
True
Let g(n) = n**3 - 23*n**2 + 22*n + 5. Let p be g(22). Suppose 4*b + p = -2*s + 15, -5*s = -b + 30. Which is smaller: b or 34/7?
34/7
Suppose 0*r - 4*r + 2 = 2*l, 3*l + 4*r = 3. Let n be (-630)/(l/2*1 + -1). Let o be 3 + n/(-416) - 2/(-13). Which is bigger: -7 or o?
o
Suppose 2*c + 2*c - z + 307 = 0, 5*z = c + 53. Let n = -76 - c. Suppose 18 - 12 = -n*w. Is 2 at most as big as w?
False
Suppose 30202 = 45*n + 7972. Is 496 at least as big as n?
True
Suppose -14*w - 45 = -17*w. Let a be (-1691)/(-20) + 3/w. Let v = a - 85. Which is smaller: 0.1 or v?
v
Let z(w) = -14*w**2 - 228*w + 49. Let i be z(-23). Which is bigger: 0 or i?
0
Let c = 112 + -57. Suppose 8*u + c = 3*u. Let a be ((-6)/(-10))/(180/(-3500)). Which is bigger: a or u?
u
Let x = -581 + 580. Let r(u) = 2*u**3 + u - 1. Let d be r(1). Let p be (d + -6 - -2) + 1. Is p less than or equal to x?
True
Let v = -202 - -467. Let s = -1108.9 + 1109. Which is bigger: v or s?
v
Let b(m) = m**3 + m**2. Let r be b(0). Suppose 5*j - 30 - 25 = r. Suppose -k + j = -73. Which is smaller: k or 83?
83
Let m be ((-12)/254)/((-2)/(-4)). Let y = -37401 + 37401. Which is smaller: y or m?
m
Suppose -4*d + 54 + 18 = 0. Let g = d + -16. Let p(j) = j**3 + 8*j**2 + 6*j - 39. Let u be p(-6). Is g != u?
True
Let u(l) = 5*l - 21. Let z = 86 - 82. Let k be u(z). Let t = -1/4 + 7/12. Is k at most as big as t?
True
Let y(g) = 3*g - 112. Let o be y(37). Let b be ((-104)/5)/(o/((-45)/(-18))). Which is greater: b or 55?
55
Let l be ((-246)/(-54))/(-1) - ((-240)/(-54) + -4). Do 0 and l have the same value?
False
Let f = -4446 + 2343043/527. Let l = f + 27/2108. Is 1 at least as big as l?
True
Let k = -3467 - -3467. Does k = -899?
False
Let f be -3*4/(-6) - 1. Suppose -b + 0*w = 5*w - 16, -w = -b + 16. Let o be ((-41)/(-246))/((-22)/b). Which is greater: o or f?
f
Let r(k) = 11*k**2 + 4*k - 32. Let u be r(3). Is 78 bigger than u?
False
Suppose -11*v + 2473 = -5337. Is v less than 710?
False
Let z(n) = -n - 3. Let g be z(-13). Suppose g = -60*y + 55*y. Let c(m) = m**3 + m**2 - 4*m - 4. Let j be c(y). Which is smaller: 1 or j?
j
Let b(j) = 21*j + 26*j - 74*j + 24*j - 5 - 9*j**2. Let f be b(-2). Let v = 66 - 100. Which is greater: f or v?
v
Let k(a) = -a**3 + 3*a**2 + 7*a + 17. Let x be k(5). Suppose 0 = -5*u - 3*w - x, -3*u - 8 = 22*w - 27*w. Let h = 0 - 1. Does u = h?
True
Let s = 83.07 - 83.37. Which is bigger: s or -1062?
s
Let w be 24 + 26 + 2/((-4)/(-10)). Let q = 150 - 97. Which is greater: q or w?
w
Let f = -27424 + 21060. Which is smaller: f or -6366?
-6366
Suppose -761*m = -477*m - 568. Let q be (1 - 1) + 5 - -2. Are m and q equal?
False
Let w(c) be the second derivative of -c**3/6 + 10*c**2 + c. Let r be -6 + 0 - 0/((-52)/(-13)). Let v be w(r). Are v and 27 nonequal?
True
Suppose -28*k = 52*k. Is -15/382 > k?
False
Let b be (0 + 0 - 3 - -6) + -9. Let t be -5 + (-500 + 8)/b. Is t less than 387/5?
True
Let q(w) = -6*w**2 - 4*w + 4. Let b be q(-3). Let o = b + 42. Suppose -o*h - 2 = 10. Is h greater than -24/11?
False
Suppose 0 = 2*u - 8. Suppose s = u*s - 174. Let d(m) = -m**3 + 130*m**2 - 128*m - 71. Let i be d(129). Is i greater than s?
False
Let h be 3*((-14)/(-6))/7. Let p be 7*(2 - h - 2)*8. Let m be 7/(-12)*p/(-21). Which is greater: m or -1?
-1
Let d(m) = -m**3 - 21*m**2 - 9*m + 52. Let g be d(-21). Is g greater than or equal to 241?
True
Suppose 0 = -9*g + 24*g - 105. Suppose 50 = -12*l + g*l. Is -14 < l?
True
Let s(v) = -92*v + 1622. Let t be s(17). Is 473/8 at least t?
True
Suppose -27*b + 18*b = 24*b + 858. Which is smaller: -2 or b?
b
Let g(l) = -l + 9. Let n be g(8). Let r be 4/74*(-83 + 35844/435). Is r not equal to n?
True
Suppose o + 145 = j + 149, -10 = -2*o. Suppose 4*n - 3*i = 3, -5*n + j = -i - 0. Which is smaller: -7/86 or n?
-7/86
Let q be (-14)/695394*-18 + (1 - 1). Which is bigger: 1 or q?
1
Suppose -14*b - 164 - 155 = -305. Let p be (-15)/159*4/(-5). Is b smaller than p?
True
Suppose t + 12 = 4*x + 9, 3*x = -2*t + 5. Which is smaller: 130/167 or x?
130/167
Let g be 10/4*(197478/(-135))/23. Which is smaller: g or -165?
-165
Let m be 15/(-2) + (-83)/166. Which is bigger: -59/7 or m?
m
Suppose 3*k - 156*g - 8715 = -151*g, 3*k - 8685 = -5*g. Which is greater: 2897 or k?
k
Suppose 0 = 4*a + 5*g - 20, 125 = 2*a + 2*g + 117. Is 77 at most as big as a?
False
Let a be 2024/(-110) - (-8)/20. Which is greater: -212/11 or a?
a
Let m = -1.1746 + 1.6857. Is m at most -0.1?
False
Let m = 6477 + -6460. Let u = 33 - 21. Which is smaller: u or m?
u
Let k = 14276 - 11030. Is k less than 3243?
False
Suppose -23*f + 34*f = -22. Let h be (f/(-4))/(3 - 14/4). Which is bigger: h or -1/107?
-1/107
Let u(p) = 3*p**2 + 22*p. Let k = 5 + -14. Let s be u(k). Let f be 190/s - (-2)/(-9). Which is greater: f or 0?
f
Let q(p) = p**3 - 49*p**2 - 44*p - 759. Let b be q(45). Which is greater: b or -10840?
b
Let s be 24/30 + 2435/1300. Let l = s - 38/13. Which is greater: l or -55?
l
Let o = -33246.121 + 33391. Let k = -145 + o. Which is smaller: -1 or k?
-1
Let i = 4159/96 - 130/3. Let c(b) = -b**3 + 11*b**2 - 22*b + 35. Suppose -54 = -10*w + 4*w. Let s be c(w). Which is greater: s or i?
i
Let u = -269 - -274. Suppose 0 = 2*m + 3*h - 237, 3*m = u*m - h - 257. Do 126 and m have the same value?
True
Let m = -22.34 + -13.84. Let y = m - -37.1. Which is smaller: y or 0.1?
0.1
Let a be (-6)/13 - 6/(-3). Let s = -884 - -886. Let b be -9 - -14 - 5 - (s + -4). Which is smaller: b or a?
a
Let y be ((-39)/15 + 0 - -1)*10. Let j be (-223)/(10 + y/4). Let s = j + 1711/46. Which is smaller: -1 or s?
-1
Let x = -8364570 + 108687741/13. Let j = x - -3979. Which is greater: j or 5?
5
Let w be 6814*(-5)/3690 + (8 - -1). Are w and -1 non-equal?
True
Suppose -3*g - 4*i = -54, 10*g - 5*g - 2*i - 90 = 0. Suppose 5*n - 9*n = 56. Let s be 35/2 + -1 + (-21)/n. Is g less than or equal to s?
True
Suppose 29 = 29*j + 13 - 13. Which is smaller: j or 49/61?
49/61
Let h = 168771134/31 + -5444705. Let m = 475 + h. Suppose 3*z - 12 = 3*i, 5*i + 0 = -4*z + 7. Is i at most as big as m?
True
Let o = 539599/516 - 4183/4. Are o and -3/11 non-equal?
True
Let p = 10471 - 10450.95. Are p and 0.4 equal?
False
Let b be ((-492)/(-10584))/(45770/1866). Let f = b - -2/13731. Which is smaller: 1 or f?
f
Suppose -74 = 6*u - 4*u - 5*c, -4*u - 112 = -c. Let r be (u/54)/((-2)/(-20)). Are r and 1 non-equal?
True
Suppose 16 = 13*u - 36. Suppose -106 = -u*f + 5*h, 0 = 4*f - 4*h - 141 + 33. Suppose -5*z = -0*z - 145. Is z equal to f?
True
Let x be 100 - -21*40/(-70). Are x and -1 equal?
False
Let r(f) = -f**3 + 2*f**2 - 16*f + 16. Let l be r(-6). Let o = l + -398. Let s(w) = w**2. Let m be s(1). Do o and m have the same value?
False
Let a(q) = q**2 - 12*q + 54. Suppose 0 = 5*z - 194 + 154. Let l be a(z). Is l at least 9?
True
Suppose 30*z + 6*z + 35*z + 59569 = 0. Which is greater: -841 or z?
z
Let b = 1044610 + -1044458. Suppose 0 = -n + 5*n - 600. Which is greater: n or b?
b
Suppose 0 = -13*s - 3*s + 80. Let x be s/(-2)*(-195)/(-9). Is x at least -54?
False
Let n(b) = -1287*b + 841. Let a be n(3). Which is bigger: -3019 or a?
-3019
Let n be ((-7)/8)/7 - 75065/(-520). Let j = n + -15777/91. Is -28 smaller than j?
False
Let v(b) = -b**3 - 2*b**2 + 4*b + 2. Let f be 2 + -2 + -2 + -2. Let p be v(f). Let g = 2393 + -2374. Which is smaller: g or p?
p
Suppose -84 = 3*n - 93. Let i be 1/(n - 366/120). Does i = -20?
True
Let x = -75511/44696262 - -1/37154. Suppos