et y = s + -22. Which is smaller: y or c?
y
Let y = -5429836/91 + 775470/13. Let a = y + 120/7. Which is bigger: 0 or a?
a
Let d(t) = t**3 - 6*t**2 - 5*t + 9. Let q be d(6). Let o = 1442 + -1463. Is o smaller than q?
False
Let i = -22 - -35. Let t be 2/(-6)*-9 + i. Are t and 18 equal?
False
Let r = 7 + 3. Let a be ((-6)/(-50))/((-15)/r). Are 1 and a equal?
False
Suppose 14*u - 127 = -99. Let k be (-50)/(-24) - 1/3. Is k less than or equal to u?
True
Let x(f) = f**2 - 8*f + 7. Let i be x(8). Let q = i + -27. Let m be (-2)/(-4)*40/q. Is m greater than or equal to 3/29?
False
Suppose 3*q = d + q + 5, d = -4*q + 7. Which is smaller: d or -2/177?
d
Let j = -326 - -347.02. Let p = 0.98 + j. Is 1 != p?
True
Suppose 2*i = 5*i + 3, 2*o + 662 = 2*i. Which is smaller: o or -1?
o
Suppose -3*b + 172 = -5*l, -4*b - b = 3*l - 264. Let d = b + -217/4. Is d greater than -24?
True
Let y = 14512/20943 - 1/1611. Which is bigger: 1 or y?
1
Let j = 308 - 307.98. Is j less than 0.63?
True
Let y = 14 - -5. Suppose 3*d = 5*c + 7*d + 87, -3*c + 2*d - 39 = 0. Let r = c + y. Is 3 less than r?
True
Let o be 5/(-65) + (0 + -1 - -1). Which is smaller: o or -1?
-1
Let w be 8/(-72) - (-14)/(-3438). Let h = w - -2356/10505. Which is smaller: h or -1?
-1
Suppose 0 = 4*y + 297 + 307. Which is smaller: y or -150?
y
Suppose 275*t - 5 = 270*t. Which is bigger: t or -1/161?
t
Let d = 112/9 - 9484/765. Which is smaller: d or 0?
0
Let v be 3/(-15) + 552/(-15). Is v at most -33?
True
Let i = 49 + -63. Let o be ((-9)/4)/((-3)/(-12)). Which is bigger: i or o?
o
Let l = 82382/21 + -3922. Which is greater: l or 1?
1
Let l = 2152 + -2152. Let k = 3 + -4. Which is greater: k or l?
l
Suppose 18 = 5*i - 2. Suppose 2*x + 4 - 6 = i*h, -5*x = -2*h - 13. Which is greater: 3/35 or h?
h
Let k be (2 - 23/7) + (-4)/(-14). Which is greater: -4/29 or k?
-4/29
Let r be (-18)/(-90) - 12/10. Let n be (-4)/(-45)*2778/52. Let m = n + -60/13. Which is smaller: r or m?
r
Let a = -4 + 2. Let c be (-1 - a) + -1 + -2. Let s be (-3 + (-1 - c))/6. Which is smaller: -1 or s?
-1
Let h = 40 - 43. Suppose 2*y = 5*x + 13, 5*y + 0 = -x - 8. Let a be 1/(-2)*y - 2. Which is smaller: h or a?
h
Let c = -293 + 287. Which is smaller: c or -32/5?
-32/5
Let l = -0.21 - -0.57. Let v = -0.46 + l. Is 1/4 <= v?
False
Let f = -0.5 - 1. Let h = -4.4 - -4.5. Which is greater: f or h?
h
Let c be 2/4*3*72/(-36). Is -10 > c?
False
Let f = 4.04 + -3.84. Is -113 <= f?
True
Let c be (-24)/10 - (-6)/15. Suppose 8 = 2*o - 0*y + 4*y, -o - 3*y = -9. Let l be ((-12)/9)/((-4)/o). Is c less than l?
False
Let m be 2*(0 + (-1)/11). Suppose 6*f + 66 + 18 = 0. Let i be ((-6)/f)/((-15)/10). Is i greater than or equal to m?
False
Let a be (-44)/(-33) - (2735/(-2049))/(-1). Is a greater than 1/4?
False
Suppose -5*o + 3*s - 15 = 0, 5*o - 8*s + 3*s = -25. Which is smaller: o or -12/19?
-12/19
Suppose 0 = 23*g - 26*g + 33. Let k = g - 10. Is k > 4/27?
True
Let g = 419/70 + -221/14. Which is smaller: -9 or g?
g
Let o be (2/(-9))/(86/(-57663)). Is o at least as big as 593/4?
True
Let f(n) = -2*n**2 + 38*n - 72. Let d be f(19). Which is bigger: -4 or d?
-4
Suppose 4 = -3*r + 1. Let b = 145819/52 + -2804. Let f = -6/13 + b. Is f greater than r?
True
Let x be ((-21)/837)/(-3 - 76/(-24)). Is x > 0?
False
Let h(n) = -n**2 - 14*n - 43. Let l be h(-11). Which is bigger: l or -2/5?
-2/5
Let p be -7*(-812)/80 + (-3)/12. Is p at most as big as 71?
True
Let f = -18.66 + -0.34. Let w = f + -1. Let k = -20.2 - w. Which is greater: k or -2/7?
k
Suppose 3*c = -y, -3*y + 6*y = 4*c + 26. Let a(p) = -p**3 + 5*p**2 + 7*p - 8. Let f be a(y). Let l be f*((-2)/9)/(-2). Is 1 at least l?
True
Let j(w) = w**3 - 8*w**2 + 4*w + 2. Let c be j(8). Let o = 34 - c. Is 1 greater than o?
True
Suppose z - 6 = 4*z. Let i = -11549/3575 + -1/3575. Which is greater: z or i?
z
Let o(r) = r**3 - 5*r**2 - 6*r + 7. Let q = -49 - -54. Let c be o(q). Is -24 not equal to c?
True
Let s = 301.1 + 5.9. Which is smaller: s or 0?
0
Let b(z) = z**2 - 36*z + 60. Let x be b(34). Which is smaller: -10 or x?
-10
Let z(o) = -3*o**2 - o + 1. Let r be z(-2). Let s = -8796 + 8787. Is s at least as big as r?
True
Let y be (-195 + 116)*1*(0 - -1). Is y at least -80?
True
Let u be (2/(-95))/(1/30). Suppose -3*o = -2*d + 8, -3*d - 4*o + 6 = 28. Which is greater: u or d?
u
Let n = -356/885 - -2/885. Which is greater: 128 or n?
128
Suppose -2*s + 0*s + x - 1 = 0, 0 = -4*s - 5*x - 23. Let b be -1*(3 + 1 + s). Do b and -1.8 have different values?
True
Let s = -80 - -71.8. Which is smaller: s or -2/5?
s
Suppose -30 = -3*w + 15. Suppose 2*r - w = -l, -2*l - 2*l = -r + 12. Let o(n) = -n - 5. Let d be o(r). Is d equal to -12?
False
Let z = -16 + 31. Let y = -6 + z. Suppose -10*b = -y*b. Is 0 not equal to b?
False
Suppose -46*r - 33*r - 22436 = 0. Which is greater: -283 or r?
-283
Let m be (-2)/6*6/(-1). Let v be (-5)/((-105)/(-24)) - m. Let q = -3 - v. Which is bigger: 0 or q?
q
Let b be (1/(-4))/(-1 + (-18)/(-12)). Let k = -1 + 1. Which is smaller: k or b?
b
Let s = 1 - 2. Let z = 0.95 - 1.032. Let l = z - 0.018. Which is greater: l or s?
l
Let s be (12/5 - 2)*-2. Let i be -3*2/3 + 37. Let j = i - 35. Is j less than or equal to s?
False
Let m be 1*0/2 - 0. Let r(k) = -k + 9. Let a be r(6). Let f be 3/9 - ((-16)/a)/8. Which is smaller: f or m?
m
Let q = 4 + -6. Let b(c) = 35*c + 317. Let l be b(-9). Is l less than or equal to q?
False
Let k = 105759 - 1791509/17. Let h = -376 + k. Is h greater than 0?
True
Let g be (4/(-5))/(9/5 - 2). Suppose -3*u = 3*l - g*u - 5, -2*l + 5*u = -25. Is l at most as big as 2/5?
True
Suppose 495*d = 492*d + 123. Which is smaller: d or 40?
40
Let q be -2 - (-5 - -6) - -17. Suppose 0 = q*k + 104 + 344. Is k smaller than -0.2?
True
Suppose 2*h - 2 = h. Suppose -5*f + 3*i = 62, h*i - 14 = f + i. Is f equal to -10?
True
Let f(z) = 69*z - 12. Let l be f(3). Is l equal to 194?
False
Let i(u) = -2*u**2 - 35*u - 87. Let b be i(-8). Which is bigger: b or 4?
b
Suppose 3*k + k + 80 = 0. Let z be (k/(-2))/(-3 + 5). Suppose m - 2*m = -z*p + 6, 20 = 5*m. Which is bigger: 0 or p?
p
Suppose z - 7 = 2*f, f + 4 = z - 6. Let y be z/15 + (-6)/9. Suppose -6*d = -25*d. Is y > d?
True
Let g = -680 - -753. Is 73 equal to g?
True
Suppose -4*d + 98 = m, -4*m = 5*d - 2*d - 353. Which is greater: m or 85?
m
Let o(t) = 3*t**3 + t**2 + t - 2. Let l be o(1). Let x(f) be the first derivative of f**2/2 - 8*f - 2. Let h be x(l). Which is greater: h or 0?
0
Let n be (14/(-6))/((-2)/6). Suppose -n*j = -j + 246. Let f = 122/3 + j. Which is bigger: f or -9?
f
Let w = 22/63 - -2/9. Suppose -3*o = 4*k - 19, 0*k + 8 = -2*k + 2*o. Suppose -k = 2*d - 3*d. Which is smaller: d or w?
w
Let d be 0 + (1 - 141533405764/528064944). Let f = d + -4/3000369. Let w = f - -267. Is w at most as big as -1?
False
Let y = 290.89 - 293. Let w = -40.89 + 41. Let r = y + w. Which is bigger: r or -4?
r
Let z = 5407/4 + -1283. Are 68 and z nonequal?
True
Let i be -7 - (-13 + 2 - -7). Let b be (6 + -7)/((-1)/2). Is b at most i?
False
Let g(t) = -16*t**3 + t**2 - 2*t + 3. Let p be g(1). Are -12 and p non-equal?
True
Suppose -162 = -6*x - 138. Is x not equal to 25/8?
True
Suppose -4*j = -7*j - 12, 2*m = -4*j - 8. Suppose 2*h - m = -16. Let v be h/(-21)*(-6)/12. Which is greater: v or -1?
v
Let v be (-6)/144*4 - 26/(-12). Let d be -1 - ((-5)/(-15))/(v/(-12)). Let x be 1*-1 - 101/(-99). Do d and x have the same value?
False
Let s be (15/(-4))/(-5) - 138/(-56). Which is smaller: 3 or s?
3
Let a = -4 - -4. Let m = 19.852 + -20. Let u = 0.002 - m. Is u smaller than a?
False
Let p be ((-234)/(-324) - (-2)/(-9))*-2. Is p <= -8/101?
True
Let v = -98 + 280. Which is bigger: v or 2/5?
v
Let j be -9 + 0 + 2 + 1. Let x be j - 5 - (-1 + -1). Let f be ((-2)/(-10))/((-1)/x). Is f greater than 1?
True
Let d(l) = -11*l**3 + l**2 + l - 1. Let j be d(1). Let x be 2/j - 14/(-210). Suppose c = 2*c. Is x equal to c?
False
Let b(d) = -5*d**2 + d - 8. Let n be b(4). Let c be (-2)/(3 - (-244)/n). Is c > -22?
True
Let c be -2*(-3)/((-9)/3). Let m = 12 - c. Suppose 3*r = 5*r - m. Is r at least 7?
True
Suppose -2*t = -4*t + 36. Let z = 42 - t. Let c = z + -17. Is 2 greater than c?
False
Let c(v) = v**2 - 6*v - 950. Let u be c(-27). Let l(j) = j**3 - 7*j**2 - 9*j + 3. Let d be l(7). Which 