r: q or a?
q
Let f = 39 + 1. Let o be 3/(-44) + f/22 + -2. Is o smaller than -1?
False
Suppose 0 = -6*c + 3*c + 1401. Let y = -4193/9 + c. Suppose 4*d + 3*q = 16, 9*d - 4*d - 2*q + 3 = 0. Which is bigger: y or d?
y
Suppose 0 = 3*y - 4*y - 5. Let a = -21 - y. Let s = -34 - -34. Do s and a have the same value?
False
Let s(p) be the first derivative of 5 + 6*p + 5/2*p**2. Let t be s(-3). Is t <= -9?
True
Let d = -11 + 6. Let w(l) = -l**3 - 6*l**2 - 7*l - 5. Let g be w(d). Suppose 5*y + k - 5*k = 0, g*y = -5*k. Is 1 at least as big as y?
True
Let l(a) = -11*a - 9. Let m(c) = 4*c + 3. Let v(w) = 3*l(w) + 8*m(w). Let r be 3*16/12 + -7. Let n be v(r). Which is greater: n or 1?
1
Let u be ((-4)/(-3))/(-2)*(3 - 0). Let o(v) = 4*v + 9. Let f be o(u). Is -2 at least as big as f?
False
Let n = -944 + 16987/18. Which is smaller: n or -2/9?
n
Let d(x) = x**2 - 10*x - 28. Let c be d(0). Which is smaller: c or -27?
c
Let j = 28/33 - 54/55. Let p = 47 - 43. Is j >= p?
False
Suppose -416 = -45*g + 41*g + 3*l, 3*l = 0. Is 105 < g?
False
Suppose -u + 2*u + 5*q = 14, 4*q - 12 = -u. Suppose 7*c + u*o + 56 = 3*c, -4*c + 3*o - 42 = 0. Let z = 58/5 + c. Is 4 > z?
True
Let s = 479/3 - 454/3. Is s != 9?
True
Suppose 5 = 4*q - 3. Suppose -4*g = -h + 13, 3*h - g = -q*g + 13. Let j = 18 + -16. Which is bigger: j or h?
h
Let b = 1.98 + 0.02. Let w = b - -3. Let a = 299 + -301. Is w < a?
False
Let s = -35 + 76. Which is bigger: s or 40?
s
Let y(w) = w**3 - 6*w**2 - w + 2. Let p be y(7). Let q be (-22)/p - (-22)/4. Let u(o) = -o + 18. Let r be u(11). Which is greater: r or q?
r
Let y be (-1)/2*(9 + -9). Let a be 2*(-3)/1 + y. Let h be 2/12*27/a. Is h less than -2?
False
Let l = -111.128 - -0.128. Let b = -111 - l. Is b greater than or equal to -6.8?
True
Let c be 2 - ((-2)/7)/(16/(-136)). Is 1 less than or equal to c?
False
Let x = -6051203/156 + 38786. Let k = -1/78 - x. Is k >= 4?
False
Let w = 59.1 + -40.1. Which is smaller: w or -2/5?
-2/5
Let i(y) = -5*y**2 + 126*y - 25. Let k be i(25). Is k at least as big as -3/76?
True
Let k(p) = p**2 + 30*p + 272. Let a be k(-8). Which is smaller: 97 or a?
a
Let n(x) = x**3 - x**2 - 1 + 1 - 1 - 2*x**3. Let l be n(0). Which is greater: 2/55 or l?
2/55
Let k = 8.1 - 8. Let j = -3.9 - -3.4. Are k and j equal?
False
Suppose -x - p + 7 = x, 4 = 2*x + 2*p. Suppose 16 = 6*s - 2*s. Suppose x = 3*n + a, 0*n + s*n = 5*a + 13. Which is smaller: 0 or n?
0
Let m(g) = 6*g + 12. Let x be m(6). Suppose 2*l = -2*l + x. Let v = l - 12. Which is greater: v or -1/4?
v
Suppose 7*l + 45 = 143. Let f(o) = -o**2 + 12*o + 27. Let v be f(l). Is 2/87 at most as big as v?
False
Let f(y) = 2*y**2 - 3*y. Let t be f(2). Suppose -t*z = -26 - 24. Which is smaller: 23 or z?
23
Let x be 4 + (-1)/(4/(-16)). Suppose 4*y = 6*y - x. Does 7 = y?
False
Suppose -2*l + 67 = -y, -24*y + 28*y - 11 = -l. Is l equal to 36?
False
Let a(q) = q + 5. Suppose 0 = 5*x - 6 + 16. Let h = x - 2. Let w be a(h). Which is bigger: w or 1/3?
w
Let c be ((-8)/38)/(2 - 8). Let l(x) = 92*x - 644. Let o be l(7). Which is smaller: o or c?
o
Let r be 204/8 + (-4)/8*1. Which is bigger: r or 28?
28
Let h be (304/57)/(4/(-6)). Is -11 less than h?
True
Let n = 1288 + -1335. Is n greater than or equal to 2/27?
False
Let h(s) = -22*s**3 - s**2 + s + 1. Suppose -3*v = -3*g - 5*v - 3, 3*v = -3*g - 3. Let n be h(g). Let l = 17 - n. Is l <= -4?
True
Let k = 1192 + -1279. Which is bigger: -605/7 or k?
-605/7
Suppose d = 15*d. Which is bigger: d or 78?
78
Let p be ((-1)/7*-3)/(2/42). Does p = 10?
False
Let r = -104 - -104.3. Is r bigger than 41?
False
Let o(f) = 19*f**2 - 3*f - 4. Let i be o(-4). Let v = 1867/6 - i. Which is smaller: v or 2?
v
Let m = -0.87 - 23.13. Let f = -23.9 - m. Are -0.14 and f non-equal?
True
Let l = 1099 - 1096. Is 22/7 less than l?
False
Suppose 2*o + 5*l + 24 = 0, 8*l = -4*o + 10*l - 24. Is o at least -3?
False
Let l be (-2)/18*(-7 - 51). Let o = -19/18 - l. Which is bigger: o or -8?
o
Let v = 57 - -41. Let m be v/14 - (-1 + 3). Suppose 0*o - 5*r = 3*o - 25, r - m = 0. Which is smaller: o or 1/2?
o
Let z = 225 + -7426/33. Let p be ((-3)/6)/((-3)/30). Suppose 0*k + 3*w = -4*k - 9, 0 = p*k - 5*w - 15. Which is smaller: z or k?
z
Let o = 870/7 - 124. Let f(r) = 6*r - 12 - 12*r + 0 + 7*r. Let u be f(15). Is o <= u?
True
Suppose -5*t = -37 - 3. Let j = -12 + t. Let v = j + 5. Which is smaller: 4/7 or v?
4/7
Let m = -1/13 - 11/26. Let a = -29/2 + 14. Let r = a + 1. Which is smaller: m or r?
m
Suppose 177 - 65 = 2*w. Which is smaller: w or 384/7?
384/7
Let l be (-16)/(-6)*12/(-7). Let u(i) = 3*i + 43. Let x be u(-16). Does l = x?
False
Suppose 7 = t + 2*z, -6*t + 2*z = -3*t - 21. Is t less than or equal to 180/23?
True
Let r = -7 + 5. Let s(m) = m**3 + 7*m**2 - 9*m - 10. Let w be s(-8). Is w smaller than r?
False
Let h = 2137 + -1467. Let x be (-273135)/408 - (-6)/(-16). Let n = x + h. Which is bigger: n or 1?
1
Let m(w) = w**3 + 6*w**2 - 9*w - 13. Let j be m(-7). Is 1/4 >= j?
False
Let n = 0.8 - 0.9. Let h = 5 - 7. Let f be h - (-16)/(-14)*-2. Which is smaller: f or n?
n
Let f(i) = i**3 + 18*i**2 + 20*i + 51. Let s be f(-17). Which is greater: -1/67 or s?
s
Let h be (-308)/(-16) + (-3)/12. Let a(o) = 20*o + o**2 - 19 + 3*o**2 - 3*o**2 - 2*o**2. Let q be a(h). Which is smaller: 4/3 or q?
q
Let o(w) = -4*w - 20. Let i be o(-5). Let n be ((16/(-90))/4)/((-27)/(-15)). Is n at least as big as i?
False
Let x(j) = -5*j - 5*j + 0*j + 6 + 12*j. Let k be x(-4). Let b = k + 4. Which is smaller: b or 5?
b
Let f = 452 - 452. Suppose 2*s - 3 = 13. Let n be 2/s*32/6. Which is bigger: f or n?
n
Let g be ((-3)/(-6)*10)/1. Suppose 3*x + g = 17. Suppose -x*i + 3*v + 40 = 5*v, 5*i - 44 = -v. Is i bigger than 8?
False
Let n(s) = -9*s + 199. Let f be n(22). Is f bigger than 2/707?
True
Let c be (1 - 2) + (-282)/(-312). Which is bigger: 0 or c?
0
Let r(a) = -a**3 + 4*a**2 + 5*a - 3. Let u be r(5). Let c be 1/u*(1 + 0). Let x be (-3)/(-6) + 1/(-2). Which is bigger: x or c?
x
Let f be ((-360)/55)/3 - -2. Which is bigger: 43 or f?
43
Let x = 45 - 87. Let w = -36 - x. Which is bigger: 24/5 or w?
w
Let r(u) = -u**3 + 5*u**2 - 4*u + 5. Let a be r(4). Suppose 5*d = 3*x + 13, a = 4*d + 4*x - x. Suppose i + 0 = d. Which is smaller: 3 or i?
i
Let v be 30694/(-30) + (-36)/(-270). Does -1024 = v?
False
Let s = -21/4 - -97/20. Let u(a) = -a**3 + 9*a**2 - 9*a + 11. Let p be u(8). Suppose -c = 4*w - p, 5*c + 10 = 5*w - 0*w. Which is bigger: s or w?
w
Let j = 2963/10 - 296. Suppose -5 = 4*q - 1. Which is smaller: q or j?
q
Let w be (156/10)/(33/(-5) + 7). Which is smaller: w or 35?
35
Let j = -53 - -113. Let i = -5833 - -5834. Is i <= j?
True
Let l be (1974/(-22))/(-7) - 3. Is 9 < l?
True
Let j = -652 - -618. Which is greater: -1 or j?
-1
Let l = 11 + -6. Let u = l - 4.93. Let h = -0.17 + u. Which is greater: -9 or h?
h
Suppose i - 7 = 8. Let z be ((-8)/(-12))/(1/i). Let a be (-10)/(-20) - (-3)/z. Which is smaller: 0 or a?
0
Let h = -19.8 + 18.4. Is 0.2 at most as big as h?
False
Let g be 6/(-292)*(-18)/9. Let k = 155/219 - g. Let h = 0.8 - 1. Which is smaller: h or k?
h
Let q be ((-220)/(-30)*(-4 - 2))/(-1). Which is bigger: 226/5 or q?
226/5
Let t be ((-4)/6)/(5/3). Let q = 5.7 - 5.61. Is q != t?
True
Let i be 18/7*14/(-3) + 3. Let x = 54 + -57. Which is bigger: i or x?
x
Suppose 22 = 2*k + 12. Suppose -k = -5*l - 0*l. Do l and 1/23 have different values?
True
Let v = 1473/2 - 107523/146. Is -1 > v?
False
Let n(y) = -2*y - 2. Let q be n(-2). Let u be 12/q - (1 - 9/(-3)). Is -4 > u?
False
Let o be 2 + 7 + (-234)/(-22). Do 19 and o have different values?
True
Let o(f) = -45*f**2 + 2*f. Let t(x) = 44*x**2 - 2*x - 1. Let r(l) = 2*o(l) + 3*t(l). Let y be r(-1). Is y smaller than 41?
False
Let s = 6 - 9. Let n = 1591 + -42955/27. Is n <= s?
False
Suppose -2*m + 74 = 4*b, 0*m + m - 55 = -3*b. Suppose -5*i + a = -4*i + 4, -14 = 2*i - 5*a. Let l be (1/i)/(b/96). Is -2 > l?
True
Let q be (-8)/5*(-35)/(-14). Let d(p) be the third derivative of p**4/24 + p**3/3 + 3*p**2. Let n be d(q). Do -3 and n have the same value?
False
Let u = 115 - 128. Suppose 4*c - 8*c = 0. Suppose -3*v - 4*h - 52 = c, -v = -4*v + h - 32. Which is smaller: u or v?
u
Let i = -2043/7 - -293. Let a = -55 + 76. Let k(u) = u - 19. Let j be k(a). Which is bigger: j