reater: p or -1?
-1
Let l = -253/405 + 2/81. Is -2 less than l?
True
Suppose 0*l + 20 = -4*y - 4*l, -3*y - 2*l = 10. Is 2/67 > y?
True
Let b(g) = -2*g**2 + g + 8. Let j be b(3). Which is smaller: -6 or j?
j
Let b(u) = u**2 + 13*u - 20. Let n be b(-14). Let x be 2/n + (-13)/(-3). Is x equal to 3?
False
Let p be (-14)/42*21/(-1). Is p less than 6?
False
Let r(g) = -g**2 + 18*g + 25. Let w be r(20). Which is greater: w or -14?
-14
Let i = -10 + 13. Which is smaller: 0 or i?
0
Let w be 2/(-4)*0/(-2). Let i(c) = -2*c - 2. Let d be i(-4). Suppose -2*m + 4 = -d*m. Which is smaller: m or w?
m
Let j be (3/2)/(3/(-4)). Let n be (j - 0)*1/(-2). Is 2/15 at least as big as n?
False
Let n(y) = y**2 + 2*y - 1. Let s be n(-5). Let m be (3/((-12)/s))/1. Let k = -17/6 - m. Is 1 equal to k?
False
Let j(t) = t + 3. Let i be j(-7). Which is smaller: i or -18/5?
i
Let j(c) = -3*c**3 - 6*c**2 + 4*c + 2. Let n(k) = 8*k**3 + 17*k**2 - 11*k - 6. Let y(h) = 11*j(h) + 4*n(h). Let q be y(2). Which is smaller: -5 or q?
-5
Let y(q) = 9*q**2 - 8*q + 12. Let t be y(2). Which is smaller: t or 31?
31
Let g(z) = z - 6. Let t be g(14). Let p be (2/4)/((-4)/t). Suppose 8*o - 4*o = -20, o - 3 = -4*x. Is x less than p?
False
Let t(q) = -q**3 - 5*q**2 + q + 4. Let r be ((-22)/(-6) + -2)*-3. Let s be t(r). Let k = -7 - -6. Is k equal to s?
True
Suppose -2*s - 2*z + 4 = -6, s - 2*z = -1. Let v(k) = s*k + 3 + 3*k + 1 - 5*k. Let x be v(-2). Which is smaller: 0 or x?
0
Let l(c) = -c**3 - 4*c**2 + 4*c - 1. Let z be l(-5). Which is bigger: z or 2?
z
Let d be (-21)/(-12)*(-8)/6. Let n = 21 + -33. Let u be (n + 6)/(0 - -2). Is d smaller than u?
False
Suppose -2*u - n + 2 = 0, -4*n = 4*u - 5*n + 8. Let x = u + 3. Suppose x*a = -5*d + 27, 10 = 5*d - 15. Are a and 1 non-equal?
False
Let q = -129 - -131. Do q and -36 have the same value?
False
Let w be 33*(-168)/1767 - -3. Let l = -1/31 - w. Is l bigger than -1?
True
Suppose 3*c = -2*c - 4*u + 12, u = -4*c + 3. Is c at most 5/6?
True
Let s be (5/15)/((-1)/21). Let k = -3 - s. Let u be 1/(1/3 - 0). Is k at most u?
False
Let u be (-195)/(-12) - 2/8. Let d be 3 + -3 - (-2)/u. Suppose -4 = -16*i + 12*i. Do d and i have the same value?
False
Let m be (8 - -4) + (4 - 1). Let w be (-34)/(-70) + (-3)/m. Is 0.1 at least as big as w?
False
Suppose 7*x - 2*x = 0. Suppose x*h + 10 = -2*h. Is -4 bigger than h?
True
Let d be ((-2)/4)/(5/(-30)). Suppose -d*w = -w + 2. Which is smaller: w or -9/4?
-9/4
Suppose -6 + 70 = -8*n. Let f(u) = -7*u**2 + u - 1. Let h be f(1). Is n < h?
True
Let g be ((-25)/(-23) + -1)/2. Which is smaller: -1 or g?
-1
Let l(r) = -r + 17. Let v be l(16). Let z be (-6)/1*1/2. Let d be (-16)/(-6) - (-2)/z. Which is greater: v or d?
d
Let u = 54 - 50. Let y = 6 + -6.2. Which is greater: u or y?
u
Let l = 10 - 7. Suppose 0 = 5*w + 5*n, l*w - 4*n - 7 = -0*w. Does 1 = w?
True
Let p = 0.1 + -0.09. Let u = p - 0.41. Let b = 0.203 + -0.103. Is b equal to u?
False
Let r = -0.7 + -1.3. Let s(o) = o**3 + 7*o**2 + 2*o + 10. Let w be s(-7). Is r at most w?
False
Let l be 6/((-4890)/(-2417) + -2). Let u = l + -259. Are u and -1 equal?
False
Let t(u) = -2*u - 36. Let f be t(-18). Which is greater: f or 1/52?
1/52
Let n = -28 + 28.01. Is n equal to 1?
False
Let n be ((-83)/(-4) - 7/28)*2. Do 43 and n have the same value?
False
Suppose u = -3*u - 76. Is -3 greater than or equal to u?
True
Let u = -0.8 - 0.2. Let k = 6 - 15. Let s = k - -8.8. Which is smaller: u or s?
u
Let q be (4/10)/((-6)/(-60)). Let m be (q/(-8))/((-3)/6). Suppose 2*l + 1 = -m. Is -1 greater than or equal to l?
True
Let o be ((-24)/32)/(2/(-28)). Which is smaller: o or 12?
o
Let h = -12614 - -38714/3. Let t = h - 295. Let z = 14/3 + t. Which is greater: -2 or z?
z
Let i = 46 - 102. Is -55 at most as big as i?
False
Let s = -0.4 + -0.6. Let n = 23/5 - 91/10. Let p = -4 - n. Is s > p?
False
Suppose 0 = -5*d - 4*i + 19, i = d + 3*i - 5. Let g be ((-68)/(-5))/(d/5). Let k = g + -23. Is 0 < k?
False
Suppose -12*m - 161 = 7. Is -4 at least m?
True
Let j = 6 - 4. Suppose -4*i = -i + 3*s, j*s = -5*i - 3. Is -3/16 greater than or equal to i?
True
Suppose 0 = 3*y - 6, 0 = -w + 3*y + 2 - 3. Suppose r + 5 = 2*r + 2*o, w*r = -2*o + 25. Suppose -l + 4 - r = 0. Which is bigger: 0.4 or l?
0.4
Let j = -40 - -282/7. Let o = 175.9 + -169. Let v = -7 + o. Which is smaller: v or j?
v
Let i(k) = 5*k**2 - 2*k - 10. Let t(y) = y**2 - y - 1. Let j(n) = i(n) - 6*t(n). Let r be j(3). Is 3 at least as big as r?
True
Let u(x) = x**3 + x - 17. Let s be u(0). Which is smaller: s or -16?
s
Let m = 18.9 + -18. Let b = m + -0.9. Do b and -1/11 have different values?
True
Suppose -2*k + 12 = 10. Which is bigger: k or 3/5?
k
Let f = -1.2 + -0.6. Let g = f + 2. Let c = 22 - 21.9. Which is bigger: c or g?
g
Let u be (8/(-28))/(2/(-2)). Is -1.5 greater than or equal to u?
False
Let r = -1 - -1. Suppose g = 2*g - 2. Is r greater than or equal to g?
False
Let b = -1 - -2. Let r be (0/(-1))/((-2)/b). Is -1/8 at most as big as r?
True
Let r be (34/114)/(150/(-562)). Let u = -3/475 - r. Which is bigger: u or 1/3?
u
Let y = 5/3 - 2. Let z = 4.1 - 5.45. Let k = z + 1.4. Is k at least as big as y?
True
Let n = 61 + -24. Let s = n + -145/4. Suppose 0*g = v + 5*g + 19, -4 = g. Is s not equal to v?
True
Suppose 11 + 2 = 4*u - 3*w, -3*w = u + 8. Which is smaller: u or 2/21?
2/21
Let r be (-1 + 6)/((-10)/(-5) + -3). Which is bigger: r or 1?
1
Let f = 0 + -0.1. Let z = -2 - -2.06. Which is smaller: z or f?
f
Let w = 105 - 104.7. Which is bigger: w or 3?
3
Let t(o) = 44*o + 1. Let d be t(3). Let i be (-1)/(-5) - d/240. Let m = -5/16 + i. Which is bigger: m or -2?
m
Let d = -3646433645/2379208 + -2/297401. Let q = -1539 - d. Let h = 279/40 + q. Which is bigger: h or 1?
1
Suppose -2*a = -4*a - 88. Let y be (-2 - (-52)/a) + 3. Is y greater than -1?
True
Let u = -1.41 + -0.09. Let w = u - -1.6. Is 3/11 at most w?
False
Let q = -3058/17 - -180. Which is bigger: q or -1?
q
Let n(x) = x**2 + 14*x + 15. Let d be (-3)/(-2)*(-208)/24. Let j be n(d). Which is bigger: 0 or j?
j
Let c = 24 + -20. Which is smaller: c or 3?
3
Let i be ((-6)/1 - -7)/(1/16). Which is smaller: 29/2 or i?
29/2
Let z(g) = 2*g**2 + 2. Let y be z(-3). Suppose 0*u = 5*u + y. Is u less than -2?
True
Let f be 4*(-28)/(-80)*-5. Which is smaller: -6 or f?
f
Let j = 7 - 6. Let c be j/(-4) - (-5)/20. Suppose -3*x = -6*x - 3. Which is bigger: c or x?
c
Let v be (-5)/20 + (-27)/4. Let b = -19 + 10. Which is bigger: v or b?
v
Let y = -169 + 176. Which is greater: y or -5?
y
Let h = -555/7 - -80. Which is bigger: 1 or h?
1
Let g = -0.04 - 0.96. Let s = 4.9 - 0.9. Let y = g + s. Is y less than -1/3?
False
Suppose -3*z + 104 = -z. Let h be 18/z + 1/(-2). Is 1 != h?
True
Let g(o) = -o**3 - 9*o**2 + 2*o + 11. Let d be g(-9). Let c = -8 - d. Which is greater: 2/19 or c?
2/19
Let j = -9 - -7. Let a be (-6)/8 - 27/12. Do a and j have the same value?
False
Let y(k) = -k + 2. Let r be y(0). Suppose -r*c - 3 = 11. Let p = c - -15/2. Do -1 and p have the same value?
False
Suppose 5*b + 8 = -3*x - 9, -3*x + 5*b = -23. Let v be (4/(-49))/(2/1). Is x bigger than v?
True
Suppose -2*t - 16 = 2*y, 17 - 48 = 2*t + 5*y. Which is smaller: t or -7/4?
t
Suppose 6*t - 3*t - 9 = 0, -k = -4*t + 9. Suppose k*g = -0*g. Which is smaller: g or -3/8?
-3/8
Let v be 5/(-3) - (7 + -9). Are 0.1 and v non-equal?
True
Let f(u) = 3*u - 7. Let j be f(-3). Which is smaller: j or -17?
-17
Suppose -k - 5 = 4*k. Suppose -2*r - 2*r + 8 = -3*h, -5*h = -5*r + 10. Which is smaller: r or k?
k
Let u(b) = -3*b - 10. Let i be u(-4). Which is bigger: i or 0?
i
Let i be (-18)/30 - 6/(-10). Which is smaller: -1 or i?
-1
Suppose 9 = -2*g - 3*x, 0 = -7*g + 3*g - 2*x + 2. Suppose -g*h - 5*d = -h - 15, -4*d + 12 = 3*h. Let c = 0.04 + 1.96. Do c and h have different values?
True
Let b(t) = t**3 + 3*t**2 - 4*t - 2. Let v be b(-4). Let c = 13949395/108 - 129162. Let o = c + 5/27. Which is smaller: v or o?
v
Let u be 10*3*(-3)/(-9). Suppose 0 = -8*s + 3*s - u. Let p be 4/(-10)*(-6)/(-4). Do p and s have the same value?
False
Let y be (0 - 30) + (-6)/4 + 3. Which is smaller: y or -29?
-29
Let w = 72 + -46. Is 26 not equal to w?
False
Suppose k = -0*k + 4. Suppose -f - k*f = 0. Suppose f = -0*z - z. Which is bigger: z or 2/7?
2/7
Suppose 2*a - 2