 3, -4*b = 5*m - 2. Is 3 greater than b?
False
Let v(r) = -2*r + 3. Let q be v(3). Which is smaller: -4 or q?
-4
Let k be (-3 - -4) + (1 - 0). Let z be (k - 2)/(2/(-1)). Which is smaller: z or 1?
z
Suppose 24*j + 119 = 431. Which is smaller: 18 or j?
j
Suppose 20 = -4*j - 4*r - 0*r, -13 = 2*j + r. Let l = j + 11. Suppose -w - l = 2*w. Which is smaller: w or 1/3?
w
Suppose -d = -d + 4*d. Is 2/19 < d?
False
Let d = -7.2 + 7. Let k = -0.1 - -1.1. Is d <= k?
True
Let d be ((-6)/(-12))/(1/4). Suppose 0 = d*o - 3*o. Are o and 2/13 nonequal?
True
Let v = -5.31 + 5.3. Which is smaller: 3 or v?
v
Suppose x + 19 = -5*j - 0, -13 = -x + 3*j. Let s = 69 + -33. Let h = 35 - s. Which is bigger: h or x?
x
Suppose -4*r = 4*s - 16, -s = 4*r - 4*s + 5. Which is smaller: -8/17 or r?
-8/17
Let v = -24 - 153. Let m = -1237/7 - v. Which is smaller: m or -1?
-1
Let p be 5/((-55)/(-10) + -6). Suppose 13 = -2*s - 5. Which is bigger: s or p?
s
Let t(l) = l**2 + 7*l - 19. Let q be t(-8). Is q > -12?
True
Let y = 7.009 - 7. Which is smaller: -1 or y?
-1
Let m(w) = -w + 8. Let s be m(7). Let u = s - 23. Let t be (-4)/u + (-56)/66. Which is greater: t or 1?
1
Let j be 1*(-1 + 6 + -2). Suppose -t + 5*z = -2*t - 19, -4*t + 16 = -j*z. Does 1/8 = t?
False
Suppose 0 = 17*i - 15*i. Let w be 15/(-6)*(-3)/10. Is w < i?
False
Let z = -3 - -3.2. Let x = 0 + z. Let f = x - 0. Which is bigger: -0.1 or f?
f
Let b = 5/19 + 3/133. Which is smaller: b or 1?
b
Let f be -4 - 0/((-3)/3). Is -4 greater than f?
False
Suppose 0 = 3*t + 4*a - 22, -4*t - a - 2*a + 20 = 0. Let u be t/4 + (-2)/4. Suppose 4*m - 2*n = n, -2*m + 4*n = u. Which is greater: -4/3 or m?
m
Suppose -14 - 7 = -3*a. Which is smaller: a or -2/9?
-2/9
Suppose -19 + 3 = -2*r. Suppose 0 = -5*n - 3*m + 46, -3*n + 26 = -0*m + m. Let v = n - r. Which is greater: v or 5/7?
5/7
Let z = 10 + -16. Let i = 6 + z. Which is smaller: i or 1?
i
Let b = 9 - 8.99. Let g = b + -0.01. Which is bigger: 2 or g?
2
Let n = 11 + -12. Is 1/7 >= n?
True
Let p be (-2)/(-3) - (28/(-3) + -2). Is 9 at least as big as p?
False
Let w be (((-10)/2)/1)/(-1). Let b = w - 4. Let d = 49 + -197/4. Which is greater: b or d?
b
Let c be (-704)/60 + 1 + (-12)/20. Are -10 and c nonequal?
True
Suppose 0 = 15*c - 19*c + 100. Which is greater: 28 or c?
28
Let n = -72 - -74. Let k be 0 + 0 + 2/7. Which is bigger: n or k?
n
Let b(a) = a - 14. Let k be b(7). Let w = 2 + -8. Which is smaller: k or w?
k
Suppose 8*c + 2 = 10*c. Is 2/7 != c?
True
Suppose 0 = -7*b + 16*b - 882. Which is greater: 97 or b?
b
Let f = -21 - -21. Which is bigger: 26 or f?
26
Let j = -3 - -15/4. Let b = 66 + -39. Let n = -26 + b. Which is greater: j or n?
n
Let u be (-4)/6*(-3)/2. Let r(v) = v**3 - 2*v**2 + v. Let t be r(1). Are t and u equal?
False
Let z(a) = 5*a + 1. Let n be z(1). Which is smaller: n or 5?
5
Let a = 1.1 + 3.9. Let p be (14/(-5))/((-14)/35). Let i = p - 6. Is a > i?
True
Let b be ((-3)/2)/((-9)/(-12)). Let n = 5 + b. Suppose 4 = u + 2. Is n greater than u?
True
Let u(y) = -y**3 + 3*y**2 - y + 1. Let g be u(3). Is g at least -3?
True
Let x = 5 + -4. Let z(l) = -3*l**2 + l. Let s be z(x). Is s smaller than -1/2?
True
Let p(t) = -t**2 + 5*t + 5. Suppose 3*l = -2*d + 7*d + 55, 2*d + 42 = 2*l. Suppose l - 1 = 4*k. Let i be p(k). Which is smaller: -2 or i?
-2
Let p = 167 - 497/3. Let y(w) = w**2 - 4*w + 4. Let x be y(3). Which is smaller: p or x?
x
Let r = 0.1 + -0.2. Let v = -40.5 + 40. Are r and v equal?
False
Let x be 4/1 - (-65)/(-15). Are -5/13 and x equal?
False
Let d be 50/88 - 6/8. Which is smaller: d or -1?
-1
Let v = -0.5 - -2.5. Let d = 2.2 - v. Is 1 equal to d?
False
Let s be (1 - 1*4) + (-468)/72. Does -10 = s?
False
Let b(m) = m + 2. Let u be 4 - (2 - (3 - 1)). Let v be b(u). Let o = v - 6. Which is smaller: 2 or o?
o
Let q = -31 - -16. Is -14 at most as big as q?
False
Let j = -6 + 2. Let m be j/(-10) - 92/(-20). Is 5 less than or equal to m?
True
Let l be (-20)/(-28)*3 - 2. Let a = 20/189 - l. Which is smaller: 0 or a?
a
Let h = -1 + 2. Suppose -1246 - 539 = -3*p. Let t be 189/p - (-1)/(-5). Which is greater: h or t?
h
Suppose -2*g - 3*y = -6*y + 3, g - 4*y + 4 = 0. Suppose g = 4*w - 17 - 23. Suppose x + w = 6*x. Which is smaller: x or 1?
1
Let h = -33 + 19. Which is smaller: -13 or h?
h
Let c(x) = x**2 - 2*x - 21. Let q be c(6). Which is bigger: 0.1 or q?
q
Let y = 9.9 - -3.1. Let p be 6/8 + (-374)/264. Does y = p?
False
Let k(j) = -j - 7. Let a be (0 - 0/3) + 0. Let m be k(a). Let p be 6/(-18) + m/(-3). Is 3 at most as big as p?
False
Let t = -0.14 - -0.12. Let x = t - 0.98. Is x smaller than 6?
True
Let n = 95/52 + -11/4. Which is bigger: 0 or n?
0
Let p = 1.3 - 0.3. Let n(x) be the third derivative of x**5/60 - x**4/4 + 5*x**3/6 - x**2. Let s be n(5). Which is smaller: p or s?
s
Let n = -115/21 - -50/7. Let t(j) = -j**2 - 2*j + 1. Let w be t(1). Let v be 14/8 + 3/w. Is n greater than or equal to v?
True
Let q = 1.6 + -2.5. Let y = 0 - 0.1. Let r = q + y. Which is smaller: r or 0?
r
Suppose 9 = -4*z + 29. Suppose -2*d - 3 - 15 = z*s, 4*s = -d - 15. Let v be (16/(-340))/(s/(-10)). Which is greater: 0 or v?
0
Let u be (-4)/(-22) + 35/(-11). Let h be (2 + -1)/(1/u). Which is bigger: h or -1?
-1
Let m = -37/160 - -1/32. Does m = -1?
False
Let a = -28 + 85/3. Do a and -3/14 have the same value?
False
Let z(d) = -d**3 + 5*d**2 + 10*d - 18. Let y be z(6). Is y at most as big as 11?
True
Let w = 22 - 13. Let v = 1.1 + -0.1. Which is bigger: w or v?
w
Let w = 559 - 3904/7. Which is greater: 0 or w?
w
Let a = -102 + -34. Let r = a + 84. Let l = r + 258/5. Which is smaller: 1 or l?
l
Let p = 63 + -63.1. Which is smaller: p or -57?
-57
Let k = -30 + 19. Let g = 27 + k. Suppose 5*q - 13 = -2*u - 1, 0 = -2*q + 2*u + g. Is 4 at most as big as q?
True
Let h(q) = q**2 - 9*q + 8. Let x be h(9). Let o be 2 - (-8 - x/(-2)). Which is smaller: 3 or o?
3
Suppose -87 = 4*i - x, -4*i - 68 = -i + 2*x. Which is smaller: i or 1?
i
Let u = 199/6 - 1721/66. Is 8 less than u?
False
Let y be (-4)/6 - 8/12. Suppose 0 = u + i - 4, -5*i = 16 - 41. Is y < u?
True
Let l = -15/11 - -71/44. Suppose 3*y - 8 = -y. Let h = 3 - y. Is h at least l?
True
Let l be -18*(16/(-52))/4. Which is smaller: l or 1?
1
Suppose 37 = -4*y + 2*k + 3, 0 = -4*y - k - 31. Let u = y - -9. Which is smaller: -1 or u?
-1
Suppose -4*q + 0*p - p = 9, -2*q - 5*p = 9. Let g(h) = 2*h**2 + 3*h + 3. Let r be g(q). Which is smaller: -2/5 or r?
-2/5
Let k = 1445/372 + -47/12. Let z be 6/2*(-29)/186. Let i = k + z. Is i != 2/7?
True
Let f be ((-3)/2 + 2)*1. Is f less than 0.1?
False
Let a(u) = u - u - 9 + u. Let n be a(9). Let j be 2 + 0 + n + 1. Is 3 > j?
False
Suppose -4*v + 14 = -2*l, l + 2*l + 2*v = 11. Is 2/5 <= l?
True
Let q be (-14)/6335*(-5)/(-4). Let g = 1269/724 + q. Is g greater than 1?
True
Let a(b) = b**2 + 2. Let w be a(0). Let x be 2/(w - 9/6). Is 4 bigger than x?
False
Let u be (-21)/(-7)*1*-1. Let g be (2/6)/(0 + 1). Which is smaller: g or u?
u
Let y be 33*(-1 + 8/6). Let u(l) = 5*l - 1. Let a(o) = -14*o + 3. Let j(c) = y*u(c) + 4*a(c). Let p be j(0). Which is smaller: 2/11 or p?
2/11
Let p(h) = -h. Let u be p(1). Which is greater: u or -1/10?
-1/10
Let n = -16 + 10. Is -1 greater than n?
True
Suppose -2*q - 2*d + 18 = 2*q, 0 = 3*d + 3. Let x = -23 + 40. Suppose q*g - x = -2. Is 3 greater than g?
False
Let b = 2 - 1. Suppose 3*v = 8 + b. Which is smaller: 4 or v?
v
Let j = -14 + 14. Is j at most as big as 2/23?
True
Let s = 21 + -21. Is -1 bigger than s?
False
Let k be 4/8 - (-3)/(-2). Let h be (1 - k) + (1 - 3). Which is smaller: h or 3/5?
h
Let y = 78 - 77. Let h = 0 + 0. Which is smaller: y or h?
h
Let u(o) = o + 8. Let n be u(8). Let c = -11 + n. Suppose z = c*z. Which is bigger: z or -1/5?
z
Let y = 11 - -8. Let d = y - 17. Which is smaller: -1 or d?
-1
Suppose -1 = -y + 3. Let a be 3/12 + (-2)/y. Is a > 0.1?
False
Let m be (1 - 75)/((-9)/(45/10)). Are 36 and m nonequal?
True
Suppose -9 = -4*h + 7. Suppose -v - 9 = -h*y, 4*v + v = -y - 24. Is y smaller than 1?
False
Let a(p) = p - 1. Let y be a(-5). Let q = y + 9. Is q != 4?
True
Let f = -0.1 + 0.02. Let m = f + -0.02. Which is bigger: m or 3?
3
Let h = -73 + 73. Is h at most 2.4?
True
Let x = 15 - 11. Suppose 0*n - x*n = -4. Let t be (6/15)/(10/25). Is n greater than t