 -2/3 or r?
r
Let y = -19 - -79/4. Which is smaller: 1 or y?
y
Suppose 5*r + 0 = -5. Suppose -3*w + 3 = 9. Which is smaller: r or w?
w
Suppose -90 = 21*z - 18*z. Which is bigger: -32 or z?
z
Suppose -c + 4*p + 4 = 0, -5*p + 4 = 4*c - 3*c. Suppose -c*a - 6 = -2*a. Suppose 3*i + 2*r = -4, 7*i - 2*i - 3*r = -13. Do a and i have the same value?
False
Let p = 0.028 + -4.028. Which is smaller: p or -6?
-6
Let d be (1/(-4))/(14/(-56)). Let f = -19/288 - -1/288. Is f >= d?
False
Let f be 4/(-2)*-3 - 1. Suppose -g - 4*s - 8 = 0, f*g - 10 - 7 = -s. Let r be (8/(-6))/(g/(-6)). Is 2 greater than r?
False
Let o(j) = j + 2. Let a be o(-2). Suppose a = -w - 2*w. Let y = 7 - 8. Which is smaller: y or w?
y
Let u(i) = -i - 3. Let n be u(-6). Suppose 0*v + 11*v = 11. Is v bigger than n?
False
Suppose -5*m = 2*s - 81, 36 = s + s - 4*m. Let r be 1*2 + (-58)/s. Let b = r + 31/42. Which is smaller: 0.1 or b?
0.1
Let j = 7 - 2. Suppose -12 = -4*s, 5*k - 7*s = -2*s + 5. Suppose -y - k*y = -j. Which is greater: -1/3 or y?
y
Suppose 11*k = -4*k. Are k and -6/7 unequal?
True
Let h = 382 - 360.9. Let i = h - 22. Is i less than -0.1?
True
Let v be -5 + (8/28)/(1/14). Is -1/10 != v?
True
Suppose -5*o + 0 = 10. Let z be 1/(o - (-5)/2). Do z and 2 have the same value?
True
Let m = 28 + -41. Is -0.1 > m?
True
Let q be (-1)/((-20)/(-48)) - -2. Is q at least 1?
False
Let u = 0.22 - 0.52. Is 6 > u?
True
Let p be (-1 + -1)*(-3)/(-51). Which is bigger: 1 or p?
1
Let m(v) = v**2 - v - 2. Let t be m(5). Let g be (-44)/(-150) + (-6)/t. Is g bigger than 1?
False
Let o be (5/(-10)*-2)/(393/(-6)). Is o greater than or equal to 0?
False
Let g = -5 + 22/5. Let t = -59/2 - -29. Which is smaller: t or g?
g
Let f = 62/9 - 7. Which is bigger: f or 0.1?
0.1
Let q(d) = -d**2 + 4*d. Let y be (-10)/3*12/(-10). Let n be q(y). Suppose 5*p = -g - 25, 2*p + 2*p + 20 = n. Is 6/5 equal to g?
False
Let c = -110 + 189. Which is smaller: c or 80?
c
Let t be 2 + (0/(-1))/(-2). Suppose 0*w = t*w. Do -4 and w have the same value?
False
Let w(o) = -2*o + 17. Let h be w(6). Suppose m = -3*l + 2*m + 25, 4*m = -2*l + 12. Suppose 5*k - l = 3*k. Which is bigger: k or h?
h
Let v(i) = -2*i**2 + 8*i - 6. Let d be v(7). Let j be (-4)/6 + d/(-99). Let c be 16/(-56) + (-18)/(-14). Are c and j non-equal?
True
Let i(f) = f**2 + 7*f + 3. Let d be i(-7). Suppose g = -4*x - 48, d*g - 12 + 123 = -x. Let c be g/15 + 2/5. Is c smaller than -1?
True
Suppose -3*f = -6, 28*n + 2*f = 27*n + 24. Is 20 greater than n?
False
Suppose -z - 12 = -13*z. Does z = 2/7?
False
Let g = 10.95 - 11. Let x = -3.05 - g. Is 1 equal to x?
False
Let s(r) = -r**2 + 2*r + 5. Let f be s(4). Suppose 15 = -z + 10. Is z < f?
True
Let m(d) = -30*d + 56. Let r be m(5). Is -95 smaller than r?
True
Let r(k) = k**3 + 10*k**2 - 2*k - 20. Let a be r(-10). Is 2/133 at least as big as a?
True
Let p = 0.3 - 0.5. Let k be (110/(-20))/11*(-2)/(-4). Is k > p?
False
Let m(c) = c**2 + 5*c - 1. Let h be m(-6). Let k(w) = w**2 - 4*w - 6. Let q be k(h). Is q < -1?
False
Let c = -0.44 + 0.04. Let r = 2.6 - c. Is r not equal to 0.2?
True
Suppose -5*f = -7*p + 3*p - 29, -2*p = 2*f + 28. Is -9 greater than p?
True
Let z = 0 - -1. Let k = 1010/7 - 144. Let s = -3/14 - k. Which is greater: z or s?
z
Let d = 50 + -36. Suppose 0 = 4*x + d - 38. Does 7 = x?
False
Let y = 0.03 - -4.97. Which is smaller: y or -2/9?
-2/9
Let y be (2 - 0) + (-572)/288. Let b = y - 151/504. Is 1 at least as big as b?
True
Let h = 0.37 - 0.47. Which is bigger: 0.02 or h?
0.02
Let b be 14/(-6)*6/(-105). Are 0 and b non-equal?
True
Let r(z) = -z**3 - 4*z**2 + 8*z + 5. Let m be r(-5). Let n = 9 + m. Which is smaller: 1/5 or n?
n
Suppose 5*r + 4 - 44 = 0. Which is greater: r or 15/2?
r
Suppose -2*q + 17 = -4*t - 11, -3*q + 22 = -2*t. Let f be ((-98)/21)/(q/(-6)). Which is bigger: 5 or f?
f
Suppose -9 = 3*q, -y - y + 7 = -q. Let v = -51 + 155/3. Which is greater: y or v?
y
Suppose -2*a = 3*a + 20. Let h be (7/4)/(a/(-48)). Is h greater than or equal to 21?
True
Let w = -115/3 + 83/6. Let s = 1327/54 + w. Which is bigger: 1 or s?
1
Let x be 18/(-153) + (-206)/(-17). Which is bigger: 3 or x?
x
Let v = 104 + -308/3. Are v and 1 nonequal?
True
Suppose -3*y = -0*y - 3. Suppose -5 = -5*o - 5*j, 3*j - 2 = o + y. Suppose o = 5*p - x - 25, 3*p = -4*x + 19 - 4. Is p smaller than 6?
True
Let u(s) = -s**2 + 3*s + 6. Let g be u(4). Let h be ((-12)/(-22) + 0)/1. Which is bigger: h or g?
g
Suppose 2*f + 5*s - 3 = 0, -2*s - 3 = 4*f + f. Let l = 5491/175 - -4/175. Let c = -1084/35 + l. Is f less than c?
True
Let a = 5 + -5.07. Let r = a + -0.03. Do r and 4/7 have the same value?
False
Let a(s) = -s**2 - 5*s - 4. Let j(y) = y**3 + 9*y**2 - 10*y - 3. Let l be j(-10). Let p be a(l). Let w be 1 + (3 - p) + -1. Do -2 and w have the same value?
False
Suppose -4*o + 45 + 25 = -2*s, 0 = 5*s - 15. Suppose -2*v - 4*a + a = 21, -2*v - a - o = 0. Let h be ((-33)/v + -1)/(-2). Are h and -2 unequal?
True
Let k = -66 + 67. Which is smaller: 1/9 or k?
1/9
Let x(u) = 4*u + 1 + 3*u - 5*u - 5*u. Let s be x(-1). Suppose 4*d = s*q - d + 11, 4*q - d - 1 = 0. Is 1/7 <= q?
True
Let p = 1.4 - 4.4. Is 0 bigger than p?
True
Let h = -0.139 + 0.039. Is -2/61 at most h?
False
Let b(k) = k**2 + 5*k - 10. Let q be b(-7). Suppose -7*r - q = -6*r. Which is bigger: -7 or r?
r
Let a be (-1 + 2)/(1 + (-80)/76). Which is smaller: a or -20?
-20
Suppose 3*q - 6*q + 5*x = 15, 4*x - 5 = q. Let u be 6 + q - 0/2. Are u and 1 equal?
True
Let t(c) = -c. Let u be t(0). Which is smaller: u or 1/6?
u
Suppose i = 2*i + 144. Let n be i/357 + (-6)/(-21). Which is bigger: -1 or n?
n
Let l be 2/(-5) + 34/10. Suppose 2*c + 3*i = 3, 3 = -4*c - l*i - 0. Let y(w) = -w**2 + 6*w - 4. Let t be y(6). Is c >= t?
True
Let h(t) = -t + 1. Let s be h(0). Let u be ((-4)/(-306))/(1/(-118)). Let c = -30/17 - u. Which is greater: s or c?
s
Let z = 8 + -6. Let p(m) = 5*m - 13. Let b be p(3). Is b at least as big as z?
True
Let z = -80716/53 - -1523. Which is smaller: -1 or z?
-1
Suppose -s - 2 = -3*g - 10, -5*g - 5*s = 0. Are g and -1 equal?
False
Let k be (16/(-22))/((-8)/44). Let p = 4 - 0. Is k >= p?
True
Suppose -v + 6*v = 0. Which is greater: v or 1?
1
Let u = 1/1025 - 1097/73800. Are 1 and u equal?
False
Let i = 191/4 + -48. Which is smaller: i or -0.1?
i
Let a = 0 + 9. Suppose -2*i = i + a. Which is bigger: -2 or i?
-2
Suppose -6*a + 30 = -a. Suppose 9 + 7 = 2*u. Is u less than or equal to a?
False
Let c be (-84)/20 - (-2)/10. Suppose -5*r = -2*d - 50, 4*d - 9 = r - 1. Suppose 0*t - r = 4*t. Which is smaller: c or t?
c
Suppose 32 = -6*z - 52. Let j = z + 15. Suppose -2*k - 4 = 2*c - 6*c, -4 = -c - k. Is j > c?
False
Let f = -8 - 0. Let m(b) = b**2 + 9*b + 4. Let a be m(f). Is -6 > a?
False
Let r = 335/6 + -193/3. Which is greater: r or -8?
-8
Let f(a) = a - 5. Let d be f(7). Let r be ((-6)/4 - d)*-4. Suppose -4*t + 0*o = -2*o + 22, 2*t = -4*o + r. Is t at least -3?
True
Suppose -l = 9 - 4. Let a be (16/l)/(-4) + -1. Let v(s) = -s**2 - 1. Let w be v(0). Which is greater: w or a?
a
Let x = 25 + -24. Which is smaller: -2/11 or x?
-2/11
Let u(i) = i**2 + 7*i + 7. Let g be u(-7). Let j = -17 + g. Do 0.1 and j have the same value?
False
Let n(x) = x - 2. Let u be ((0 - 8)/(-1))/2. Let y be n(u). Let m be (0 + 1 + -2)*-2. Is m less than or equal to y?
True
Let j = 10 + -9. Suppose 0 = v - j. Does 2/5 = v?
False
Let q(h) = -h - 4. Let b be q(-7). Suppose -2*r = b*r. Let w = -4/131 + 413/655. Which is smaller: w or r?
r
Let t = -1 - -0.96. Let x = -7 - -29/4. Which is smaller: t or x?
t
Let t = -0.2 + 1.2. Let r = t - 3. Let d = 6.1 + -6. Which is smaller: r or d?
r
Let n = -2.9 - 1.1. Let h = 6 + n. Which is smaller: h or 3/2?
3/2
Let c(q) = -3*q + 23. Let i be c(17). Is -28 less than i?
False
Let c = 7 - 3. Suppose -3*i - 4 = -c*m, 4*m = 3*m - 4*i + 1. Is -2/27 less than or equal to m?
True
Let v(c) = c - 2. Let r be v(5). Is r less than or equal to 6?
True
Suppose -16*x - 28 + 12 = 0. Is -1/158 >= x?
True
Let t be 2088/(-1540)*2/6. Let n = 4/77 + t. Is 4 at least as big as n?
True
Let o(f) = -f**2 + 6*f - 6. Let u be o(5). Is -1/3 >= u?
True
Suppose 3 = 4*k - 3*l, -2*l - 5 = 2*k + 3*l. Let v = -2 - -3. Let i = k - v. Which is greater: 0 or i?
0
Let p be (2 + -1)/(2/(-4)). Let m be 0/(0/(-1) +