3/5 or q?
q
Suppose -19 = -3*v + 4*f, 4*v - 5*f = 8 + 17. Suppose -5*o + v*g + 25 = 0, -3*o + 2*g + 13 = 2*o. Let b be -2 + 8 + -6 + -1 + 3. Is b at most o?
False
Let v = -7 + 27/4. Let r = -1.3 - -2.3. Which is greater: v or r?
r
Let z be ((-3)/(-4))/((-14)/16). Let l be 1 + -1 - 2/1. Let c be l/11 - (-20)/(-11). Which is smaller: z or c?
c
Let g(i) = i**2 - i + 1. Let q be g(2). Let l be -1 + (q*-2)/(-1). Suppose 0 = l*c - 4*y + 24, -4*y = -3*c - 2*y - 14. Are c and -3 equal?
False
Let a = 11 - 7. Let g = 11 + -6. Let j = g - a. Which is bigger: 1/6 or j?
j
Let h = -108 + 133. Suppose 120 = -2*a + 7*a. Do a and h have different values?
True
Let o = 40/3 + -11. Suppose 2*i + 23 = 5*n, -i + 0*n - 3*n + 16 = 0. Which is smaller: i or o?
i
Suppose -u = 3*w + 145, w + 46 = 2*u + 7. Is -47 < w?
False
Suppose p = 4 - 6. Which is smaller: -8 or p?
-8
Suppose -7 = a + 4*i + 2, -9 = -4*a - i. Let q be (-6)/(-10)*1/a. Which is greater: q or -1?
q
Let a be (3/(-10))/((-8)/40). Which is smaller: a or 3?
a
Suppose 3*b - 37 = -i, -i + 6 = b - 9. Suppose -4*d + 2*r - 21 + 7 = 0, 4*d - r + b = 0. Is d greater than -5?
True
Suppose -4*l = -4 - 8. Suppose -l*i - 2*i + 35 = 0. Is 8 greater than i?
True
Let b = -1 - -0.2. Let p = 0.8 + b. Do 1/5 and p have the same value?
False
Suppose s - 2 = -s. Let g(h) = -3*h**2 - h + 1. Let y be g(s). Is -4 >= y?
False
Let t = 2.1 - 2. Let z = t - 0.1. Let j = -612 - -610. Which is bigger: z or j?
z
Suppose -v + 3 = -2. Let z be 7 + 2/2*1. Let k = -4 + z. Which is greater: v or k?
v
Let m = -7 + 3. Suppose 2*x - 3 = -7. Which is smaller: m or x?
m
Suppose 4*j + 22 = 3*n - 2, -3*n + 2*j = -18. Is -7 at most n?
True
Let d = -38 - -151/4. Let k = -12 + 13. Let p be 5 + -3 - k*2. Is p at most d?
False
Let p be 3*(1 - 2) - 0. Is p equal to -3?
True
Let a be (-366)/15 + 6/(-10). Let b be ((-2)/65)/((-5)/a). Is 0 > b?
True
Suppose -i - 26 - 22 = 0. Is -48 less than i?
False
Let w be 8/7*21/6. Suppose 0 = 5*s + 3*t - 20, s = w*t - 17 - 2. Which is bigger: 2/23 or s?
s
Let s = -13 + 27. Let w = s - 14. Let r = -2 - -3. Is r < w?
False
Suppose 2*g + 7 = -1. Are g and -4 nonequal?
False
Let p(d) = -d**3 - 7*d**2 - 6*d - 1. Let a be p(-6). Suppose -18 = -5*u + 3*r, -4*r = -3*u - 0*u + 2. Let x be (u/(-15))/(-2)*-1. Does x = a?
False
Suppose o + 3 = -0*t + 3*t, -2*o = 2*t - 10. Let c = -2 + t. Which is smaller: -2/7 or c?
-2/7
Let h be (-8)/(-12) - 0/1. Which is greater: 1 or h?
1
Let o = 22 - 11. Let l = -16 + o. Let a = l - -3. Is -3 greater than a?
False
Let h be (-6 - -1) + 0/(-4). Let a(v) = -v**3 - 5*v**2. Let d be a(h). Which is smaller: -2/11 or d?
-2/11
Let p be (-93)/(-18) - (-1)/(-6). Let t = p - 6. Which is bigger: 2/13 or t?
2/13
Let n be 33/(-27) + 4/18. Let p = 1 - 0.9. Which is bigger: n or p?
p
Let w = 24 - 25. Which is bigger: w or 2/77?
2/77
Let b = -66 + 64. Which is bigger: b or 0?
0
Suppose 0 = 2*q + 9*q - 66. Which is smaller: q or 4?
4
Let v(r) = r**2 + 17*r + 4. Let p be v(-17). Suppose -11 = 4*g + 1. Let z = g + p. Which is bigger: z or 2/9?
z
Suppose 5*q = f + 14, 2*f = -2*q - 0*f + 8. Suppose 36 = -x + q*x. Is 17 less than x?
True
Let u = -578 + 34100/59. Is u at most as big as 1?
True
Let l(a) = -a - 6. Let o be l(-9). Let c = o - 3. Let i = 133/30 + -29/6. Do i and c have the same value?
False
Suppose l - 34 = -3*i, l + 14 + 56 = 5*i. Let u(j) = -11*j + 1. Let k be u(-1). Which is smaller: i or k?
k
Suppose 5*z = -3*p + 61, 2*z + 3*p - 24 = 2*p. Let x = -12 + z. Which is greater: x or -1/9?
-1/9
Let s be 3*(-2 - (-6)/(-9)). Let b(t) = t + 11. Let d be b(s). Suppose d*j = 2*v - 7*v + 12, 0 = 3*j - v + 6. Do -1/4 and j have different values?
True
Let m = 26 + -12. Suppose -2*f + 2*i + 15 + 1 = 0, 5*f = -i + 22. Suppose -q + f*q + 5*p = -m, 3*p + 3 = 3*q. Which is greater: q or 2/9?
2/9
Suppose -3 = -t + m, -2*m - 2*m = 12. Suppose 0 = v - t*v. Let s = 153/580 - 2/145. Is v >= s?
False
Suppose -3*l - 2*i - i - 18 = 0, 4*l + 30 = 2*i. Which is smaller: l or -3?
l
Let g = 57291/44 - 1302. Do g and 0 have the same value?
False
Let g(x) = -x**3 + 5*x**2 + x + 1. Let o be g(5). Which is bigger: 28/5 or o?
o
Suppose 4*g + 3*a - 27 = 0, -a + 5 = 4*a. Suppose 0 = -5*y - 4 - g. Let k = 0.7 + -0.9. Which is smaller: k or y?
y
Let n = 26 + -24. Which is smaller: 8 or n?
n
Let x = -1232/15 - 3337/60. Let u = -139 - x. Let z(m) = m**3 + 5*m**2 + 5*m + 3. Let h be z(-4). Which is smaller: h or u?
u
Let a(g) = -g**3 + 6*g**2 + 18*g - 10. Let f be a(8). Is f less than 5?
False
Let u be ((-2)/(-6) - 64/48)*1. Is -2/181 > u?
True
Suppose -100 = 5*a + 4*k, -19 - 1 = a - 5*k. Is a smaller than -19?
True
Let x = 1367/645 + 35/43. Let d = x - 542/195. Let i = 0 - 0. Is d smaller than i?
False
Let u = -5 + 20. Suppose -b + 6*b + u = 0. Let l be (b/(-3))/((-1)/(-3)). Which is smaller: 4 or l?
l
Let c = 8.16 + -0.16. Is -1 greater than c?
False
Suppose -2*o - 3*o = -0*o. Let m = 29 + -44. Let u be 56/90 + 6/m. Is o less than or equal to u?
True
Suppose -3*l + 4 - 7 = 0. Let q be (-4)/2 + (3 - l). Suppose 2*t = -2*j - q + 10, 3*j - 15 = 0. Are 2/7 and t nonequal?
True
Let g = 0.1 + 0. Let o = -6.2 + 6. Which is greater: g or o?
g
Let j = -71 - -67. Is j <= -4?
True
Let f = -829/5 + 5878/35. Is f >= 3?
False
Suppose 1 = -3*w + 5*l, 0*l - l = 3*w + 25. Let u be -16 + (0 - 1)*-3. Let n = u - w. Is -6 greater than n?
False
Let y = 0.044 - -11.956. Are y and 0.2 equal?
False
Suppose -15*q = -5*q + 40. Which is smaller: q or -21/8?
q
Let w be 8/2 - 0 - 2. Suppose -w*u + u = 0. Are 6/7 and u equal?
False
Suppose -4*d + 0*d = 32. Let p(x) = x**3 + 14*x**2 + x + 16. Let v be p(-14). Let i be 8*v/6*-3. Is d > i?
False
Let c(z) = -z**2 + 6*z - 4. Let b be c(5). Let a be 1/b*7/(-7). Is a < -6/7?
True
Let o(a) = -a**3 - 6*a**2 + 6*a - 7. Let b be o(-7). Suppose b = -8*v + 3*v - 10. Which is smaller: -1 or v?
v
Let s(d) = d**3 - 7. Let p be s(0). Which is smaller: p or -8?
-8
Let b = -1 - -2. Let p = 2.1 - 2.2. Is p bigger than b?
False
Let x(k) = -k**2 - 4*k + 3. Let h be x(-4). Suppose -h = -w - 1. Suppose l + w*l = 0. Are l and -1 nonequal?
True
Let w = -1 + 2. Let y = -2 + w. Let h = -0.9 - y. Which is smaller: h or -3/2?
-3/2
Suppose -3 - 29 = -4*t + m, 5*m + 27 = t. Which is smaller: 5 or t?
5
Let w be ((-5)/(90/12))/((-2)/519). Is 172 != w?
True
Let n = 4.7 + -1.7. Do n and 3/7 have different values?
True
Let m = -0.04 + 0.04. Let j = 8 - 13. Let r = m - j. Which is bigger: -2/7 or r?
r
Suppose -15 = 5*n + a, -3*n + a = -0 + 1. Which is smaller: n or 3?
n
Let f = 7 - 6.2. Let n = f + -1.8. Which is smaller: n or -0.2?
n
Let q = 1.4 + -1. Let m = q + -0.5. Let r = 0 + m. Is -1 smaller than r?
True
Suppose -8*r = -3*r + 45. Which is greater: r or -4?
-4
Suppose -4*h + h = -6. Which is bigger: 3 or h?
3
Let u(j) = -17*j - 50. Let r be u(-3). Which is smaller: r or 5/4?
r
Let f = 5 + -7. Let s be (-17)/7 - (f - 0). Which is bigger: s or 1?
1
Let i = 3474/55 + -316/5. Let d = i - -73/495. Which is smaller: d or 0?
0
Suppose -4*c + 0*c + 40 = 5*z, -3*z - 13 = -5*c. Let r = -4 + z. Suppose u - 2*j = r, -2*u = 3*j + 1 + 6. Is u <= -2?
True
Let o = 17 - 17. Is 1 less than o?
False
Let u = -6/17 - 16/51. Which is bigger: u or 1?
1
Let f be (-10 + 2)*(-12)/(-152). Which is bigger: -2 or f?
f
Let g(d) = -7*d**3 - d**2 + 2*d - 1. Let b be g(1). Let n = b - -9. Which is smaller: 3 or n?
n
Suppose 3*l + 4*d = -93, -4*l + 3*l + 5*d - 50 = 0. Is l at least as big as -35?
True
Let p = 6 - 7. Is p greater than -3?
True
Suppose -4*d - 2 = -2*y, 2*d + 18 = -5*y - 37. Which is smaller: y or -41/5?
y
Let p = -33 - -33.1. Is p bigger than -24?
True
Suppose -4 = -5*f + f. Let z be 2/2 + 88/(-52). Let k = -50/91 - z. Which is smaller: f or k?
k
Let p = 18 - 17. Is 23 >= p?
True
Let x be ((-39)/26)/(1 - 6/7). Which is greater: -12 or x?
x
Suppose -6*q + 2*q + 92 = 0. Suppose -5*t + 8 = q. Let l = 0.002 + 0.098. Is l != t?
True
Let a = 299 - 11057/37. Do a and 1 have the same value?
False
Let u = 53959/35 + -11790/7. Let i = u + 142. Which is smaller: -2 or i?
-2
Suppose 0*v + v = 2. Suppose 3*b = 5*b - v. Let g be 3/4*1/(-3). Is g < b?
True
Suppose -2*v = -5*f + 20, -2*f - 13 = 3*v - 2. Suppose f*l + q - 5 = 0, 16 + 4 = -2*l + 4*q. Let y = 775/117 - 61/9. Are l an