 69 - 40. Is c at least as big as p?
True
Let l be 9/72*0*-1. Is l at least 1/135?
False
Suppose -j - 7 + 2 = 3*d, 0 = 4*j - 16. Let h be -6*((-15)/(-6) + -2). Let l be (1/h)/(d/(-9)). Is l greater than 0?
False
Let r be (-103086)/(-21672) + (-1)/(-4) + -5. Is r >= -1?
True
Let u = -11 + 18. Let l(d) = d**2 - 6*d - 6. Let r be l(u). Suppose -3 = 2*n + r. Which is bigger: n or -16/7?
n
Suppose 853 = -z + 938. Is z less than or equal to 1/3?
False
Let c(i) = 3*i - 10. Let a be c(4). Let q be (a - 4) + 4/(-1). Is q != -7?
True
Let d = -0.078 - -3.178. Let t = 4.1 - d. Is 0.1 <= t?
True
Let o be 6/(-40) + 5/(-20). Which is greater: 0.126 or o?
0.126
Let b(l) be the third derivative of l**5/60 + l**4/8 - l**3/6 + l**2. Let f be b(-3). Let p(z) = 37*z + 259. Let n be p(-7). Which is smaller: n or f?
f
Suppose -h + 6*k + 11 = 2*k, -4*h - 2*k + 134 = 0. Let a = -29 + h. Which is greater: a or 12/11?
a
Let d = 208 + -171. Is 37 greater than d?
False
Let d be (-4)/((-8)/(-1))*1. Is -54 at least as big as d?
False
Let s be 2/(-6) - 84/(-117). Let m be ((4/12)/(-1))/(1/3). Which is greater: s or m?
s
Let g(c) = -3*c**3 - c**2 + 6*c - 11. Let l be g(-4). Which is bigger: l or 2/5?
l
Let r be -2 - (-2 + 4/(-478)) - 0. Which is bigger: r or 1?
1
Suppose -15 = d - 6*d. Suppose 0*k - 192 = 4*y + 3*k, 3*k + 147 = -d*y. Which is smaller: y or -46?
-46
Let y = -2.07 + 2.07. Is 57 at most as big as y?
False
Suppose 3*f = -0*f + 69. Let q = 35 - f. Let p be 13/1 - (0 + 1). Do q and p have different values?
False
Let o be ((-782)/(-136))/(1/(-88)). Which is smaller: o or -507?
-507
Let h(z) = z**3 - 2*z**2 - 11*z - 26. Let v be h(7). Is 140 > v?
False
Let c be (-15691)/(-52) - (2 - 13/4). Which is greater: c or 0.1?
c
Let s be (8/20)/(3/(-255)). Do s and -37 have different values?
True
Let a be (2/4)/((-6)/4)*1. Let d(k) = k + 8. Let c be d(-7). Suppose -c = -g - 0, 2*g = -2*s. Is a >= s?
True
Let o be 1/6 + 1 + (-381)/18. Let h = o - -20. Is h < -1/31?
False
Let z = 2/12687 - -6102443/25374. Which is smaller: z or 242?
z
Let t be (-99)/(-198)*(-20)/(-1 + -1). Is 48/13 < t?
True
Let q be ((-315)/6 - 3)*8/6. Let l = 299/4 + q. Do -4/3 and l have different values?
True
Suppose 3*p + 2*p = -15. Let n be (p/(6/(-28)))/(-1). Let h = n - -13. Which is bigger: -2/3 or h?
-2/3
Let c(q) = 18*q - 15. Let v be c(6). Which is smaller: v or 94?
v
Let n = -166 + 165.9. Is 95 smaller than n?
False
Let m = 473 - 478. Suppose 2*c = -2*z - 16, 2*c = 3*z - 0*c + 4. Which is smaller: m or z?
m
Let i be 2 + -2 + -5 - (-6 - -1). Let f be (-21)/(-665)*(-4)/6. Which is smaller: i or f?
f
Let a be 12/4*(-10)/75. Is -13.3 at most as big as a?
True
Suppose 0 = -40*i + 31*i - 9. Suppose 11 - 1 = 5*v. Let b = v - 5. Which is smaller: b or i?
b
Let c = 2263909/44 - 51449. Let r = -51499/11 - -4677. Let o = c + r. Which is greater: o or -1?
-1
Suppose 0 = -6*z + 4*z - 16. Let v = z - -52/5. Do 1 and v have the same value?
False
Let m be (-2 - -4)*((-11)/(-1) - -2). Suppose -m = -5*h - 1. Which is smaller: 9 or h?
h
Let t = -3 + 2. Let i = -42 + 40. Let z(g) = -3*g - 5. Let o be z(i). Which is smaller: o or t?
t
Let f = 361 + -190. Which is smaller: 170 or f?
170
Let o = -1/176 + -699/880. Which is bigger: o or -1?
o
Let n(l) = 37*l - 30. Let d be n(1). Which is smaller: d or 10?
d
Let r be ((-4)/8)/((-10)/(-4320)) - 6. Do -222 and r have the same value?
True
Let t = -2704 + 5262. Are t and -1 equal?
False
Let v = -1174 - -133837/114. Is 1 > v?
True
Let s = -11.88 + 3.88. Is s less than or equal to 12?
True
Suppose 22*p - 7 = 15. Which is smaller: p or 5/11?
5/11
Let p = -13 + 12. Let f be -1*3/(2 - p). Let m be 4/6 + (-140)/147. Is f at most m?
True
Let q be 10/4 + (-6)/(-12). Suppose -5*g = -23 + q. Let i be 24/(-231) - g/22. Which is greater: 8 or i?
8
Let s = 69/4 + -475/28. Let a = -10 + 10.03. Let d = a + 1.97. Which is greater: d or s?
d
Let u = -924 + 928. Is -186 at least as big as u?
False
Suppose o - 11 + 1 = -4*l, 4*o = 4*l - 40. Let f be (o + 2)/(-4) + -2. Let n be f*(1 + -2) - -1. Which is bigger: 5/2 or n?
5/2
Let g(z) = z**3 + 2*z**2 + z + 1. Let a be g(-2). Let b be (-266)/(-590) - ((-1008)/(-70))/36. Which is bigger: a or b?
b
Let w be ((-11)/(-44))/(3/(-308)). Is w smaller than -26?
False
Let v be -1 + ((-62810296)/(-127988))/2. Let x = v - 5496/653. Let t = x + -236. Is t at most -1?
False
Let r = 2 + 4. Let j be 14/(-8) - r/(-3). Let d(l) = -3*l**2 + 16*l + 1. Let u be d(5). Which is smaller: j or u?
j
Suppose -2*v = 2, -f = -0*v - 3*v - 8. Suppose -72 - 66 = -2*a. Suppose -2*i + 46 = -2*x + 3*i, -3*x - a = -f*i. Which is smaller: x or -24?
-24
Let b(v) = 861*v - 2574. Let q be b(3). Let f(o) = -o**3 - 7*o**2 - 7*o - 1. Let p be f(-6). Do q and p have the same value?
False
Let g = -11.3 + 62.3. Let c = g + -28. Is c < -1?
False
Suppose 13*f = 10*f - 24. Let q(u) = -7*u - 36. Let s be q(f). Is s greater than or equal to 21?
False
Let f = 761 - 572. Which is smaller: f or -3/4?
-3/4
Let i be (-3)/4*2*-42. Let t = i + -39. Which is greater: t or 23?
t
Let c be -2 + (1 - 0/3). Let t = 2/6891 - 14000/751119. Is c equal to t?
False
Let b = 777/4 + -191. Let c = -115/12 + b. Let l = c - -29/6. Is l smaller than -2?
False
Suppose 0 = y + x - 5, 11*y + 5*x = 12*y + 25. Suppose 3 = 2*u + 2*u + q, 3*u + 5*q = -19. Are y and u unequal?
True
Let v be -4*18/120*26/3. Let f be 1 + (0 - (-79)/20). Let o = f + v. Are o and -4/5 equal?
False
Let b = 148.9 - 6.9. Are b and -1/3 nonequal?
True
Let o be (-4)/3*(-21)/14. Suppose 0 = -2*i - 2, -4 = o*f - i - 3. Which is smaller: 2/239 or f?
f
Let m = 12.032 + 0.268. Let f = m - 0.3. Let y(x) = x**2 + 15*x - 17. Let z be y(-16). Which is smaller: f or z?
z
Let y be (-1277)/4 + ((-1134)/72 - -16). Is -318 greater than or equal to y?
True
Let o = -84.3 + 66.3. Does -1/7 = o?
False
Let u be -6 + 84/7 + -51. Do -45 and u have the same value?
True
Let w = 8487/3785507 - -2/9301. Which is smaller: 1 or w?
w
Let y = 120/19 - 1142/247. Is y greater than or equal to 2?
False
Suppose 4*h = -21 - 87. Let q be ((-2)/6)/(9/h). Let b = 456 - 5932/13. Is q smaller than b?
False
Let y = -221 + 220. Let n = 31 + -45. Let j = 15 + n. Is j bigger than y?
True
Let t be (-3036)/32 + -3 + 2. Let q = t - -96. Are q and 0 non-equal?
True
Let i be 2 - ((-4)/10 + (-333)/(-45)). Let j be i*((-52)/20 + 3). Which is bigger: j or -11?
j
Let a(z) = z**2 - z - 9. Let v be a(5). Suppose 2*l = v - 13. Let d = -712/9 + 79. Which is greater: d or l?
d
Let v = 62 - 36. Let u be (-2)/(-14) - v/(-14). Which is bigger: 6 or u?
6
Let n(a) = 2*a**2 - 12*a. Let z be n(6). Do -19 and z have the same value?
False
Let c(w) = -w**3 + w**2 - w - 6. Let m be c(-2). Suppose 116 = -5*l + 41. Let o = -7 - l. Is m at least o?
True
Let i be 28/6 + 6/(-9). Are -11 and i equal?
False
Suppose -3*d = -2*d. Let m be d + (-4992)/135 - 3. Let q = 201/5 + m. Do -2/7 and q have different values?
True
Let i = -8 - -17. Let n = i + -1. Let r = 6.9 - 7. Which is greater: r or n?
n
Let s be (1/4)/(3/12). Suppose 2*q - 9 = -s. Suppose -1 = -19*d + 14*d - m, 3*d + 2*m = 2. Which is smaller: d or q?
d
Let c be 8 + 54/(-4)*(-52)/(-78). Let z be 20/27 - (-4)/(-18). Let p = z - 31/54. Which is smaller: c or p?
c
Let x = 643 + -252. Let r be (19/(-9))/((-2)/(-370)). Let b = x + r. Are b and 0 unequal?
True
Let h(t) = 28*t + 179. Let k be h(-5). Let c = 59 - 19. Is c bigger than k?
True
Let h be 6/4*(-48)/270. Let c = -23/30 - h. Suppose -4*x = -6*x. Is x at most as big as c?
False
Let o(a) = a**2 - 3*a + 2. Let w = 0 + 2. Let l be o(w). Suppose -n + y + 1 + 2 = l, -4*n - 2*y + 6 = 0. Which is bigger: n or 6/7?
n
Let h = -1.1 - -0.34. Let d = -0.35 + 0.11. Let y = d + h. Which is smaller: y or 11?
y
Suppose 16 = 4*l - 8. Let o(j) = -3*j - 6. Let f be o(-3). Suppose 55 = f*i + 8*i. Which is smaller: i or l?
i
Let d(z) = -2*z**3 - 5*z**2 - 11*z + 7. Let a(m) = -m**3 - 3*m**2 - 5*m + 3. Let b(o) = -9*a(o) + 4*d(o). Let s be b(-7). Which is smaller: s or -50/7?
-50/7
Let v = -3.7 - -3.91. Let b = v - 0.61. Which is bigger: b or 2/7?
2/7
Let m be ((-90)/150)/((-6)/(-8)). Let c = 1 - 3. Is c at most m?
True
Let c be (-1)/45 - (-4)/(-20). Let a = -6.28 + 6. Let t = -0.08 - a. Are t and c non-equal?
True
Let f(q) = 2*q + 10. L