s greater: i or 0?
i
Let c(y) = 4*y + 156. Let d be c(-37). Suppose -7 = -l + n, l + 2*n - 5*n = 7. Which is smaller: l or d?
l
Suppose 138 = x - 4*d, 2*x + 4*d - 267 = 3*d. Suppose 42 - x = 2*j. Is j < -47?
False
Let i = -3 + 20. Let r be 28/(-18)*(-81)/18. Let d = r - i. Which is smaller: -9 or d?
d
Let n(i) = -i**2 + 16*i + 24. Let a be n(13). Is a at least 63?
True
Suppose -1020 = t - 13*t. Which is greater: 84 or t?
t
Suppose 2 = -14*c - 26. Which is smaller: -13/5 or c?
-13/5
Let q = -1.9 + 0.3. Let l = 15.4 + -14. Let o = l + q. Is o at most -1?
False
Let z = 1134 - 1068. Is 0 not equal to z?
True
Let f be 2/5 + (-231)/15. Let q = f - -15. Which is smaller: -1 or q?
-1
Suppose 18*a - 68 = -86. Which is greater: a or 450?
450
Let i = -6.35 - 0.35. Let g = i - -5. Let c = 1.6 + g. Is -6 > c?
False
Let y be -2*11*5/50*-5. Is 117/11 != y?
True
Let g be (-4)/((-96)/(-93)) - -4. Let b = -0.071 + -1.189. Let p = b + 0.26. Which is smaller: p or g?
p
Let z = -215 - -213. Let a = 6 + 7. Which is smaller: z or a?
z
Let w = 4385 + -30645/7. Let p = -51/7 + w. Does p = -1?
False
Let p = 18.4 + 1.6. Let c = 227 - 226. Is p >= c?
True
Suppose 8*m - 7*m - 11 = 0. Suppose m = z + s - 5*s, 4*z - s = -1. Which is greater: -4 or z?
z
Suppose 0 = -7*v + 4*v + 9. Let i be 42/4 + v/6. Let z(k) = 2*k**2 - k + 2. Let y be z(-2). Which is bigger: i or y?
y
Let v = 25 + -23. Suppose -3*i = v*i + 105. Which is smaller: -20 or i?
i
Let b(g) = -3*g**2 - 96*g - 57. Let s be b(-31). Which is smaller: s or -2?
-2
Let r = 50.9 - 51. Which is greater: -2/601 or r?
-2/601
Suppose -5*h + 3*k = -h - 325, -4*k = 3*h - 250. Let x = 83 - h. Which is smaller: 7/5 or x?
x
Suppose -2*c = 5*h + 3*c - 55, -2*h + 4*c = -22. Let w = -48 + h. Is w at least as big as -36?
False
Suppose h = 2 + 1. Suppose 3*b = -0*b - h. Which is greater: b or -7/5?
b
Let l = 1.93 + -0.03. Let k = l - 5.9. Which is greater: k or -0.07?
-0.07
Suppose -x = -3*f - 9, f - 5*f + 5*x = 12. Let r be (-2 - (-5 - f)) + 0. Suppose 0 = 3*z - r - 3. Which is smaller: z or -1/8?
-1/8
Let s = -7.6 - 29.4. Let h = s + 24. Are -1 and h equal?
False
Suppose -5*s = -4*s - 2. Let t(d) = d**2 + s + 0*d**2 - 2*d + 0*d. Let f be t(1). Which is smaller: f or 21?
f
Let n = -57/23 - 911/115. Which is greater: n or -9?
-9
Let t = 17 - 17.01. Let r = 0.11 + t. Which is bigger: -11 or r?
r
Let q = 3.7 + -75.7. Let l = 86.8 + q. Let a = 15 - l. Do a and -0.3 have different values?
True
Let r be 6/(-5) - (7 + (-1380)/275). Is r greater than -2/41?
False
Let v = 10/181 - 3328/1267. Let c = v - -47/21. Let l be 2/(-8)*(-24)/21. Which is smaller: l or c?
c
Let o = -0.21 + -28.79. Let d = o + 28.8. Let f = 4 - 8. Which is bigger: f or d?
d
Let l(q) = 2*q + 8. Let s be l(-2). Which is greater: 0 or s?
s
Let h(z) = z**2 - 5*z + 3. Let l be h(3). Let k = 0 - 4. Is k < l?
True
Let u = -0.1196 - -0.3196. Which is smaller: u or 44.3?
u
Let h = 44 - 43. Let o be (110/(-3))/(14/(-21)). Let i be 3/15 - (-9)/o. Is i <= h?
True
Let j(c) = -c - 8. Let w be j(-9). Let z = -56 - -56.32. Let h = z + -16.32. Is h less than or equal to w?
True
Let i = -342 + 593. Which is smaller: 250 or i?
250
Let r(w) = w**2 + 6. Let k be r(0). Let n be (42/(-12))/(21/(-24)). Is n at least k?
False
Let c = 9.24 - 9.1. Are -2/11 and c nonequal?
True
Let d be (-36163)/(-80591) - 3/7. Is 1 bigger than d?
True
Let g = -36 + 45.2. Which is smaller: g or 1?
1
Let q = 0.4 + -0.3. Which is greater: q or 2/9?
2/9
Let n be (0 + -3)*(-120)/5. Let j = n - 53. Which is smaller: 18 or j?
18
Let i(t) = -4*t - 15. Suppose -6*n = -2*n - 5*r + 16, -2*n + r = 8. Let q be i(n). Is 0 equal to q?
False
Let l be ((-6)/(-9))/2 - (-447)/9. Let f = 31 - l. Suppose d - 57 = 4*d + 3*p, p = 3*d + 57. Is f > d?
False
Suppose 0 = -16*j + 18*j. Which is bigger: j or -24/49?
j
Let p = -38/63 + 8/9. Let g be (2/40)/((-18)/36). Which is smaller: g or p?
g
Let z be (-34)/(-6) - 10/15. Suppose -m = -2*p - 3 + z, 0 = p + 2*m + 9. Let w be (5 - 4)/1 - 2. Is w smaller than p?
False
Let n(k) = -k - 14. Let c be n(-18). Let q(r) = -r**2 - 8*r - 5. Let u be q(-7). Is u at least c?
False
Let p = -1945/8 - -931/4. Which is smaller: p or -9?
p
Let b = -6 - -6. Which is bigger: -1/154 or b?
b
Let x = 69 + -64. Suppose -3*n = -4*l - 19, 2*n + x*l = -2*n - 16. Is 2/17 at most as big as n?
True
Let f = -364 - -379.1. Let k = 15 - f. Which is bigger: k or 13?
13
Suppose 114*l - 115*l = 145. Is l bigger than -145?
False
Suppose h = -5*d - 6, 4*h = -h - 5. Which is smaller: 0.172 or d?
d
Suppose 3*p - 2 = 4. Suppose 5 = -7*v + 2*v + p*s, -3*s = -4*v + 3. Let u = -0.4 + 3.4. Which is smaller: v or u?
v
Let v be ((-1)/(-8))/((-74)/(-592)). Suppose 6*i = i - 1990. Let b = i + 3578/9. Does b = v?
False
Suppose -26*g + 7*g + 361 = 0. Suppose -g*c = -18*c. Which is smaller: c or -1/26?
-1/26
Let r = 1486 - 1524. Which is bigger: -264/7 or r?
-264/7
Suppose 5*q - 16 = 4*o, 3*o = -3*q - 2*q + 23. Let s = -1 - 38. Let z be 27/s*1/(-3). Does o = z?
False
Suppose -p - 1 = 4. Let o be (-1089)/234 + 4*8/208. Which is smaller: o or p?
p
Suppose 4*i - 9 = -1. Suppose -i*j + j = -4. Suppose 3*s + 13 = 3*m + 2*m, -5*m - 3*s = -37. Which is greater: j or m?
m
Let r(c) = 3*c + 29. Let m be r(-9). Suppose -17*b + 13*b = -5*k + 90, -5*k + m*b = -80. Is k less than 14?
False
Let p = -1891/2 + 937. Is p greater than -0.1?
False
Suppose 0 = 9*q - 88 + 16. Let m be (-12)/q + (3 - (1 + 1)). Is m greater than 0?
False
Let a be 302 - -4*35/(-20). Are 296 and a nonequal?
True
Let v = -66 - -66.6. Let u be 9/(-15)*(-3 - -8). Let z be -2*(-3)/(-30)*u. Are z and v nonequal?
False
Let c = 23 - 23.1. Is -198 >= c?
False
Let i be (-11 + 1926/171)*(-72)/(-10). Is 1 smaller than i?
True
Let p = -21 - -22. Let i be 2/2*(-6 - -8). Suppose 2*l - 10 = 4*m, l = i*m + 6*l - 25. Is p < m?
False
Suppose -21*a + 11*a + 10 = 0. Which is bigger: a or -9?
a
Let i(t) = -t**2 + 5*t + 7. Let g be i(8). Let l = g + 22. Suppose -a = -l*f + 2, 4*a + 2*f - 10 = 4. Which is greater: a or 1/3?
a
Let f = 226/5 - 16026/355. Which is bigger: 1 or f?
1
Let u = 8.06 - 0.06. Let m = 51 + -51.1. Which is greater: u or m?
u
Let o = -269.6 - -266. Do o and -0.5 have different values?
True
Let z be (((-14)/4)/(-7))/(45/(-70110)). Which is bigger: z or -781?
z
Let s(m) = 14*m + 4. Let x be s(-3). Let k = x - -26. Let u = -12 - k. Is 3 smaller than u?
False
Let w(u) = -7*u**2 + 25*u - 24. Let v be w(1). Which is smaller: v or -43/6?
-43/6
Let c be (2*1/12)/1. Let o be (-16)/12 - (-252)/108. Which is greater: o or c?
o
Let m be ((-426)/(-46))/3 + -3. Suppose 0 = -5*g - 3 - 2. Let y = 2 + g. Is m < y?
True
Let a = 108 + -24. Let u = 110 - a. Which is smaller: u or 27?
u
Let l = 67/210 + 17/14. Let v = l - 41/15. Let j(m) = m**3 + 10*m**2 + 2*m + 19. Let u be j(-10). Which is smaller: u or v?
v
Suppose 0 = 49*l - 56*l - 609. Let w = l - -113. Are w and 23 equal?
False
Let l(o) = -4*o**2 + 3*o + 3. Let m be l(3). Let a be ((-6)/4)/(6/m). Let w be (1 + 0)/((-5)/(-25)). Which is smaller: a or w?
w
Let g = -567 - -79379/140. Does g = -1?
False
Let y be (7/(-21))/((-5)/(-45)) - 313. Is -321 at most y?
True
Let m be 5 + -4 + -1*1. Let b = 24 - 29. Let u be 15/(-24)*2/b. Which is bigger: m or u?
u
Let y = -1602 - -1257. Which is greater: -1 or y?
-1
Suppose -3 = -h - 1. Suppose -2*a + p = 2, -268*p = 3*a - 272*p + 8. Is a less than h?
True
Suppose -13*z - 940 = -17*z. Suppose 19*r - 24*r = -z. Is 48 greater than r?
True
Suppose 15 + 433 = 14*a. Is -2/5 equal to a?
False
Let m = -0.619 - -0.029. Let v = m + 0.58. Which is smaller: -0.9 or v?
-0.9
Suppose 2*h = 3 - 63. Let u be (-8)/12 + (-14)/h. Which is bigger: u or 10?
10
Let z = 1325/1704 + -19/24. Let q = 2946 - 2947. Which is bigger: z or q?
z
Let y = 535 + -558. Suppose 50 + 65 = 5*h. Let u = y + h. Is -3 at least as big as u?
False
Let u = 218 + -123. Are u and 96 nonequal?
True
Let s be (1 + -3)*(225/6 + 3). Let w = s + 94. Is w smaller than 12?
False
Let r(v) = v**3 - v**2 - 1. Let n(u) = u + 7. Let j be n(-5). Let g be r(j). Suppose 0 = -2*s - 2*o - o - 2, -4*s = -g*o + 4. Is 0 at least s?
True
Let m = 7 + 29. Let f be (2/3)/((-6)/m). Let z = 2 + f. Which is smaller: z or 2?
z
Suppose 2*p = -w - 0*p - 33, -w = 5*p + 45. Let a be 20/w