 = c + 74. Which is bigger: 20 or g?
g
Let y(r) = r - 4. Let u be y(7). Suppose -u = o - 6. Suppose -l = o*l - 12. Is 3 equal to l?
True
Let z(g) = 5*g**3 - 27*g**2 + 11*g - 7. Let d be z(5). Let j = -5893/2412 + -1/804. Is d less than j?
False
Suppose -16*d = -15*d + 4*s + 70, -3*s = 5*d + 316. Which is bigger: d or -69?
d
Let c be 21/48 - 18/24. Let m be (-4)/(-10) - (-16)/(-40). Which is greater: m or c?
m
Let v = 19.2097 - 0.1497. Let t = v + -0.06. Which is smaller: 2/5 or t?
2/5
Let l = 44 - 43.899. Let s = l + -0.201. Is s bigger than 6?
False
Let n = 57/2 + -28. Is n greater than or equal to 156?
False
Let q(i) = -11*i**2 - 32*i - 3. Let u be q(-3). Which is greater: u or -11?
u
Let a be -1 - (0 + (-2 - -3)). Let k be (-2)/(-3)*((-3675)/(-14))/35. Is k at most a?
False
Let n be 3/(-9) - 56/(-24). Suppose 3*p = -n*z - 10, 0 = 2*z + p - 0*p + 2. Which is bigger: z or 1/5?
z
Let x(d) = d**2 - 4. Let m be x(-3). Suppose 2*y + p + 2 = 0, -3 = m*y - p - 5. Let z = -10 + 3. Is y at most as big as z?
False
Let a = -2924747/365 - -8013. Let b = a + 1109/2555. Let v = -6 + 4. Which is bigger: b or v?
b
Suppose 2*h - 7*h = 4*r - 120, 2*h - 20 = 4*r. Let o = h + -15. Are o and 4 equal?
False
Let f be -1*(42/(-10))/(-7). Suppose -5*t + 9 - 4 = 0. Are f and t equal?
False
Let f be 340/(-595)*161/(-6). Suppose 5*x - 75 = -0*x. Is x > f?
False
Suppose 0 = -2*p - 6*p + 136. Does -3 = p?
False
Let a = 43 - 29. Let k be 4/(-5)*(1 + a). Let t(m) = -m**3 - 12*m**2 + m + 15. Let w be t(k). Is w greater than or equal to 12/5?
True
Let c be 1926/2198 - 258/301. Is -1 greater than c?
False
Let m(t) = t - 38. Let g be m(-12). Let w = g - -42. Let x(n) = -10*n**2 + 2*n - 1. Let f be x(1). Does f = w?
False
Suppose 5*p = 207 - 47. Suppose -2*l + h - 5*h + p = 0, -2*l - 2*h = -28. Suppose 0 = -3*n + n + 5*d + 6, l = -n - 5*d. Is -1/2 not equal to n?
True
Let g = -1891 + 1867. Which is bigger: -4 or g?
-4
Let o(h) = 7*h - 2*h - 28 - 2*h - 7*h. Let j be o(-9). Is 3 at most j?
True
Let h be 4 - 0/(-2)*-1. Let q be -87 - h/(-4 - 0). Let w = -861/10 - q. Is w >= 1?
False
Suppose -16*h + 2*h = -6*h. Which is smaller: h or -1.41?
-1.41
Let x = 168400/51 - 3302. Let m = 4 - -10. Let i be m/(-18) - (-6)/(-27). Which is bigger: i or x?
x
Let j be ((-6)/12)/((-1)/26). Let a be (-2)/j + (-8)/(-52). Is a smaller than 4?
True
Let n = -11 + 8. Let o be n/45*(-130)/(-4). Is o greater than -2?
False
Let x be -12*(22/6 - 3). Let h = 27 - 8. Let k = 11 - h. Is x smaller than k?
False
Let m be 5/4 - (15/(-12))/(-5). Which is smaller: 1/932 or m?
1/932
Let w = 16 + -16. Let n = 0.3 - 1.3. Let d = w + n. Which is smaller: d or 4/5?
d
Suppose 5011 = 3*p - 8*p + 3*l, -6 = -3*l. Let f = p + 2975/3. Are f and -9 equal?
False
Suppose 4*j = 5*j. Suppose 0 = -x - 2*n - 0*n - 4, x - 5*n = -11. Let l = x - j. Which is bigger: l or -5?
-5
Let r = -12 - -47/4. Let f(p) = p + 10. Let l be f(-10). Is l != r?
True
Suppose 8 = 2*z + 5*k, 3*z - 12 = -3*k - 2*k. Suppose 2*n - 2*q - 1 - 1 = 0, z*n - 6 = 2*q. Let l be n/12*(-7 - -5). Which is bigger: 0 or l?
0
Suppose -r + 4*r + 119 = -4*z, 4*r + 2*z = -142. Let l = r - -34. Which is smaller: 3 or l?
l
Let b be ((-1000)/5550)/((-2)/(-3)). Which is greater: 1 or b?
1
Suppose -3*v + 98 = 3*i - 2*v, 5*i - 5*v = 150. Let l = 65 - 32. Which is bigger: i or l?
l
Suppose 24*g - 415 = 19*g. Which is smaller: 82 or g?
82
Let c(n) = -n**2 + 8*n - 7. Let j be c(6). Suppose -p + 2 = v + j, -4*v - 2*p = 4. Is v at most -2?
False
Let j = -87 - -127. Let w = 41 - j. Which is greater: -1/7 or w?
w
Let y = 566 - 567. Let i = 360 - 8277/23. Which is bigger: i or y?
i
Let x(c) = c**3 + 5*c**2 - 4*c + 11. Let t be 31/(-93) - (-34)/(-6). Let n be x(t). Does 1/80 = n?
False
Suppose 8*i + 8*i = 7*i. Suppose 21*w - 25*w = i. Are -2/87 and w equal?
False
Let x(k) be the third derivative of -k**4/24 + 3*k**3/2 - 9*k**2. Let m be x(-9). Suppose i + 3*w = 6, -4*i - 5*w = -50 - 2. Is i greater than or equal to m?
True
Suppose 5*l = m - 4, 2*m = m + 4. Do 1/95 and l have the same value?
False
Let i = -62 - -58. Let o(v) = -2*v - 14. Let z be o(-6). Which is greater: i or z?
z
Suppose 0 = -3*l + 5*z - 34, l + 4*z - 19 + 2 = 0. Let s be 1*17/(2 + -3). Let h = 15 + s. Is h not equal to l?
True
Let k = -325 - -609. Does -2/3 = k?
False
Let y(v) = -2*v**2 - 45*v + 55. Let u be y(-23). Which is greater: u or 33?
33
Suppose 5*b = q - 28, -4*q - 2*b - 4 + 6 = 0. Suppose -8 + 71 = q*z. Which is greater: z or -1?
z
Let l(m) be the third derivative of -m**5/60 + 7*m**4/8 + 55*m**3/6 - 4*m**2. Let u be l(23). Let z = -0.8 - 0.2. Is u at least as big as z?
True
Let s be 12/(-40) - 0/(-2). Let l = 2 + -6. Let u be 3*l/(-48)*4. Is u >= s?
True
Let s = -2615 - -2631. Which is smaller: 19 or s?
s
Let b = 1140/9401 - 2/553. Suppose 4*c = 3*c. Which is smaller: b or c?
c
Let k be (0 + 1/5)/(1/(-5)). Is k at most -2/3?
True
Let q(h) = 13*h - 636. Let m be q(49). Are m and 4/517 equal?
False
Let t be 4/(-1 + 5) + 117/(-129). Let c be 39/(-104) + (-6)/(-16). Is c smaller than t?
True
Let n = -213 - -213. Is 13/11 at most as big as n?
False
Let f = 152 - 208. Is -55 greater than f?
True
Let f = 241 - 11. Which is smaller: f or -2/3?
-2/3
Let t = 4.22 + 4.78. Which is bigger: 2 or t?
t
Let b(s) = 1 - 4*s - 10*s + 2809*s**2 - 2807*s**2 + 1. Let q be b(6). Which is bigger: -2 or q?
-2
Let k be (0/4)/(-10 + 11). Which is smaller: k or 14/27?
k
Let k be (5 - 140/(-16)) + -3. Which is smaller: 11 or k?
k
Let s = -29.383 - -4.273. Let d = s - -25. Let b = 0.11 + d. Which is smaller: b or 0.01?
b
Let s(p) = p**2 + 8*p + 2. Let m be s(-8). Let l be (-35)/(-45) - m/(-9). Let o be (1/(-2))/((-3)/(-2)). Is o greater than l?
False
Let v be -32 - ((-126)/33 - (-2)/(-11)). Which is greater: v or 2?
2
Suppose -4 + 17 = -13*o. Which is bigger: 2/119 or o?
2/119
Suppose 6 = -z + 2. Suppose -5*t + 8 = -3*t + 4*v, v = -t + 4. Suppose 3*i + t = k, k = 4*i - 0 + 7. Are i and z unequal?
True
Suppose -k - 15 = -3*l - l, -k - 2*l - 3 = 0. Suppose -2*t - 1 - 13 = 0. Is t > k?
False
Let a(b) be the first derivative of b**3/3 - 3*b**2/2 - 13*b - 10. Let s be a(6). Suppose -2*l = 3*l - 30. Which is bigger: s or l?
l
Let g(o) = -319*o - 11. Let v be g(-1). Which is bigger: 307 or v?
v
Let d be 2*(203/(-14) + 1). Is -26 < d?
False
Let z be (-3476)/364 - (45/35)/9. Which is bigger: -11 or z?
z
Let r be (0 + -3)/(9/2). Let c = 225 - 224.76. Let f = 2.76 + c. Is f at least as big as r?
True
Let o be 322/(-2622)*2/7. Which is bigger: 1 or o?
1
Let v be (-2)/(-12)*-4*4/4. Let y = -9 + 13. Let w be (-20)/y + 3 + 0. Is w greater than v?
False
Let u be -6*(1 - 15/9). Suppose 2*q - 10 = -5*g, 5*g - 3*g - 4*q = u. Suppose 0 = -y + 7*y - 12. Is g < y?
False
Let w = -3.262 - 64.888. Let d = w + 68. Is 0.1 at least as big as d?
True
Let r = 1148/13 - 3443/39. Which is bigger: r or 1?
1
Let x = 7 + -2. Suppose k + 4*t = -16, -t - 10 = -x. Which is smaller: k or 2?
2
Let v be (-45)/(-30)*6/(-27). Which is smaller: -91 or v?
-91
Suppose -5*c = -0*c + 35. Let g(b) = b + 9. Let i be g(c). Suppose -29 = 2*o - 3*l, -2*l = -i*o - 5*l + 1. Which is smaller: -6 or o?
o
Suppose -4*f - 731 = v, -6*v + 10*v - 4 = 0. Is -184 less than f?
True
Let l = 200 - 142. Let s = 76 - l. Which is smaller: s or -0.1?
-0.1
Suppose -2*v - 23 + 9 = 0. Suppose 6*o = 9*o - 30. Suppose g - 2 = -o. Are g and v unequal?
True
Let v = -347 + 342. Let o = -4 + 6. Which is greater: o or v?
o
Let j = 2 - 2. Let i be 3 + -2 - (j + -4). Suppose i*n + 25 = -5. Which is bigger: n or -7?
n
Let w be (-2 - 1218/(-312)) + -2. Is w greater than or equal to 0?
False
Let i be (-6)/(-15) - (-976)/(-15). Let t = 60 + i. Suppose 0 = -53*m + 76*m + 115. Which is greater: m or t?
t
Let y = -59/299 + 1/23. Let z = 3726.7 + -3727. Is z equal to y?
False
Let d(v) = -v**3 - 21*v**2 - 20*v + 4. Let x be d(-20). Let w be x/((-120)/(-3162)) + (-2)/5. Which is smaller: 104 or w?
104
Suppose -196*t + 200*t - 140 = 0. Is t equal to 37?
False
Let b = -317 - -313. Is -2 at least as big as b?
True
Let n(h) = h. Let g be n(3). Let b = -915 + 925. Is g <= b?
True
Let p = 72 + 249. Let y be 1*3/p*-2. Which is smaller: y or 1?
y
Suppose -257 = -5*o - 67. Let q = 17 - o. Which is smaller: q or -20?
q
Suppose 9 = 5*g