 d(n) = n**2. Let q(i) = -4*d(i) + f(i). Let l be q(2). Suppose 3*z = -z - 12. Is l bigger than z?
True
Let w(b) = b + 12. Let i be w(-9). Suppose -h - i = -0*h. Which is smaller: -4 or h?
-4
Let d = -6 - -6. Let b be d/3 + (-1)/(-2). Let x = 7 - 6. Which is smaller: x or b?
b
Let o = -19.4 + 19.47. Is -13 >= o?
False
Let p = 3 - 7/2. Let y = 8.14 + -0.14. Is p at most y?
True
Let d = -19 + 19.09. Let k = -0.89 + d. Is k >= -1/2?
False
Let z = 24.8 - 4. Let f = z + -29.1. Let s = 8 + f. Which is smaller: s or 0.1?
s
Suppose 0 = -3*g + c - 20, -4*g - 3*c - c = 16. Is g bigger than -9?
True
Let y = 0.5 - 9.5. Let j = -10 - y. Let b = 2 + j. Is b at most as big as 1/2?
False
Let m = 1.1 - 0.1. Let g = 0.7 + 0.1. Let x = g - 0.8. Which is bigger: m or x?
m
Let w = -77 - -78.22. Let p = 0.02 - w. Let g = p + 0.9. Which is bigger: -2 or g?
g
Suppose -143 - 1 = 8*f. Is f at least as big as -18?
True
Suppose d - 20 = -10. Do d and 2/7 have different values?
True
Suppose 0 = g + g + 4. Let x = 4 + g. Is 3 less than x?
False
Let d(x) = x + 4 + 0 + 0*x. Let n be d(-6). Is -2 greater than or equal to n?
True
Suppose 2*y - 6*y + 2*l + 10 = 0, -10 = -3*y + 2*l. Which is smaller: -9/7 or y?
-9/7
Let c = -1319/2 + 692. Let x = -33 + c. Which is bigger: x or -1?
x
Let c be 1309/(-63) + (-16)/(-9) + -2. Do c and -22 have the same value?
False
Suppose 0 = -y - 0*y + 7*y. Which is smaller: y or -4/33?
-4/33
Let i = 12.9 + 1.1. Let p = -16 + i. Is p != 1/4?
True
Let m(q) = q**2 + 9*q + 3. Let r be m(-5). Which is smaller: r or -15?
r
Let m(r) = -r**2 + 6*r + 1. Let z be m(6). Let h be (16/(-128))/(z/(-2)). Let k = 0 + 0. Is h <= k?
False
Let s be 0 + (-3 - -1 - (-21)/12). Is -20/11 less than s?
True
Let c be (0 + 0 + -2)*-1. Suppose k - c*k = 0. Let z = -7/12 - 1/12. Which is smaller: k or z?
z
Suppose -2*t - 4*u - 20 = 0, 3*t + 14 = -0*u - 2*u. Which is smaller: t or -1?
t
Let t(z) = 5*z**3 - z**2 - 6*z. Let m(o) = -4*o**3 + o**2 + 5*o - 1. Let x(v) = 4*m(v) + 3*t(v). Let d be x(0). Is d equal to -3?
False
Let n = 4 - -28. Suppose j = -3*i + 6*j - n, 0 = j - 4. Let q be ((-4)/8)/((-1)/i). Is q greater than 1?
False
Let v(f) = f - 6. Let x be v(-3). Let u = x + 10. Which is smaller: u or 0?
0
Let f be (-255)/(-18) - (-1 - -6). Which is greater: 9 or f?
f
Suppose 2*b + b - 18 = 0. Let d = 6 - b. Let s be (-13 + 1 + d)/(-2). Is 7 > s?
True
Suppose 0 = -3*w, -2*u + 2*w = 2*u. Suppose z + 3*o = -10, u = 3*z + 4*o + 5 - 0. Is 6 != z?
True
Let d be 0 - 0 - 32/112. Suppose 0 = -5*v + 4 + 21. Suppose 2*t = 4*p + 20, 25 = -3*t - t - v*p. Is d < t?
True
Suppose a + 6 = 4*a. Let z be a - (1*6 - -2). Let g be ((-4)/z)/((-16)/(-12)). Is g greater than 1?
False
Let l = 4890/11 + -445. Which is smaller: 1 or l?
l
Suppose -l - 4*p = -2*l + 19, 16 = -l - 3*p. Does l = -1?
True
Let r(c) = -c + 11. Let t be r(-12). Is 70/3 >= t?
True
Let o(b) = -b + 8. Let d be o(5). Let f be ((-22)/6)/((-1)/d). Is f at least 11?
True
Suppose 3 = f - 4*m - 4, 0 = -2*m - 6. Let p be 8/5*f/(-2). Is 3 bigger than p?
False
Suppose 39*n + 1 = 40*n. Is 1 at most as big as n?
True
Let j = -0.4 - -0.5. Is -2/5 smaller than j?
True
Let l be (((-6)/(-3))/(1 - -32))/3. Which is smaller: 1 or l?
l
Let b(a) = -13*a + 2. Let d be b(-5). Let g = d + -471/7. Which is bigger: g or 3/2?
3/2
Let o = 22 + -28. Are -4 and o unequal?
True
Let r = 0.3 + 32.7. Is 1 at least as big as r?
False
Let a = 20 + -35. Let l(u) = -u**2 - 14*u + 13. Let d be l(a). Do -3 and d have the same value?
False
Let p = -67/91 - -4/13. Is -3 bigger than p?
False
Let y be (1/5)/(2/(-14)). Is y bigger than -1?
False
Let f be (-2 - -3 - 2)*-2. Let y be (-15)/(-130)*f/3. Suppose -z = -2*z. Do z and y have different values?
True
Let h = -230183/97 - -2373. Is h less than -1?
False
Let v = -4 - -3. Let a be 236/(-385) + (-2)/(-7). Let x = 8/11 + a. Which is smaller: x or v?
v
Let y = -9.9 + -0.1. Let o = 10.05 + y. Is -0.1 != o?
True
Let b be 15/(-30) - (-2)/(-4). Is b bigger than -7/9?
False
Let f(l) = 2*l**2 + 12*l - 15. Let c be f(-7). Which is smaller: c or -2/3?
c
Let z(x) = -x**2 + 2*x - 1. Let r be z(2). Which is smaller: r or -2?
-2
Let t be (3/(-5))/((-1)/5). Suppose 0*x - 33 = -11*x. Is x bigger than t?
False
Let u be (-76)/70 + 6/21. Let m = -5 + 4. Is m equal to u?
False
Let k(r) = 27*r + 1. Let g be k(1). Let s be (-7)/g*(-1)/1. Which is smaller: 0 or s?
0
Suppose 3*o - 5*h + 29 = -7, 1 = 2*o + 5*h. Let x be o/28 - 1/20. Which is smaller: x or 0?
x
Suppose -37 = -4*m - 5*x, -m + x + 0*x = 2. Suppose -5*u + 140 = 5*z, -m*u + 5*z = 7 - 91. Let i be (4/(-10))/(u/(-20)). Which is smaller: 2 or i?
i
Let a = -9 - -22. Which is smaller: -1 or a?
-1
Let h = 6.83 + 0.17. Let d = h - 6.5. Let s = d + 0. Is s >= 2/5?
True
Let g(f) = f**2 + f - 6. Let c be g(-3). Which is smaller: 1/36 or c?
c
Suppose 0 = -4*f + 13*f - 9. Is -19 at most as big as f?
True
Let i be (10/8)/(2/(-36)). Let s = i - -22. Let x be (-3)/2*(6 - 780/126). Are x and s equal?
False
Let z(i) = 1168*i - 2. Let y be z(-2). Let v = y + 35026/15. Let m = v - -18/5. Which is smaller: 0 or m?
0
Suppose -2*k - 4 = -2*n, -3*n + 1 = -k + 3*k. Let f(a) = -a**2 + 2*a. Let t be f(3). Let h be (3 - (1 + -2)) + t. Is n less than h?
False
Let q(w) = w**2 + w. Let o be (10/4)/(1/2). Suppose 5*l + o*m = 25, -l - 10 = m - 3*m. Let v be q(l). Are v and 3 nonequal?
True
Let h(s) = -4*s**3 + s. Let c be h(-1). Suppose 2*w - c*w = 3*z + 2, -6 = -5*w + z. Which is smaller: 2/25 or w?
2/25
Let g = 1 + 2. Suppose -g*u - 15 = -0*u. Let m = 5 + -10. Is m less than or equal to u?
True
Let c = 3 + -22. Is -20 less than or equal to c?
True
Let i = -2 - -4. Suppose 0 = 6*a + 3 - 33. Suppose -5*c - 15 = a*u, -u + i*c + 10 - 4 = 0. Is 1 less than u?
False
Let w(t) = -t**3 + 2*t**2 - t. Let h be w(1). Which is greater: 1/3 or h?
1/3
Suppose -5*k + 4*k = 4. Which is bigger: -3 or k?
-3
Let q = 114 + -116. Which is smaller: q or -4?
-4
Let w(q) = q + 5. Let k be ((-32)/(-40))/((-1)/5). Let h be w(k). Is 2/7 equal to h?
False
Let w = 0.45 + -0.05. Suppose 5*t = p - 19, -2*t = -3*t - 5*p - 9. Let h(o) = o**2 + 4*o - 1. Let d be h(t). Which is smaller: w or d?
d
Let z be (-9)/(-8) + 2 + -3. Which is bigger: z or 0?
z
Let g = -16 + 10. Let t = 10 - g. Which is greater: t or -0.1?
t
Let n be 1/(-2)*2/1. Let h = 4 + n. Let u be (-1)/h + (-30)/(-9). Which is smaller: 4 or u?
u
Let r be 1/(-87)*(-2 + 72). Let l = r + 4/29. Let j = -0.09 + -1.91. Is j less than l?
True
Let d = -6 - -3. Let y be ((-15)/6)/(-5)*d. Suppose -4*i - 12 = f, 0 = f - 0 + 4. Are y and i equal?
False
Let m be 2 + -1 - (-1 + 10). Let u = -12 + 11.4. Let i = 0.4 - u. Which is smaller: m or i?
m
Let d be (-390)/(-25) + (-2)/(-5). Let x be (-23 + -1)*d/(-24). Let p = x - 11. Are 4 and p equal?
False
Let t = -5/71 - 925/1988. Let v = t - -2/7. Do v and 2/7 have the same value?
False
Let q = 122/5 + -24. Suppose 11*f - 5 = 16*f. Is q equal to f?
False
Suppose -5*g + 47 = 3*m, 3*m = -g + 42 - 11. Is m smaller than 10?
True
Let q = -0.2 - 0.8. Let s = 25 + -15. Suppose 3*z - s = 8*z. Is z smaller than q?
True
Let s = 1128/7 - 160. Which is bigger: s or 0?
s
Let k = -4 - -6. Suppose -3*c = k*c + u - 4, -c = -4*u + 16. Let s be ((-2)/3)/(c + -1). Is s bigger than -1/9?
True
Suppose v - 3*k - 17 = 0, -k - 43 = -5*v - 0*k. Let g be v/(-6) + (-3)/(-9). Which is greater: g or -1/13?
-1/13
Let h = -0.54 - -0.14. Is -1 bigger than h?
False
Let m = 0.01 + 0.39. Let w = 1.4 - m. Which is smaller: w or 2/7?
2/7
Let p be (-2 - -4) + 5/20*8. Which is greater: p or 9/2?
9/2
Let g be 12/9*(-1)/18. Let k(q) = q**3 + 9*q**2 + q + 10. Let i be k(-9). Which is bigger: i or g?
i
Suppose d = -3*y - 4*d + 18, 0 = -2*y + 2*d + 12. Is y <= 5?
False
Suppose 5*l = -2*x - 0*x - 27, 3*x = 2*l + 7. Let h be (-2)/(-16)*6*16/40. Which is smaller: x or h?
x
Let c = -19 - -13. Let m(b) = b**2 + 2*b + 4. Let q be m(c). Let x = q - 57/2. Which is smaller: -1 or x?
-1
Let u = -3 - -3.08. Let v = u + -0.08. Which is smaller: 0.03 or v?
v
Suppose s + 2*s = -5*y + 39, -3*s - 33 = -3*y. Suppose 0 = -4*p - y - 3, -p = 5*i - 2. Which is greater: i or -2/19?
i
Suppose 5*i = -0*i. Let n = -78 + 3043/39. Is n bigger than i?
True
Suppose -48 = -2*l - 14. Let g = l + -16. Is -2/11 at most g?
True
