 or y?
2/7
Let x = 8 - 8. Let k = -16 + 19. Let m be (6 - 3) + k + -1. Which is bigger: x or m?
m
Let c = 3.11 + 211.89. Which is smaller: c or 3/7?
3/7
Suppose 4 = 4*z + 2*o + 2*o, -o + 7 = 3*z. Suppose k - z = -2*k. Is 7/5 >= k?
True
Suppose 0 = b - 12 + 3. Let r be b/(-15)*(-5)/(-11). Let o(k) = -3*k - 71. Let t be o(-24). Which is greater: r or t?
t
Let l = -114853/11 + 10434. Does l = -8?
False
Let a(l) = -701*l + 31. Let g be a(-1). Which is greater: 731 or g?
g
Let f = 0.28 + 0.48. Let r = f + -2.87. Let o = r - -0.11. Do 2 and o have different values?
True
Let n be ((-2)/(-5))/((-37)/(-185)). Which is bigger: n or 19?
19
Let o = 4997/3 + -1691. Is -24 > o?
True
Let i(p) = -7*p**3 - p**2 + p + 1. Suppose d - 1 + 2 = 0. Let q be i(d). Let n be ((-1)/(-6)*2)/((-21)/(-126)). Which is bigger: q or n?
q
Let n be (-3)/((-6)/(-4))*-4. Suppose 4*k - 2*t + 22 = 5*k, -3*t = -k + 27. Let z = k + -17. Are z and n equal?
False
Let q be (-1545)/6020 + (-9)/(-36). Which is bigger: q or 1?
1
Suppose 0*b = 2*b - 4. Let o be -5 - (-4 + 5 + b). Is o at most as big as -7?
True
Suppose -3*c = -9*c + 12. Let q(p) = 2*p**2 - p - 1. Let z be q(c). Is z at least as big as 5?
True
Let f = 1.72 + 0.28. Suppose 2*z = -4*a + 3 - 13, 0 = -5*a - 5. Are f and z equal?
False
Let s = 2 + -4. Let a(z) = z - 9. Let p = -19 + 27. Let o be a(p). Is s > o?
False
Let a = 0.1548 - 0.0348. Is a equal to -4/39?
False
Let w = 545/813 - 1/271. Let z = 0.4 - -0.1. Which is greater: z or w?
w
Let d = -553 + 553. Is 8/323 bigger than d?
True
Suppose -3*x = -4*x - 17. Suppose -i + g - 14 = 0, -38*i = -34*i + 5*g + 101. Which is bigger: x or i?
x
Suppose 3*g + w - 49 = 23, -2*w = -2*g + 56. Suppose -35 = -10*q + g. Is q less than or equal to 5?
False
Let h = -0.71 + 0.6. Let v = -0.69 - -0.68. Let c = v - h. Which is greater: -12/5 or c?
c
Let l be (-4)/12*(-10 + 1). Let i be (-415)/(-825)*l + 3/(-5). Are i and 2 equal?
False
Suppose -5*s = 5*b + 175, -s = -7*b + 2*b + 65. Let r = 65 + s. Which is greater: 26 or r?
26
Let p(c) = c**3 - 9*c**2 - 2*c + 22. Let j be p(9). Suppose j*o - 8 + 0 = -2*b, -4*b + 25 = -o. Is b > 8?
False
Let z be (-16)/6*(-228)/608. Is 1459 < z?
False
Let p = -56 - -37. Let x = p + 15. Let y be (-10)/x - 1*2. Do y and 0 have the same value?
False
Let c = -22 + 25. Let n be 25/60 + (-1)/c. Which is bigger: -1 or n?
n
Let a be 102/27 - 1 - (-24)/108. Suppose -4*d + s = -16, -4*s = d + 4 + 9. Suppose -l - 12 = -d*l. Which is smaller: l or a?
a
Let o(f) = -f - 1. Let k be o(6). Let d be -5*4/(-10) + -2. Let b = d - k. Is b <= 7?
True
Suppose -5 = r - 7. Let a = r + -22. Let o = -20 - a. Which is bigger: o or 6/11?
6/11
Let f = -1 - -1. Let w = -116/13 + 541/65. Do w and f have different values?
True
Let f = 0.28 - 3.48. Let w = f + 0.9. Is w at least as big as -1?
False
Let r = -65 + 65. Let s be (r - (-7 + 5))/(3/12). Let b(j) = -j**3 + 4*j**2 + 6*j + 4. Let c be b(5). Which is greater: c or s?
c
Suppose 549 - 3993 = 7*t. Is -492 > t?
False
Suppose 0 = -4*q + 3*g + 870, -4*q - g + 515 = -363. Is 219 >= q?
True
Suppose 3*g = 4*c - 25, g - 2*c + 15 = c. Which is smaller: 14 or g?
g
Let j = 94 - 110. Let y(s) = -2*s**3 - 33*s**2 - 16*s - 19. Let r be y(j). Which is greater: -14 or r?
-14
Suppose -3 = q + 18. Suppose 3*f - 17 = 46. Let w = f + q. Which is smaller: w or -2?
-2
Let k = 143 - 194. Is -52 > k?
False
Suppose 5*s - 15 = 0, -5*s - 60 - 15 = -3*f. Let a be (0*(-2)/(f/(-5)))/3. Let k = 42/11 - 776/209. Which is smaller: a or k?
a
Let l = -15.07 - -0.07. Let k = l - -14.2. Let o = k + -0.2. Which is greater: 0.3 or o?
0.3
Let s(n) = 2*n**2 + 3 - 14*n + 6 - n. Let c be s(7). Let a = -6 + 10. Is a at most as big as c?
False
Suppose 40*z - 38*z - 135 = j, -5*j = 2*z - 141. Is z > 67?
True
Let k be ((-14)/(-4) + -4)*0. Suppose z - b = -2, 2*b + k*b + 8 = -z. Let v be (z/34)/((-6)/(-3)). Are v and 1 unequal?
True
Let g(n) = -96*n + 42. Let d be g(1). Is -277/5 > d?
False
Suppose l = 3*q - 8, 7*l + 3*q - 32 = 2*l. Suppose -2*a = -l*m + a - 9, 5*a - 15 = -2*m. Suppose m*o = 5*o - 20, -2*p = o. Which is smaller: p or 3?
p
Suppose 3*q - n = 6*q + 193, q = -n - 65. Let i(f) = f**3 - 10*f**2 + f + 9. Let v be i(9). Which is greater: q or v?
v
Let c = 0.02 + 2.58. Let j = c - 1.6. Is -1/2 bigger than j?
False
Let o = 2 - 2. Let n(i) = -11*i**2 - 1 - i**3 - 5 + 7. Let u be n(-11). Which is smaller: o or u?
o
Let z = 3 + 2. Suppose 3*s = q + 6, -13 - 7 = -z*s + 5*q. Let c be (3/(-4))/(1/8). Which is smaller: c or s?
c
Let v be -1*((10 - 3) + -3). Let c be (6 + v)/(22/4). Which is smaller: 1 or c?
c
Suppose -2*t = z - 10, -2*t + z + z = -4. Suppose 0 = t*l - 4*h - 4, 0 = -3*l + h - 5*h + 3. Suppose -3*o + 6*o = 0. Is o < l?
True
Let o = 65 + -101. Let y be 24/o + (-4)/(-9). Let q be 0*1/(-4)*2. Is y < q?
True
Let o = 777.38 - 776. Which is greater: o or -1?
o
Let g = -2551 + 17862/7. Let y = -4.07 + 0.07. Which is bigger: y or g?
g
Suppose 4*n + 0*n - 12 = 0. Suppose 2*d - n*c + 1 = 3*d, -5*d + 5 = -5*c. Which is smaller: 3 or d?
d
Let f = -4 - 14. Let i = 6 + f. Let a(j) = -2*j**2 + 3*j + 3. Let c be a(-2). Is c at most as big as i?
False
Let b be (13/(91/(-21)))/(7038/(-4)). Which is smaller: b or 1?
b
Let m be (-1)/2*(-1 - 0). Let d(c) = 2*c + 10. Let s be d(-4). Suppose -3*q - 3 = 5*p - 20, -s*q = -8. Is p smaller than m?
False
Let c be 20/70*(-1 + 66/45). Let g(r) = -r - 3. Let m be g(-3). Suppose l + 1 - 2 = m. Which is bigger: c or l?
l
Let y = -11740/4009 + 56/19. Which is smaller: 1 or y?
y
Suppose f - 10 = -f. Suppose 0 = 3*b + f*q + 25, 5*b + q + 5 = 2*b. Is b at least -1/4?
True
Let a(b) = 3*b - 1. Let h be a(-1). Let i be h/18 - (-82)/126. Let c be (5/(-4)*2)/((-295)/59). Is i at most c?
True
Let z be ((-2)/(-5))/(12/1950). Is z not equal to 65?
False
Let j = 470.99 - 17.99. Which is bigger: j or 0?
j
Suppose -16*l - 1480 = -168. Which is bigger: -83 or l?
l
Let s be ((-27)/(-4))/(18/360). Suppose 6*g - 33 + s = 0. Is g less than -18?
False
Let x = -925 + 100823/109. Let f(b) = -1 - 2*b - 3 + b. Let d be f(-4). Which is smaller: x or d?
x
Let i = 2.43 - 2.38. Is i at most as big as 29?
True
Let i(t) be the first derivative of 3 + 1/2*t**2 - 8*t. Let v be i(7). Is 1/5 at most v?
False
Let s = 262.42 + -2.42. Is s < -2/3?
False
Let b(w) = w**3 - w**2 + 7*w - 23. Let r be b(-5). Are r and -207 equal?
False
Let j = 47 + 8. Let f = -55.1 + j. Let v be 6/(-74)*(-2)/(-6). Which is smaller: f or v?
f
Let u(r) = -r - 10. Let d be u(-13). Suppose 0 = 5*o - 2*z - 376, -5*o - 6*z + d*z = -361. Let s be o/(-198) + (-4)/22. Is -1 at least as big as s?
False
Suppose 5*k + 28 = -2. Which is smaller: -7 or k?
-7
Suppose -3*m - 2*y = -17, 2*m + 4*y - 22 + 0 = 0. Let l be (-7 - -5)*-11*(-2)/(-4). Suppose i + 4*i + 12 = 3*q, -l = m*i + 2*q. Which is smaller: -2 or i?
i
Let p = -0.02 + -0.01. Let b = -0.13 - p. Let w be ((18/52)/3)/(3/(-6)). Are b and w unequal?
True
Let m = -28 + 14. Let u be 2 + 0 - m/(-7). Let g be (3 - (-8)/(-4))*u. Which is smaller: g or -3/10?
-3/10
Suppose 5 = -16*b - 11. Do b and -156 have the same value?
False
Let h be -2 + -11 + -1 + -1. Let a be h/6*(-567)/5. Let g = a - 290. Which is smaller: g or -8?
-8
Let a = 51476/7 - 7376. Which is smaller: -21 or a?
a
Let p = -6.99 + -0.01. Is 2 less than or equal to p?
False
Let i(x) = x**2 - 29*x + 75. Let r be i(17). Which is bigger: -131 or r?
r
Let v be 27/18 + (-12154)/100. Let c = 120 + v. Let p = -79/725 - c. Are p and -0.1 nonequal?
True
Let v be 16/(-12)*9/(-6). Suppose 61 = 4*f - 19. Suppose -k + 2*p - 40 = -5*k, 0 = -v*k + 4*p + f. Is 11 < k?
False
Suppose -16 = q - 5*q. Suppose 0 = u + 3*g - 99, -q*u + 2*g - 139 = -577. Is 109 not equal to u?
True
Suppose 0*f = 4*s + 2*f - 4, -23 = -5*s + 2*f. Let g be (12/45)/((-2)/s)*20. Let i = 0 - 8. Is g at least i?
True
Let v be -198*(-6 - 91/(-14)). Is -5 greater than v?
True
Suppose -606 = 3*n + p + 435, 0 = 4*p. Is n > -347?
False
Let t = -33 - -29. Let w = t - -4.1. Which is smaller: w or 8?
w
Let i = 64/117 - 7/9. Suppose 0*y + 2*y = -6, y - 3 = 3*s. Let g = s + 1. Which is greater: i or g?
i
Let b = 2/5981 + 5283/2087369. Which is smaller: b or -1?
-1
Let m be -9 + 7/(-21)*-27. Let g = 27/175 - 36/25. Which is smaller: g or m?
g
Let j be (-6)/(-9)*((-318