 most as big as t?
False
Suppose -4*o - 7*d + 4 = -9*d, -4*d + 14 = 3*o. Which is greater: o or 37?
37
Let r(n) = -7*n + 47. Let h be r(6). Suppose h = -23*z + 18*z. Which is bigger: z or 7?
7
Suppose d - 3*g = -33, 3*d - 2 = 2*g - 66. Which is smaller: d or -16?
d
Suppose 3*i - 2*i = 3. Suppose -2807*a = -2815*a + 8. Which is greater: a or i?
i
Suppose 5*j + 3 = -17, -2*d = j + 2. Which is bigger: d or -2/339?
d
Let j be -3 + 2 + 212/112. Let u = 1/7 - j. Is u <= 1?
True
Let d = 8261/19 - 435. Which is greater: d or 1?
1
Let r = 6.23 + -7.181. Let s = r + -0.049. Is s smaller than -2/65?
True
Suppose 0 = 16*q + 87 + 41. Which is greater: -22 or q?
q
Let k be (-390)/52*2/3. Which is greater: k or 5?
5
Let b = -33 + 33. Is -7/11 less than or equal to b?
True
Suppose -930 + 888 = 3*s. Let n = -10 - 4. Let p be 1*(-1 - -2) + n. Which is bigger: p or s?
p
Let v be ((-122)/(-18) - -3)*36/24. Let g be (-449)/30 - 2/(-4). Let z = v + g. Is z at least as big as -1?
True
Suppose 17 = 3*q + 3*a + 2*a, -13 = -4*q + 3*a. Suppose 0 = q*n + 16 - 12. Which is smaller: -5/8 or n?
n
Let n = 3 + -1. Let l = 56 - 38. Let r = 17.7 - l. Is n > r?
True
Let c = -16222 - -3001079/185. Is 1 >= c?
True
Let d = 20 + -99. Let j = d - -53. Which is bigger: -25 or j?
-25
Let v = -0.229 + 0.429. Let f = -5.02 - -0.02. Is v < f?
False
Let l = -1188 - -1357.88. Let u = l - 164. Let y = 0.12 + u. Is y smaller than 1?
False
Let a(b) = -12*b - 61. Let d be a(-3). Is d <= -19?
True
Let u = 36795/8 + -4593. Which is smaller: u or 7?
u
Let s = 282 - 396. Which is smaller: -113 or s?
s
Suppose 0 = 2*z - 5*a - 13, 0 = 4*z - a + 28 - 9. Let j(h) = h + 1. Let f be j(z). Let b = 79 + -85. Are f and b equal?
False
Let a = -7.955 + -0.045. Let g = -6 + 10. Let z = g + a. Which is bigger: -2 or z?
-2
Suppose 0*a - 20 = -5*a, 2*a - 11 = -3*f. Which is smaller: -1/207 or f?
-1/207
Let g be (-12)/(-72) - -1*(-33)/(-18). Which is greater: g or 19/25?
g
Suppose s = 5*y + 30, 3*y = 5*s - 63 - 131. Which is bigger: s or 1?
s
Let v be (15 + 2 - 3) + -2. Let s be (v/(-16))/((-210)/(-24)). Is -1 > s?
False
Let l = 17.52 + -18. Let c = 2/2631 - -5252/13155. Which is bigger: c or l?
c
Let m = -125 + 133. Which is smaller: m or 3?
3
Let j = -1.522 + 0.722. Let d = 1.1 + -0.3. Let n = j + d. Is -7/4 < n?
True
Let r be 9/15 + (0 - 429/15). Let j = -33 - r. Is 6 <= j?
False
Let b(c) = 2*c**3 - 15*c**2 + 6*c + 15. Let n be b(7). Let a = n - 57. Which is bigger: -48 or a?
-48
Let h(g) = g + 9. Let x be h(-12). Let r = 0 - -5. Let d = r + -8. Is x <= d?
True
Let h be ((-5)/2)/(4/8). Let v = 14 + h. Is v < 9?
False
Let r be (0 + -65)/(-1) + 2/(-1). Let k = 68 - r. Is 5 >= k?
True
Let s = -13173/5 + 2624. Which is greater: s or 4?
4
Let t = 1076 - 1076. Is t at least as big as 2/2223?
False
Suppose 0 = 7*a - 2*a - 5. Let c be 8/14 + a/(-2). Let g = 2025 + -2025. Which is greater: c or g?
c
Let u be (180/(-27))/(57/4419). Let b = -517 - u. Does 1 = b?
False
Let z = 521 - 521. Which is smaller: 181 or z?
z
Let q = 34 + -32. Let a be (2 + -4)*-2 - q. Is a <= 3?
True
Let i be (-969)/(-39) - 0 - 2/(-13). Let a = -24 + i. Is -2/169 at most as big as a?
True
Let m = 618 - 661.1. Let u = m + 43. Is u greater than -0.7?
True
Let q be -3*(-1 - (-19)/21). Let p = -0.862 + 0.892. Which is greater: p or q?
q
Suppose b + 3 = 3*d, -2*b - 7 = -3*b - 2*d. Suppose 48 = b*h - 5*g, -2*h + h - 4*g + 16 = 0. Suppose -6*k - 2*k = h. Which is greater: 1.1 or k?
1.1
Let s = 94 + -156. Let v = 49 + s. Are v and -15 nonequal?
True
Let n = -42 - -64. Let r = 10 - n. Does -12 = r?
True
Let t be 1*5 - (-1060)/106. Is 115/8 <= t?
True
Let z be ((-6)/18)/(1/3). Let l be 4 - (-1)/(z/3). Which is bigger: -2/11 or l?
l
Suppose -3*y - z - 5 = -6*z, 0 = -5*y + 5*z + 5. Suppose h + 4 = 3*h. Suppose q + h = y. Is 5 >= q?
True
Let l = 6 + -14. Let u be (l/12)/(1/(-18)). Let x = u - 14. Is -1/3 at most as big as x?
False
Let s = 0.2472 + -7.2472. Let c = 3 + -2.9. Is s less than or equal to c?
True
Let v be (-4)/((-8)/26) - 1. Suppose 0 = 2*o - o + v. Let b be 3*(-2 - 44/o). Which is bigger: b or 2?
b
Let w = -28 + 29. Let i be ((12/(-41))/(-6))/(-7). Which is smaller: i or w?
i
Let x(u) = -22*u + 4. Let b be x(-1). Let v = -14 + b. Which is smaller: v or 13?
v
Let q = -1598 - -1113. Which is greater: q or -484?
-484
Let p be (480/42)/((-24)/84). Which is smaller: p or -323/8?
-323/8
Let r(k) = -k**2 - k + 2. Suppose u = -u - 4. Let c be r(u). Let x = -2611/5 - -522. Which is smaller: c or x?
x
Let n be -1 - (-113)/15 - 32/160. Is n > 5?
True
Let c(q) = q**3 + 5*q**2 + 2*q - 1. Let m be c(-3). Suppose -m = u + h, 0 = 3*u + 2*u + 3*h + 51. Which is bigger: -11 or u?
u
Let n = 0.1 - 0.3. Let i = -1241.8 - -1242.6. Which is bigger: n or i?
i
Let x = -2 - -3. Let t = 2906 - 2821. Which is greater: x or t?
t
Let p(y) = 2*y**2 + 5*y + 2. Let u be p(-3). Let v = 164 + -161. Suppose h + 4*b + 12 = -2*h, -u*h = b + v. Is 3/17 less than h?
False
Let n = -69.22 + 69. Let z = -6.92 - -7. Let m = z - n. Which is bigger: -1 or m?
m
Let i = -0.56 + -0.44. Let q = i - -1.1. Is q > -3?
True
Let k(n) = -n**3 + 22*n**2 - 21*n - 1. Let b be k(21). Which is smaller: -2/391 or b?
b
Suppose 3*p = 5*b - 1543, -42*b = 4*p - 41*b + 2042. Is -510 < p?
False
Let m be 272/(-42)*204/8. Let n = -7069/42 - m. Is -3 equal to n?
False
Let t be ((-304)/88)/1 - (1 - -1). Which is smaller: -5 or t?
t
Let z = 324 + -393. Which is smaller: -68 or z?
z
Suppose -2*j - 3*t = 15, -3*j + 9*t = 7*t - 10. Let i be 66/40 - 1/4. Are j and i nonequal?
True
Let x be 436/(-756) - 4/(-7). Let y = x - -8/189. Is 1 > y?
True
Let d be (288/(-672))/(4/(-7)). Let o = -0.4 - -0.43. Which is smaller: o or d?
o
Let v(y) = y**2 - 4*y - 1. Let m be (-2)/(-7) + (-78)/(-21). Let w be v(m). Let r(d) = 2*d + 4. Let j be r(-3). Which is smaller: j or w?
j
Let g = 2 + -5. Let k = -10 - -13. Suppose -k*d + 8*d - 10 = 0. Which is smaller: d or g?
g
Let v(g) = -3*g - 19. Let s be v(-7). Let j be s*3/(-21) + 2092/(-28). Are -75 and j nonequal?
False
Let q = -95 - -94.9. Are -0.125 and q nonequal?
True
Let q = -1/2609 + -54779/26090. Which is smaller: q or -1?
q
Let q = -28090 - -28090. Let h = 0.15 - 0.2. Let g = h + 0. Which is smaller: g or q?
g
Let x(d) = -d**3 - 2*d**2 + 2*d - 8. Let i be x(0). Let p be i/30 - (-8)/24. Which is greater: -1 or p?
p
Let c = 0 - -34. Let k = -34.13 + c. Let x = k - -0.03. Which is smaller: x or -0.01?
x
Let i be (28 + -29)*(2 + 1). Let s(w) = -5 + 8*w - 3*w**2 - w**2 + 3*w**2. Let k be s(7). Is k less than or equal to i?
False
Suppose -2*z = -5*i - 0*i + 1325, 2*i + 5*z - 559 = 0. Do 268 and i have different values?
True
Suppose -c + 0 = d - 5, d - 17 = 3*c. Suppose t + d*t - 18 = 0. Is 2/25 <= t?
True
Let u = 2484 + -2456. Does -12 = u?
False
Suppose 6*c = -1244 - 58. Which is smaller: -218 or c?
-218
Let q = -0.01 + 0.11. Suppose -96 = 5*j - 11*j. Is q at least as big as j?
False
Let g(m) be the third derivative of -m**5/60 - 5*m**4/8 - 8*m**3/3 + 3*m**2. Let y be g(-11). Let n = y + -37. Is n equal to -9?
True
Let i be 24/14 + 20/70. Suppose 0 + 25 = -5*u, u + 57 = i*q. Is q at least as big as -0.2?
True
Suppose 5*u - 4 = -2*m, 2*u + 8 = -0*m + 4*m. Let p(f) = -f**2 + 10*f + 0*f - m*f - 6. Let v be p(8). Which is smaller: v or -4?
v
Let a be (0 - 176/13)/(98/49). Which is bigger: a or -7?
a
Let z = 75 - 9. Is z <= 0?
False
Suppose -3*u = -5*u - 292. Is u > -145?
False
Suppose -30 = -5*y + 7*y. Let j = 11 + y. Let c be j/(-10)*21/(-14). Which is smaller: c or 0.2?
c
Let a = -354.4 + -43.6. Is a at most 0?
True
Let w = 120.9 - 111. Let p = w + -10. Let z = -0.2 - -0.27. Which is greater: p or z?
z
Let l(p) = p**2 - 3*p + 1. Let k be l(-8). Let j = -107 + k. Which is greater: 0.2 or j?
0.2
Let l = -136.01 + 125. Let b = 0.09 - l. Let k = b + -11. Is -0.4 at most as big as k?
True
Let o(s) = 9*s**3 - 10*s + 26. Let k be o(2). Let w(r) = 78*r**2 + r + 1. Let p be w(-1). Is p smaller than k?
False
Let d be (4/(-4))/(-2 - -1). Suppose 2 - d = -g. Suppose -2*o = s + 4, 2*o - 8 = 10*s - 8*s. Which is smaller: g or o?
g
Let k(h) = -h**3 - 4*h**2 + 15*h - 1. Let b be k(-6). Which is smaller: b or -2?
b
Suppose 3*t + t + 4 = 0, -77 = -4*c + t. Let x = c + -20. Let l(u) = -2*u**2. Let h be l