s than l?
True
Let m be ((-318)/32)/((-5)/50). Does m = 100?
False
Suppose 43*y + 3 = 46*y, -3*y = 4*c - 31. Let h(m) = m**3 - 6*m**2 + 5. Let g be h(6). Is c not equal to g?
True
Let o be (-3360)/(-50)*(-315)/(-36). Is o less than 588?
False
Let s = 69 + -68.54. Let o = s + -0.66. Is -12 > o?
False
Let v = -24 - 42. Let k = 65 + v. Which is greater: k or -2/55?
-2/55
Let k be 6/(5/1 + -3). Suppose 5*s - 28 = -k*n, -3*n + 22 - 6 = -s. Suppose -m = -n - 7. Is m < 13?
False
Let l = -33/61 + 3159/427. Which is smaller: l or 7?
l
Suppose -i = 4 + 5. Let a = -2 - i. Which is bigger: a or 5?
a
Let q = -11 - -16. Suppose 85 = q*v + 20. Let w = v - 16. Is w less than or equal to -1?
True
Let p = -883 + 809. Which is greater: 2 or p?
2
Let m(v) = v**2 + 5*v + 2. Let o be m(-5). Let j = o - 6. Let r be j*1/((-188)/(-2)). Which is smaller: r or 1?
r
Let p = -18.07 + -5.93. Is 2 greater than or equal to p?
True
Let o(r) = r - 5. Let x = 23 - 18. Let a be o(x). Is -3/4 > a?
False
Let b be (-1 - -3)*(0 + 141/6). Suppose -16 = -f - b. Is f smaller than -32?
False
Suppose 5*i + 13 = -2. Let t be ((-14)/(-70))/(4/(-56)). Is t at least i?
True
Let p be 0*(-5)/(14 - -6). Which is bigger: -1/459 or p?
p
Let d(l) = l**3 + 8*l**2 + 4*l. Let v be d(-6). Let o be ((-3)/16)/(12/v). Is o at least as big as -1?
True
Let a(k) = -k**2 - 12*k + 25. Let t be a(-14). Which is bigger: 10 or t?
10
Let a be 4/(108/(-195)) - (-28)/4. Is -1/109 smaller than a?
False
Let w(v) = 5*v**2 + 9*v - 21. Let s be w(9). Which is bigger: s or 466?
466
Let r = -9.5 - -9.08. Let y = r - 2.58. Which is greater: y or 5/3?
5/3
Let q be (-2)/16 - 21/(-168). Which is bigger: q or 1/87?
1/87
Let j = -105 + 54. Let u = j + 49. Is -0.5 < u?
False
Let r(d) = -2*d**2 + 11*d - 16. Let v be r(8). Let i = v - -60. Suppose 0 = -o + 3*o - 5*z, -z = -2. Which is smaller: o or i?
i
Let y = -1178 - -705. Which is bigger: y or -474?
y
Suppose 85 = -k - 4*k. Let i = -195.63 + 195. Let d = i + -0.37. Which is smaller: d or k?
k
Suppose 34*p - 9 = -77. Which is greater: p or 2/121?
2/121
Suppose 12*b - 1526 = 13*b. Let t = -33565/22 - b. Is t > -1?
True
Let g be -51 + 50 - (341/353)/(-1). Which is smaller: g or 0?
g
Let l = -64 + 6. Let n = l - -63. Do -1/7 and n have different values?
True
Suppose -2*a + 3*s = 2, -4 + 0 = 3*a - 5*s. Let t be (-24)/(a + -3) + 0. Let b = t + -23. Which is smaller: 2/7 or b?
2/7
Suppose 291 = 4*z - 5*o, -4*z - 111 = -2*o - 393. Is 3 not equal to z?
True
Let f be 933/27 - 2 - 32/(-72). Which is greater: f or 420/13?
f
Let r be (-3 - -171)/((-4)/30). Let m be 304/r + 2/7. Suppose -26*n + 2 = -24*n. Which is smaller: m or n?
m
Let k be (-28128)/35360 + (-16)/(-20). Let y be -2 + (-6)/(-2) + -1. Which is smaller: y or k?
y
Let w = -4.16 + 4.9. Let j = w + -0.44. Which is smaller: j or 2?
j
Let g = 163728447/1519 - 107787. Let w = g - 5710/92659. Which is bigger: 0 or w?
0
Let q be (-3854)/(-22) + (-6)/33. Suppose 0 = -w + 6*w + q. Let k be (-2)/(-8) - w/(-364). Is 1 > k?
True
Let b be ((-28)/21)/((-4)/(-456)*-2). Is 76 >= b?
True
Suppose 2*f + y + 271 = 0, 2*f + 0*f = -4*y - 280. Let k = f - -135. Which is bigger: k or 4/89?
k
Let t(k) = -5*k**2 - 7*k + 3. Let b(r) = -6*r**2 - 8*r + 4. Let s(d) = -2*b(d) + 3*t(d). Let v(n) = -n - 5. Let l be v(-7). Let p be s(l). Is -22 >= p?
False
Suppose -15*y + 13*y + 8 = 0. Suppose 19 - y = -3*h - v, -h - 16 = 4*v. Which is smaller: -6 or h?
-6
Let o = 713/6699 + -7/87. Which is smaller: -0.3 or o?
-0.3
Suppose 0 = -3*p - 2*n + 3, p = n + 4*n + 1. Suppose -i + p + 4 = 0. Let t = -8 + i. Is 2 at least t?
True
Suppose -4*z + x = -15, -18 - 3 = -4*z - 5*x. Suppose k + 6 = z*k. Suppose b = 3, k = -5*d + 5*b - 28. Which is smaller: 1 or d?
d
Let b be (-132)/(-99)*(-18)/2672. Is b at most 0?
True
Suppose 2 - 3 = x. Let j = 2181/20 - 109. Do x and j have the same value?
False
Let o = -186538292917/6300 - -29609253. Let m = -1/252 - o. Let k = 146/1225 + m. Which is smaller: k or -1?
-1
Suppose -o = 2*o + 54. Let c be (8/(-12))/((49/o)/(-7)). Is c equal to -3?
False
Let o be (-2)/(-12)*-2*18/24. Is o smaller than 637?
True
Let l = -5 + 7. Suppose 2 = l*m - 0. Let v = 1628/931 - 34/19. Which is greater: m or v?
m
Suppose -11466 = 15*v - 2*v. Is -882 smaller than v?
False
Suppose 15*d = 19*d + 32. Suppose g - 5*g + 8 = 0. Suppose -3*l - 40 = g*l. Is d at least l?
True
Let a = -7588/23 + 330. Is a at most as big as 1?
True
Let w be (-1 - (-20)/(-5)) + 20. Which is smaller: 14 or w?
14
Let z be 1120/25 + (-1 - (-30)/25). Are z and 33 unequal?
True
Suppose -24*q + 480 = -97*q + 1940. Suppose x = 6*x - 410. Suppose 4*z + 107 = 5*l, -4*l + 2*z + x = -0*l. Which is greater: l or q?
q
Let n(k) = k - 5. Let r(y) = 2*y + 1. Let u be r(2). Let z be n(u). Let o = 98/9 + -496/45. Which is greater: o or z?
z
Let r(p) = -5*p**2 + 7*p + 5. Let c be r(2). Are 97 and c nonequal?
True
Suppose -7*g + 52 + 39 = 0. Is 0.1 != g?
True
Let h(l) be the second derivative of -l**5/10 - 2*l**4 - 5*l**3/6 - 14*l**2 - 5*l. Let v be h(-12). Is v at least as big as 32?
True
Let i be 2 - (-3 - -9)/(-2). Suppose 5*t + 5*r = 6*t - 2, i*r = -2*t - 41. Which is smaller: 0 or t?
t
Let n be 10/1 + (3 - 12). Are -1/331 and n equal?
False
Let b be 1*2 + (3 - 10) + -2. Let q be b/14 + 1/2. Is -0.39 at least q?
False
Let w be 2 + -1 - (-19584)/(-19656). Is w less than -1?
False
Let c(o) = 7*o + 3. Let m be c(-2). Let r = 4 + -5. Let z be ((-5)/(-10))/(r/24). Is m smaller than z?
False
Suppose 0 = 325*g - 327*g - y + 3, -2 = -4*g + 2*y. Which is bigger: 94 or g?
94
Let s be 20 - ((-66)/44 - -21). Suppose -5*m - 3*r + 205 = -r, 41 = m + r. Which is smaller: m or s?
s
Let x be -413 + -2 + 2/(-1) + 2. Is x equal to -415?
True
Suppose 20 + 130 = -5*f. Let h = 30 + f. Is -2 less than h?
True
Let o = -231 - -230.9. Suppose -h - 2*h - 5 = -k, 2*h + 2 = 2*k. Is o smaller than k?
False
Let g = -1193/65 - -210/13. Let a = g - -7/3. Is a < 0?
False
Suppose -11 + 41 = 6*o. Suppose 5*t = -4*f + f + 13, -29 = f - o*t. Is -24/5 >= f?
False
Let i be 2/(-5)*(-50)/(-135). Let t = 29 - 23. Suppose r = t*r + 5. Is r less than i?
True
Let n = 2533 + -2521. Let s(w) = 10*w + 1. Let q be s(1). Do n and q have the same value?
False
Suppose -14*s - 6*s = -11*s. Which is bigger: s or 3/173?
3/173
Let g be -145 - (-2 - (-30)/9)*-3. Which is bigger: g or -140?
-140
Let i = 5 + -6. Suppose -2 - 2 = -2*w. Let v be (-160)/(-525) - w/5. Which is smaller: v or i?
i
Let w(s) = -3*s**2 - 9*s - 6. Let q be w(-7). Let r = q - -66. Is r not equal to -26?
True
Let t be 0/(1*(-2)/2). Suppose 2*o - 3*z = -t*z + 1, 6 = 2*z. Suppose -4 = o*n - n. Is 5 <= n?
False
Suppose 2*j + 2*j + 80 = -2*w, 0 = j + 5*w + 38. Let b be (-3)/(j/4)*66/22. Which is greater: b or -33?
b
Let o be -536 + (-3)/(-1*(4 - 3)). Is -533 < o?
False
Let o = 3 - 7. Let g = 4.563 + 0.037. Let a = g - 3.6. Is a greater than o?
True
Let h = -4 + 13. Suppose -6*c = -3*c - h. Suppose -3 - 18 = -c*s. Do s and 6 have different values?
True
Let h = 1188 - 1630. Is h < -442?
False
Let f = 216185/276 - 2350/3. Which is bigger: f or 1?
1
Let b(k) = 4*k - 26. Let m be b(6). Suppose -15 = z + 4*z. Which is greater: m or z?
m
Let a(d) = d**3 + 24*d**2 - 28*d + 9. Let s be a(-24). Let y = s + -85124/125. Which is bigger: y or -1?
y
Let c = 704/1139 + -2/67. Is c at least 2?
False
Let z(s) = 8*s - 3. Let k be z(5). Let b = k + -35. Which is bigger: b or 1?
b
Let m = 163 + -234. Which is smaller: -72 or m?
-72
Let u(z) = z**2 + 15*z + 17. Let x be u(-11). Which is bigger: -26 or x?
-26
Let t(p) be the third derivative of -p**6/120 - p**5/12 - p**4/8 + p**3/3 + p**2. Let l be ((-2)/(-4) - 1)*8. Let z be t(l). Is z at most -2?
True
Let t(q) = q**3 - 9*q**2 - 7*q + 4. Let w be t(10). Let p = w + -33. Which is smaller: -2/113 or p?
-2/113
Let d be 18/((-216)/60) - -6. Which is smaller: -45/119 or d?
-45/119
Let p = 286 - 284.7. Is p < -20?
False
Let c = 621/2 - 80113/258. Which is smaller: c or -1?
-1
Let s = -0.047 - -13.047. Let l = -0.3 - -0.3. Is s greater than l?
True
Suppose 62 = -19*h - 33. Let q be (1 + -3)/2 + -9. Let k be (-2 - h) + q + -1. Is -8 less than k?
False
Let i = -3897/13 + 300. Is i <= -0.1?
False
Let a be 1953/5115 - (-2)/(-10). Which is smaller: a or 46?
a
Let y be (4