10)/(-15). Is -2/13 smaller than m?
True
Let g(t) = 3*t**2 + t - 2. Let w be g(-2). Let p = -9 + w. Which is smaller: p or 2/7?
p
Let q be 200/30*12/5. Are q and 17 equal?
False
Let s be (1/2)/((-1)/(-4)). Let w(j) = -j**2 + 6*j + 9. Let v be w(7). Are v and s equal?
True
Let g = 7 - 10. Let f = 2.1 - -1. Let v = g + f. Is v != -0.1?
True
Let f(j) = -j**3 - 10*j**2 - 14*j + 2. Let u be f(-7). Which is smaller: u or -46?
u
Let d = -0.1 - -0.3. Let t be (21/(-12))/7*-1. Is t <= d?
False
Let n = -14503751/224 + 64748. Let k = 1/32 + n. Suppose -h + 4 = -5*h. Is k at most as big as h?
False
Suppose 10 = -5*w - 5*u, 0 = -3*w - 4*u - 5 - 2. Suppose -3*y = 2*y + 125. Let s = y + 123/5. Is s > w?
True
Let r(y) = y**3 - 5*y**2 + 3*y + 3. Let n(l) = l. Let s be n(4). Let v be r(s). Let h = -0.2 + 0.3. Which is bigger: v or h?
h
Let u = 2/33 + -13/33. Let y be -3 + (23/5 - 2). Is y bigger than u?
False
Let t be -2 + 4 - 2/1. Let r be 31/11 + 2/11. Let i be 3 - r - (-2)/4. Is t bigger than i?
False
Suppose 7*k = 8*k - 5. Let x = -6 + k. Which is greater: -2/9 or x?
-2/9
Let d = -47/6 - -8. Is -1 >= d?
False
Let o = -0.23 + -8.77. Let s = o - -6. Which is smaller: -4/3 or s?
s
Let b = 411718541/565 - 728705. Let j = 2/113 + b. Which is smaller: j or -0.04?
-0.04
Let c = -236 + 253.9. Let t = c + -18. Which is greater: 3/5 or t?
3/5
Suppose 7 = 2*l + 15. Let q = -10373/21880 - 1/1094. Let c = q + -1/40. Is c at least l?
True
Let r = -172.08 + 178. Let y = r + -6. Which is greater: y or 2/5?
2/5
Let p be ((-2)/14)/(10/(-35)). Let r(o) = -2*o. Let m be r(-1). Does p = m?
False
Let t = -0.174 + 0.139. Which is smaller: 2/7 or t?
t
Let i(p) = 2*p**2 - 10*p + 6. Let o be i(6). Let j = o - 35/2. Which is bigger: 14 or j?
14
Let b = 0 + 1. Which is greater: -2/11 or b?
b
Let r be (-1 - 0)/(5/(-10)). Suppose -r*d = d. Which is greater: -2 or d?
d
Let r = 2 - 1. Let w = 49/45 - 6/5. Which is greater: w or r?
r
Suppose 4*h + 138 = -19*h. Let b be (10/(-6))/(1/(-3)). Suppose 3*u + p + 16 = 0, -4 = b*p - p. Is h <= u?
True
Let n be 2/1 - (34 + -112). Which is smaller: 81 or n?
n
Let n be 3/(-9) + (-13)/6. Is n smaller than -4?
False
Let o = -166/9 + 4805/261. Is o >= -1?
True
Let l(r) = -r + 13. Let g be l(12). Is -2/73 < g?
True
Let s = 0 - 0. Let c = -92/9 + 638/63. Which is bigger: c or s?
s
Suppose 10*r - 150 = -0*r. Is 15 > r?
False
Let i(y) = y**2 - 8*y - 11. Let f be i(9). Let q be f/(2/1*1). Is 2/11 at least q?
True
Let n = 7 + -4. Let p(m) = -m**2 + 2*m + 1. Let k be p(n). Do -1 and k have different values?
True
Let s be 3/(27/(-6)) - -2. Suppose 7 + 1 = 4*c. Suppose c*h + 3 = 5. Are h and s nonequal?
True
Let y be (15/(-12))/((-4)/16). Suppose -5*p + 0*p = -25. Suppose 0 = -2*z - y*v + 6, -p*v + 4 = 5*z - 11. Which is smaller: z or 1/2?
1/2
Let b be (1/(-2))/((-1)/2). Let c = 10 + -8. Suppose -7 = -2*m + q, -3*q + c - 15 = 2*m. Is m > b?
False
Let h = 41 - 46. Is -4 at least h?
True
Suppose -3*v - 6 = -v, 4*u - 2*v - 2 = 0. Let b(x) = 8*x + 6. Let t be b(6). Let d be (-4)/18 - 42/t. Does u = d?
True
Let m = 43/948 - -3/79. Which is smaller: -2/5 or m?
-2/5
Let o be (-20)/(-25)*-5*1. Let r be 3/((-3 - 1)/o). Let t = 19/10 - 2/5. Which is bigger: r or t?
r
Let o = 2 - 2.03. Let c = o + -1.97. Which is smaller: 3 or c?
c
Let x be (40/(-18) - (-20)/90) + 31. Which is greater: 30 or x?
30
Let q = -2 + 2. Let m be (1 - 1)/(2 - q). Let l = 1424/10905 + 2/727. Is l < m?
False
Let o be ((-5)/(-3))/1*(-42)/8. Is o not equal to -9?
True
Let b(p) = p + 19. Let h be b(-10). Let x be (24/h)/(4/(-12)). Is -8 smaller than x?
False
Let q = -2.5 + 19.5. Is 1 less than q?
True
Let k(z) = -4*z - 8. Let h be k(-6). Suppose -4*p + 8 = -h. Let w be p/4 - (-1 - -3). Which is bigger: 0 or w?
0
Let p(x) = x**2 - 17*x - 19. Let t be p(18). Do t and 1/12 have the same value?
False
Let x be 1*-2*2/6. Let g = 12 - 11. Which is smaller: g or x?
x
Let x be (-2)/(-15*12)*-34. Let o = x + 3/5. Let i = 0.11 - 0.11. Are i and o equal?
False
Let m(s) = -s - 21. Let c be m(-10). Which is greater: c or -8?
-8
Let p be 9 - 3*6/9. Let i(r) = r - 3. Let g be i(p). Suppose a + 4 = w, -2*a = -g*w + 13 + 3. Which is smaller: a or 1/4?
a
Let j be (-4)/18 - (-1768)/18. Let x be 28/(-10)*12/j. Let o = 1/7 + x. Is 1 != o?
True
Let g = -373730 + 163786. Let l = g + 18475383/88. Let n = l + -3/88. Which is smaller: n or 4?
n
Let v = 53 - 57. Which is bigger: v or 2?
2
Let h = -2 + -1. Suppose -s = -4*v + 2, -3*v = -2*s + 7*s + 10. Suppose b + 2 + 0 = v. Which is smaller: b or h?
h
Let w = -3 + 7. Suppose 3*r + 4*a = 24, 1 = w*r - 4*a - 3. Let l be 21/4 + (-2)/8. Which is greater: l or r?
l
Let q(a) = -a**3 + 2*a**2 + 3*a + 1. Let d be -1 - (-4)/(-12)*3. Let t be q(d). Is t smaller than 10?
False
Suppose 0*y = 2*y + 16. Let r = 6 + y. Let f be (-3 + 6 - 5) + r. Which is smaller: f or -2?
f
Suppose -4*h + 7*h = 18. Suppose a - 25 = -h*w + w, 0 = 4*a + 2*w - 10. Which is smaller: a or -1/3?
-1/3
Let i = -3/139 - 2348/695. Which is greater: i or -3?
-3
Let j be 50/(-18) - (-10)/(-45). Which is smaller: j or -4?
-4
Let c = 4 + -3.97. Let s = c - 0.03. Let q = s - -0.1. Which is greater: q or -1/3?
q
Let j = 23 - 23. Which is greater: j or -0.1?
j
Suppose 0 = -2*j + 3*j. Let s = j + -1. Let o be (-77)/(-105) + s/3. Which is greater: o or -0.1?
o
Suppose i + 16 = -3*x - 4, 3*x + 40 = -5*i. Let f be (x/(-10))/(15/18). Which is greater: f or 2?
2
Suppose -3*x + 5*d = 28, -2*x + 4*d - 8 = 6*d. Let c be 9/x - 2/(-2). Let s = 83/138 - -3/46. Are s and c nonequal?
True
Suppose -7 = -5*p + 68. Let f = p + -17. Which is bigger: -3/8 or f?
-3/8
Let j be (-8)/8 + -9*(-4)/30. Which is smaller: -0.03 or j?
-0.03
Let u be (-56)/(-3) + (-2)/(-6). Suppose -5*o - 2*h = h + 16, -u = 2*o - 3*h. Let m(b) = -b**3 - 4*b**2 + 6*b. Let s be m(o). Is s >= -5?
True
Let l be 32/30 - (-4)/(-6). Suppose -u - 5*o + 19 = -2*u, 21 = u + 5*o. Suppose 2*m = -3 + u. Are l and m equal?
False
Let n = 0 - 3. Let u = -54 - -51. Is n > u?
False
Let c = -194348/183 + 1062. Which is smaller: -1 or c?
-1
Suppose -3*a = a + a. Is a not equal to -2/85?
True
Let m be (6/3)/((-2)/(-3)). Suppose -2*j + 1 - m = 0. Let u be (1 - (2 + -1))*j. Are u and 0 equal?
True
Suppose -3*f = -f - 10. Suppose -2*n - 12 = n - 3*u, -f*n - 15 = -4*u. Is n at most 1?
True
Suppose 3*o + i - 7 - 7 = 0, 4*i - 20 = 0. Suppose 1 + 5 = -o*w. Let d be w/(-3)*6/10. Which is smaller: d or 1?
d
Suppose 0*t + 4*t + 4*f - 4 = 0, 0 = -4*f + 12. Which is greater: -8/13 or t?
-8/13
Suppose -3*h + 2 = 11. Do h and -3 have different values?
False
Suppose 0 = -116*p + 117*p + 43. Is -42 < p?
False
Suppose -4*l - 21 = 5*n - l, -7 = 3*n - l. Let v be n*3/9 - -2. Which is smaller: 0 or v?
0
Let b = 10 - 5. Suppose 3*x = b + 4. Let q be 1/(x*1/6). Is q smaller than 0?
False
Let i = -0.4 - -1.4. Let y = -0.02 + 1.02. Let p = i - y. Which is bigger: -2 or p?
p
Let b = -1156/6237 + 2/567. Suppose -2*l = 3*t + 18, -3*l - t - 4 = 9. Let z be ((-2)/l)/(5/(-3)). Is b less than z?
False
Suppose 5*v = 5*d + 3*v - 25, v - 12 = -d. Let j = 8 - d. Let l be (-14)/(-18) - (-4)/18. Is l bigger than j?
False
Suppose -5*j - o + 0*o = 91, 68 = -4*j - 2*o. Which is smaller: j or -18?
j
Let b be (28/10)/((-10)/(-25)). Is b greater than 5?
True
Let v = -3 + 2. Let f be -6*v/(-2) - -9. Is 7 at least as big as f?
True
Let i = 2 + -5. Let o be (5/(-3))/5*i. Which is smaller: o or -0.2?
-0.2
Let m be 2 + -10*(-6)/(-32). Let c = 0.11 - -0.59. Let p = c + -0.7. Which is smaller: m or p?
p
Let y = -9 - -9. Suppose y = -o + 6*o + 15. Is -1 smaller than o?
False
Let f(t) = -4*t + 8. Let x be f(5). Let y be ((-16)/x)/((-4)/(-6)). Which is smaller: 3/5 or y?
3/5
Suppose -2*g = 5*z + 10, -5*z = 5*g + 41 - 16. Let l be (2/g)/((-4)/10). Is l smaller than -0.1?
False
Let w be 8/12 + 4/(-6) - 1. Let d = 0.6 + 2.4. Let n = 4 - d. Which is smaller: n or w?
w
Let v = 4 + -1. Suppose -5 = -2*a - v. Is a equal to 5/6?
False
Let g(q) = -q**2 - q + 4. Let s be g(0). Let r be s/(-12)*(-9)/3. Which is smaller: 2/11 or r?
2/11
Let w = 0 + 1. Let o = -3 + 3. Suppose 3*a - 2*a - 2 = o. Which is smaller: w or a?
w
Suppose -86 = -4*m - r, 4*r = -0*m - 2*m + 36. Let g be (-8)/(-6)*3/m. Let f(h) = -h**2 + h + 12. Let o be f(4). Which is bigger: g or