52. Let q = -1019/228 + i. Which is smaller: q or -5?
-5
Let h(k) = -32*k**2 - k + 1. Let d be h(1). Let f be d/130 - (-6)/15. Let a be 2*(-2)/8*-2. Which is bigger: f or a?
a
Suppose -4*a + 204 = 28. Let m be (99/a)/(2/8). Is m >= 9?
True
Suppose 7*j - 2*j - 15 = 0. Let s(a) = -a**3 - 3*a**2 - 2*a - 2. Let w be s(-3). Let l = -2 + w. Which is smaller: j or l?
l
Let m(z) = -z**3 + 14*z**2 - 12*z + 12. Let b be m(13). Is b greater than or equal to 25?
True
Let s = 349/13 - 27. Which is smaller: s or 9?
s
Let p = 151/12 + -40/3. Which is smaller: -2 or p?
-2
Suppose -2*y - 4*o - 10 = 0, 3*o = 2*y - 4*y - 13. Let s(z) = z**2 - 8*z - 4. Let p be s(7). Do y and p have the same value?
True
Suppose -10 = 5*a - u, -3*u + 17 = -4*a - 4*u. Let b be (a/2)/(21/28). Is b equal to -3/2?
False
Suppose -y + 10 - 1 = 0. Let g(x) = -x**2 + 12*x - 16. Let v be g(y). Is v > 10?
True
Let q(h) = -h**2 - 2*h - 1. Let n be q(-1). Which is bigger: 1 or n?
1
Let i = 93 - 92. Which is smaller: i or -1?
-1
Let u(h) = h**3 - h**2 + 1. Let b be u(1). Let n(r) = r**2 - 2*r - 6. Let x be n(4). Suppose -4 = x*y - 2. Which is greater: b or y?
b
Let y(w) = -w**2 - 3*w + 2. Let g be y(-3). Suppose g*f + 6 = 3*f. Suppose 0 = -2*o + f*o. Is o > 2?
False
Let l = -0.38 + -0.22. Is 1 bigger than l?
True
Let l = 69 + -56. Is l >= -2?
True
Let f = -2/32985 - 19263218/362835. Let a = f + 53. Let k = -29/77 - a. Is -1 < k?
True
Let y = -5.5 - -1.5. Let d = 6 - -1. Let c = y + d. Which is greater: c or 2/3?
c
Let l = -3 + 2. Let h = 13 + -22. Let i = h + 3. Which is smaller: l or i?
i
Let y be -1 - (1*-1 + 0). Suppose 0 = -3*d + 3, -d = 5*w + 4*d + 165. Let f = w + 33. Are f and y equal?
False
Let u = -14 + 18. Do -2 and u have different values?
True
Let l(o) = 8*o + 7. Let c be l(-8). Let k = c + 457/8. Which is bigger: k or -1?
k
Suppose -4*n + 4 + 0 = -z, -65 = 5*z - 5*n. Are z and -15 unequal?
True
Let y = 57 + -58. Which is greater: y or 0?
0
Let n = 15 - 8. Let k = -8 - -7. Is k greater than or equal to n?
False
Let s(w) = -w**3 + 7*w**2 - 7*w + 8. Let r be s(6). Let o be r/((-2)/(-5)) - 1. Let m be -2 + (2 - o) + 6. Is 4 != m?
True
Let r = -11.1 + 11. Which is smaller: r or 3/20?
r
Let p = -1.9 - -3.5. Let x = 1.6 - p. Do x and -3 have the same value?
False
Let f be 2/(-12) - 11/(-33). Let x = -2 - -1. Which is smaller: f or x?
x
Let d = -13 + 18. Suppose 0 = -4*o - d*h + 37, 0 = 2*h + 4 - 14. Is o at most -3/5?
False
Let h = -0.06 - 0.24. Let x = -0.25 - -0.15. Let p = x - h. Which is smaller: 2/5 or p?
p
Let g = -45 + 64. Suppose -8 = d - 3, g = -3*y - 5*d. Let a = -25 + 27. Is y < a?
False
Let g = 109/115 + -8/23. Is -5 at least g?
False
Let l be -1*(2 - 1) - -5. Suppose -4*n - 4 = -2*n. Let z be n*((-2)/l)/(-1). Which is bigger: 0 or z?
0
Let v be 105/20 - 7 - (1 + -1). Is v equal to -1?
False
Suppose 3*t - 27 = -4*a, a + 3*a = 4*t - 8. Suppose 25 = -5*h, 4*u - 5*h = -2*h + 15. Suppose 0 = -x - u*x - a. Is x > -2?
False
Let d = -2216/9 + 246. Let g = -1 - -2. Which is bigger: g or d?
g
Let c = 1 + 0. Suppose 69 + 36 = 3*s. Let p be s/30*(-1)/(-7). Which is smaller: p or c?
p
Suppose 7 = -r + 3. Let h(g) = -g**3 - 9*g**2 - 7*g + 5. Let y = -11 - -3. Let n be h(y). Is r at most n?
True
Let h = -99 - -179. Suppose -7*d + 2*d = -h. Let m be (-102)/(-13) + d/104. Is m greater than 8?
False
Let x(v) = -v**2 + 5*v + 7. Let i be x(5). Suppose -3*k = -i + 1. Which is smaller: 1/2 or k?
1/2
Let u = -8/3 - -67/24. Is 1 at most as big as u?
False
Let x(s) = -s**3 + 3*s + 4. Let q be x(3). Let t be ((-1)/q)/((-1)/4). Are t and 1 non-equal?
True
Let r(y) = y + 8. Let v be r(-6). Is v at most 5/3?
False
Let x = -5/22 - 1/22. Does x = 0.1?
False
Let m(b) = -3*b + 21. Let q be m(7). Which is bigger: q or 2/61?
2/61
Let w be (((-12)/(-21))/1)/(-2). Let z(u) = -u**3 + 6*u**2. Let s be z(6). Suppose s = i + 2*i. Is w at least i?
False
Suppose -3*z - 15 - 219 = 0. Which is greater: -77 or z?
-77
Suppose z - 1 + 0 = 0. Let r be 12/(1*2 + -1). Let y be (r/15 - z)*1. Is -1 not equal to y?
True
Suppose f - 4*m = 3*f - 28, 0 = 2*m. Is 13 greater than f?
False
Let d be 69/(-24) + 1 - (-10)/5. Suppose 2 = -3*y - 1. Is y less than or equal to d?
True
Let d = 21 + -8. Is -2 > d?
False
Suppose 125 = -9*k + 4*k. Is k at most -24?
True
Let k be (2/(-4))/(1/(-6)). Suppose 0*m = -2*a - 5*m, m = -k*a. Let o = -26/11 + 149/77. Is a greater than or equal to o?
True
Suppose -2*r = 3*r + 115. Let c = r + 22. Which is smaller: c or 0.3?
c
Suppose -13*i + 60 = -3*i. Which is smaller: 17/3 or i?
17/3
Suppose -30 = -0*h - 5*h. Is h greater than or equal to 5?
True
Let c = -8 - -6. Let z be (-19)/21 - (-12)/36. Which is smaller: c or z?
c
Let n be ((-4)/20)/((-3)/6). Is 1.1 greater than or equal to n?
True
Let l = -16 + 28. Let d = l - 59/5. Let p be (-1)/(1 + 0) + 1. Is p != d?
True
Let a be 14/(-21)*27/(-6). Suppose 4*u - 31 = -5*o, 1 = -o - 2*u + 3*u. Let q be (16/6)/2*o. Which is smaller: q or a?
a
Let j(k) = -k**2 + 8*k. Let s be j(7). Which is bigger: 6 or s?
s
Let g = -3 - 0. Let y be ((-1)/(-2))/((-1)/3). Is y less than g?
False
Suppose -13 = -a - 4*t, -4*a = a - t + 19. Let s = a - -4. Let z be 1/s - (0 - -3). Which is smaller: z or -3/2?
z
Let f = -1171 - -12890/11. Which is bigger: f or 2?
2
Let y = 1.11 + 1.29. Which is bigger: 2/9 or y?
y
Let z(a) = a**2 + 7*a + 3. Let b be z(-5). Let o be b*1 + (7 - 4). Is -4 at least o?
True
Suppose 2*v + 27 = 5*a, 5*v - 4*a + 6 = -19. Which is smaller: -8/23 or v?
v
Let q be 35202/(-70) - (-2)/(-1). Let t = q - -3306/7. Let b = t + 33. Which is bigger: b or 0?
b
Let v = -10 - -6. Let o(n) = n**2 + 5*n + 6. Let x be o(v). Let k(y) = -y**2 - 5*y - 3. Let a be k(-4). Is x != a?
True
Let p(d) = -3*d**3 - 2*d**2 - 2*d + 1. Let i be p(2). Let c be (-17)/i - (-4)/(-14). Suppose 4*j + r = 2*j - 3, -r = 4*j + 1. Which is smaller: c or j?
c
Let m = -0.2 - -0.04. Let s = m - -0.06. Which is smaller: 0.1 or s?
s
Let s be 6/(-12) - (-3)/6. Suppose 0 = m + 1. Is m less than s?
True
Suppose 26*f - 25*f = 0. Which is smaller: f or -14?
-14
Let v be (-1)/(-12)*4*-3. Does v = -0.2?
False
Let v = 1 + -1. Suppose 0 = -5*r - 5*k + 60, -5*k + 20 = -0*k. Suppose r = 13*q - 9*q. Which is bigger: q or v?
q
Let q = -2 - -2.3. Let z = 0.04 - -0.96. Which is bigger: z or q?
z
Suppose -4*x - 75 - 21 = 0. Is x != -23?
True
Let b = -1 - 0. Let p = 4.2 + -1.2. Which is smaller: b or p?
b
Suppose -4*u - 3 = 1. Let t(q) = -q**2 + 30. Let h be t(0). Let n be 2*(-9)/h + 1. Is u at least n?
False
Let h(y) = 12*y - 5. Let n be h(1). Does n = 5?
False
Let v = -18 - -11. Let k = -8 - v. Let w = 65/2 + -33. Are w and k unequal?
True
Let d(z) = -6*z**2 + z + 2. Let l be d(2). Suppose 10 = -6*u + u. Let s be (-28)/l - u/(-5). Is s at most as big as -3/11?
False
Let r = -534 - -196. Let h = 5072/15 + r. Do h and 1 have the same value?
False
Let z be ((-4 + 1)/3)/(77/(-112)). Which is smaller: z or 2?
z
Let i be 0 - (2 + -4) - -16. Let f = -124/7 + i. Which is smaller: -1 or f?
-1
Let c = 4/17 + -2/17. Which is smaller: c or 1?
c
Let s be (-3)/(18/(-3) - 0). Which is smaller: 1.8 or s?
s
Let u = -0.65 - -0.25. Let x = -4 - -9. Suppose x*o - 4*l - 15 = -2*l, -l - 10 = -5*o. Is o not equal to u?
True
Let h = -0.09 - -0.09. Let w be 4/(-3) + (-2)/(-6). Let l = w + 1. Is l greater than h?
False
Let h = 0.4 + 10.6. Is -1 at least h?
False
Let s = -1 + 6. Suppose 2*u = -y + 6*y - s, 0 = u + 2*y - 2. Is u less than or equal to -2/17?
False
Let v = 0.01 + -2.01. Let a = -6 + v. Let r = a + 8.3. Which is smaller: -0.1 or r?
-0.1
Let t be (-128)/12*(-3)/(-2). Let q be (28/(-16))/((-4)/t). Which is greater: q or -6?
-6
Let a be (84/(-7))/(-6) - 80/22. Do a and 1 have the same value?
False
Let d be ((-6)/(-4) - 2)*10. Let c(x) = -x. Let k be c(d). Let p = 21/4 - k. Is 1 at most as big as p?
False
Let d be 1 + 1 - 3/(-1). Let a = 5 - d. Let g = 0 + 1. Is g < a?
False
Let d = 25 + -126/5. Suppose 0 = t - 2*z - 7, -2*t - 2 + 1 = -z. Let s = t + 4. Which is greater: d or s?
s
Let y(c) = c**2 + 10*c + 9. Let w be y(-6). Are w and -14 non-equal?
True
Let n = 44 - 224/5. Suppose 0 = 3*v - 15 - 0. Suppose -v*k - 9 = 5*u - 2*u, -2*k + 12 = -4*u. Is n at least as big as k?
False
Suppose 5*a - 3*v + 6 = 0, -2*a + 2*v = -v + 6. Is -1/6