False
Let s(n) = -n**2. Let r be s(3). Let h be -16 + 1 + (-4)/(-4). Let x = h - r. Is x greater than -6?
True
Let r be 1/4 - (-49)/(-4). Let o be ((-52)/(-6))/(11/33). Let k = o + -38. Is k not equal to r?
False
Let z = -0.16 - -0.7. Let w = -5.46 - z. Does w = -0.4?
False
Let j = -0.509 + 0.589. Is -2/17 <= j?
True
Let q be (-24)/(-108) + 43/9. Let w be -1 + (0 - 0)/q. Which is smaller: w or 3?
w
Suppose -8*h - 1120 = -160. Is h less than or equal to -120?
True
Let t = 2.3 + -3. Let w = t + -2.3. Let s = -4 - w. Is s equal to -1/3?
False
Let f = 138 + -138. Let q be ((-6)/(-760)*-2)/((-51)/68). Which is greater: f or q?
q
Let m(f) = -f**3 + f**2 + f - 14. Suppose 2*u = 5*u + 4*n - 4, 0 = 2*u - 3*n + 3. Let g be m(u). Which is bigger: g or -3?
-3
Let c = -252 - -237. Is -22 less than c?
True
Let m = -319.98 - -4.98. Which is smaller: 1 or m?
m
Let t(f) = -7*f**3 - 3*f**2 - 11*f + 5. Let z(a) = -3*a**3 - a**2 - 5*a + 2. Let i(s) = 4*t(s) - 9*z(s). Let o be i(-3). Which is greater: -1/8 or o?
-1/8
Let v(m) = 9*m - 64. Let h be v(8). Which is bigger: h or 66/7?
66/7
Let d be 1*13/3 + 4/(-1). Which is greater: -55 or d?
d
Let b be (-58)/7 - (-4)/14. Suppose -129 + 68 = -13*f - 87. Which is smaller: b or f?
b
Let o = -16 + 20. Are o and -32 equal?
False
Let q be 1/(-5)*2 + 65/(-650). Is q >= -18?
True
Suppose 5*q - 8 = 3*z, 3*q + q = 4*z + 24. Suppose 20*r - 22*r = 20. Are z and r unequal?
True
Let k be -3 + (-34)/(-12) - 5313/(-18). Is k >= 295?
True
Let l be 0*1/(-2) - 3. Let f be 1*l/150*(-4)/3. Is 1 less than f?
False
Suppose 26 + 5 = a. Let l = a - 31. Is l smaller than 3?
True
Suppose 0*f + 20 = 5*f. Suppose 1 = -n + f. Suppose 117 = -n*q + 42. Which is bigger: -24 or q?
-24
Suppose 3*j + 6*q = q - 17, j - 1 = 5*q. Which is smaller: -32 or j?
-32
Suppose -573 = 2*h + 5*g, 0 = -h - 10*g + 5*g - 279. Which is smaller: h or -296?
-296
Let n be (-736)/256 + 5/(-4) + 1. Which is smaller: n or -4?
-4
Let n = -0.0291 - 0.0709. Which is smaller: 242 or n?
n
Let p be (-2 - 1)/((144/3)/16). Is -2/1347 equal to p?
False
Suppose 5*j - 312 = -4*o + j, -3*o - j = -238. Let p(x) = 2*x**3 - 19*x**2 + 16*x + 17. Let h be p(9). Is o equal to h?
True
Suppose -312 = 2*m - 3*z, m - 5*m - 624 = -4*z. Let w be -4 + (0 - 0/3). Let q be w/26 + 28/m. Is q equal to 0.2?
False
Let d = 1004 + -207830/207. Let z(y) = 2*y - 18. Let r be z(9). Which is greater: d or r?
r
Let g be (-4)/8*21*104/12. Which is smaller: -89 or g?
g
Let a be (4 - (-12)/4)/(-1). Let c = a + -7. Is -14 less than c?
False
Let d(z) = z + 1. Let h be d(5). Let s = 6 - h. Let q = -341 - -3074/9. Which is smaller: s or q?
s
Let y = 4.7 - -28.3. Let q = -32 + y. Is q greater than 0.1?
True
Let r = 140 + -163. Which is bigger: -24 or r?
r
Let y(m) = -m**2 + m - 131. Let t be y(21). Which is greater: -550 or t?
-550
Let f be -12*((-6)/(-9) - (-5)/15). Which is bigger: -129/11 or f?
-129/11
Let g(u) = 3*u**2 - 45*u - 2. Let s be g(15). Is s >= -9/14?
False
Let p be (-30)/261*-8*18/60. Which is bigger: p or -1?
p
Let a be (4389/(-28))/19*4. Which is greater: a or -37?
a
Let k = 68 - 338/5. Let x = -6.5 + 6.5. Is k greater than or equal to x?
True
Let j = -670 + 711. Which is smaller: j or -0.05?
-0.05
Let f = 23 + -16. Let q be (1 - -8)/(-3) - f. Let g be (8/q)/((-60)/50). Which is bigger: g or -2?
g
Let f(l) = l**3 - 2*l + 4. Let x be f(0). Suppose 18*i - 14*i - x = 0. Let y be 1/3 + 75/(-279). Is y not equal to i?
True
Let p be (5/15)/(263/(-6)). Is 1 less than or equal to p?
False
Let h = 13 + 23. Let m = h + -35. Which is bigger: m or -9?
m
Let z(v) = -2*v + 19. Let s be z(7). Suppose 3*i - 2*u = 10, -7*i = -3*i - s*u - 25. Which is bigger: i or -25?
i
Suppose 0 = -4*t + 228 - 384. Is -37 < t?
False
Let y be ((-242)/(-954) - 0)/((-88)/(-22308)). Let u = y + -193/3. Does u = 0?
False
Let c be (0 - (-7)/(-168))*117/(-2). Is 1 > c?
False
Let h be (((-24)/(-21))/(-1))/2. Let x(z) = z**3 - 8*z**2 - 10*z + 9. Let p be x(9). Suppose -5*k + k = p. Which is smaller: h or k?
h
Let b(w) = -w + 50. Let x be b(19). Is x not equal to 31?
False
Let r = -687.2 + 624. Is -2 smaller than r?
False
Let r be (-21)/2130*21/49. Let v = 1273/34790 - r. Let s(w) = w**2 + 6*w + 1. Let y be s(-6). Are v and y equal?
False
Suppose -y = -145 - 181. Suppose -2*v + y = 3*z, -3*z + 5*v = 2*v - 336. Does 109 = z?
False
Let u(g) = g**2. Let i(q) = q**3 + 3*q - 2. Let a(b) = -i(b) + 3*u(b). Let j(d) = d - 3. Let f be j(5). Let l be a(f). Is l smaller than -2?
False
Let q = 40 - 85. Let r = q + -21. Is 0 greater than r?
True
Let v = -6661/5 - -1332. Which is bigger: -26.4 or v?
v
Suppose -v = 2*p + 5, -v + 20 = -5*p - 5*v. Let r be (-15334)/8046 - (2 + -4). Let i = -3/149 + r. Which is bigger: i or p?
i
Let k(i) = -i**2 + 7*i - 7. Let x be k(4). Suppose -2*l = 3*l - 4*n + 46, n = 5*l + 34. Let s be (x + l)/((-1)/(-5)). Is -4 at least s?
True
Let n = 87 + -79. Let w be 12/36 - n/6. Do w and -2/107 have the same value?
False
Let x(a) = a - 18. Let b be x(16). Let z(v) = -2*v**2 - 2*v - 4. Let t be z(b). Let d be (-4)/t + (-2)/4. Which is smaller: -1 or d?
-1
Let d = 0.078 - -0.922. Is -14/43 > d?
False
Suppose -381*o + 2070 = -363*o. Which is smaller: o or 120?
o
Let d be ((-4)/(-8))/(3/138). Suppose 5*a = -a - 72. Let x = 10 - a. Which is greater: x or d?
d
Suppose 54 = -3*t - 27. Let v be ((-9)/t)/(2/18). Let u be -6*v/((-9)/3). Do u and 6 have different values?
False
Let x(f) = 2*f + 20. Let a be x(-10). Which is smaller: a or 16/15?
a
Let l be 173/8 + 35/(-56). Let o = 35 - 15. Is l bigger than o?
True
Let l be 4/(-14) - 264/(-1463). Let o = 4 - 1. Let p = o + -3.1. Which is smaller: p or l?
l
Let t be (-2)/((-60)/(-738)) - 5. Is t less than -31?
False
Let m be (16/(-6))/(-4)*-6. Let z(x) = x + 15. Let l be z(-17). Let a be 7/(-7)*5 + (-1 - l). Is a bigger than m?
False
Suppose 2*i + p = -i + 16, -5*i + 34 = -2*p. Let s be i/72 - (-1)/6. Let m = 8 - 4. Is m at least s?
True
Suppose -4*r + 22 = -10. Let y = 457 + -452. Is r less than y?
False
Suppose 0 = c + 10*c + 129 + 14. Suppose -5*a + q - 84 = 4*q, q - 57 = 4*a. Which is smaller: c or a?
a
Let a be ((-18)/(-15))/(1968/60). Which is greater: -1 or a?
a
Suppose -7*v = -13*v + 42. Which is greater: v or 81/11?
81/11
Let r be 68/(-120) + 4/10. Let n(o) = o**2 + 17*o. Let k be n(-17). Is r less than or equal to k?
True
Suppose -3*u - 5*p - 7 = 2, 2*u + 3*p = -5. Suppose 3*a = -2*t + 30, -u*t = -5*a - 2 - 12. Let y = 7 - -5. Is y less than t?
False
Let y = 1 + -1. Let b = -96 + 97.3. Which is bigger: y or b?
b
Let c be (1 + (-98)/102)/(6/(-45)). Is -4 > c?
False
Let k = 307 + -5197/17. Which is greater: 0 or k?
k
Let v = -96 - -39. Which is bigger: v or 0.3?
0.3
Let i = -1007 + 1022. Is i < -5?
False
Let p be (1395/(-14))/(-5) + 0. Let d = -163/2 - -61. Let z = p + d. Which is smaller: z or -1?
-1
Let j = -220/97653 - 3127451/3906120. Let k = 1/344 + j. Suppose -15 + 5 = 5*p. Does p = k?
False
Let u(f) = f**2 + 12*f - 23. Let g be u(-14). Which is greater: 6 or g?
6
Suppose -2*o - 2 = 3*r, -o + 2 = 3. Let j be (-2 + (r - -20))*(-10 + 9). Which is smaller: -3 or j?
j
Let n = 7.72 + -7.781. Which is smaller: -3/4 or n?
-3/4
Let o = -7021 - -105352/15. Let x = o - 14/5. Let l = -0.28 + 0.38. Are x and l equal?
False
Let a(u) = 2*u**3 + 17*u**2 - 67. Let w be a(-8). Is w at least as big as -75?
True
Let z be (-2)/9 - (-40)/18. Let l(i) = -i - 16. Let k(h) = 4*h - 49. Let v be k(7). Let n be l(v). Which is smaller: z or n?
z
Suppose 42 = 22*z - z. Which is smaller: 71 or z?
z
Let g = -144 + 19. Is g at most as big as -0.1?
True
Let o = 343 - 356. Which is greater: o or 52?
52
Suppose -13 = -o + 9. Suppose -3*b = 12, -3*q = -4*b - 0*b - o. Let j be q - 8/14 - 2. Is 0.1 <= j?
False
Let f = 3053 + -1120453/367. Which is bigger: f or -1?
f
Let m be 2/9 - 480/(-27). Let o = m - 14. Let c be -3*((-85)/(-21) - o). Is c at most 1?
True
Let a = 0.22 - 0.14. Let t = a + -0.22. Let b = t + 0.24. Which is smaller: -9 or b?
-9
Suppose -2*n + 6 = 0, 3*l - n - 167 = 4*l. Is -170 bigger than l?
False
Let f be (9/4)/(9/24). Let a be (1*2)/(f/12). Suppose 4 + 0 = a*o. Is o at least as big as -2?
True
Let z(v) = 3*v**2 - 57*v - 32. Let o be z(18). Which is bigger: -85 or o?
-85
Let z(p) = -p**2 + 5*p - 2. L