?
True
Let n = -0.4 - -1.4. Let m = n + -1.04. Which is smaller: m or -1?
-1
Let b be 0 + (18 + 0)*(-3 - -2). Is -18 not equal to b?
False
Let r be ((-5)/(-15))/(3/12). Let k = 0.86 + 0.14. Is r at least k?
True
Let t = 11.1 + 0.9. Let b = -10 + t. Does b = 4?
False
Let a = -1 - -3. Let k = a + -1.9. Is -2 < k?
True
Let u be 81*3/4 - (-6)/24. Is 61 at most as big as u?
True
Let d = -50 - -49.9. Is d smaller than 0.32?
True
Let s = 6.3 + -6. Let o = s + -0.4. Let c = 16/21 - 2/21. Is o at most as big as c?
True
Let i = 37/28 - 11/7. Is 0.045 bigger than i?
True
Let x be -2 + 4 - (1 + -1). Let h be 3/(21/x + -3). Which is bigger: 1 or h?
1
Let f be (-1)/3*-6*1. Suppose -l + c = -0*l - f, 0 = 4*l - 5*c - 6. Suppose -3*g + 5 = 5*y, 1 = -l*g - 3*y + 4. Which is smaller: g or 2/9?
g
Let t = 40 + -44. Is -4 at least t?
True
Suppose -2*c + d - 7 = -5*c, 4*d - 14 = 2*c. Let t be 51/(-782)*2/(-3). Which is smaller: t or c?
t
Let x be (153 - 2)*1/(-2)*2. Is 0 less than or equal to x?
False
Let q = -4.7 + 0.7. Let s = 5 + q. Does -0.2 = s?
False
Let l be 56/90 - (-10)/(-45). Which is smaller: 0 or l?
0
Let c be (-1)/(1 + 16/(-14)). Let h be (-1*(-8)/2)/1. Suppose h*y + 3*q - c = 0, -3*y = y - q - 3. Is 4 < y?
False
Let x = -0.17 + 0.22. Let u = -0.1 - -1.1. Which is greater: x or u?
u
Let r = -381299/3865 - -42/773. Let o = r + 99. Is o not equal to -2?
True
Suppose -7 - 3 = -2*s. Let d be (-4)/((-140)/155) - (-3)/(-7). Is s less than or equal to d?
False
Let k(r) = 7 + 2*r - 4*r**2 + 7*r - 3*r + 3*r**2. Let w be k(7). Let z = -1/140 + 41/140. Is w at most z?
True
Let z = -2/335 + -997/1340. Let d = -0.03 + 2.03. Which is greater: d or z?
d
Let s = -64 - -66. Which is smaller: -7 or s?
-7
Suppose 3*h + h + 3*i + 112 = 0, -121 = 5*h - i. Which is greater: h or -27?
h
Let i = 4 + -2. Suppose -2*y - i + 8 = 0, -5*y + 15 = -3*l. Which is bigger: 1 or l?
1
Let z be 0/3 + 105/3. Which is bigger: z or 36?
36
Let z = -27 - -26.8. Suppose -2*i = 4 - 10. Let w = 1 - i. Which is smaller: w or z?
w
Let b = -1.55 - 0.75. Are b and 0 nonequal?
True
Let m = 3 - 2. Let y be (-4)/(-2)*30/(-12). Let p = -3 - y. Is p equal to m?
False
Let p(a) = -2*a + 25. Let x be p(13). Let z = 7 + -10. Is z bigger than x?
False
Let k = 8/13 - 82/91. Is 1 greater than or equal to k?
True
Let t = -9 + 66/7. Let p(m) = -9 + 0 + 3 - 2 + m. Let w be p(8). Are t and w unequal?
True
Let z = -52 + 39. Is z at most 0.1?
True
Let y be (-24)/(-15)*1/(-4). Let a = 1 - 1. Let c = -1 - a. Which is bigger: y or c?
y
Let l(n) = 5*n**2 - 5*n + 3. Let u(b) = -4*b**2 + 4*b - 2. Let c(v) = 3*l(v) + 4*u(v). Let r be c(-1). Which is smaller: r or 0?
r
Let n be ((-139)/5)/((-18)/(-45)). Is -69 at most as big as n?
False
Suppose y = -5*m + 29, -4*m = 2*y - 18 - 10. Let l be (y/6)/(40/12). Let d = -2 - -2. Which is greater: l or d?
l
Let q(i) = i**3 - 6*i**2 + 3*i - 7. Let a be q(6). Let c be (-95)/220 + 2/a. Which is smaller: 1 or c?
c
Let p be (-3)/(-17)*(-4)/(-6). Which is greater: p or 1?
1
Let n(f) = -f**2 + f. Let g be n(1). Suppose -4*m = -g*m - 28. Are 6 and m equal?
False
Let u = -27.2 + 24. Let j = -3 - u. Which is smaller: -2 or j?
-2
Suppose 2*d + 4*v - 23 = -7, 4*d = -v + 11. Suppose 3*j - 3 = 2*a - 7, 4*a = d*j + 16. Are 3 and j unequal?
True
Let w = 4 - -1. Let t = -4.02 + 3.02. Is t less than or equal to w?
True
Let z = 363 - 220. Let d be ((-717)/2)/(5/(-2)). Let f = z - d. Which is smaller: f or 2/3?
f
Suppose 12 = 6*o - 0. Which is smaller: 3 or o?
o
Let x(h) = -h + 5. Let f be x(4). Which is smaller: f or 10/21?
10/21
Let c(y) = -y**3 + y**2 - 1. Let s(g) = -g**3 + 6*g**2 + 4*g. Let f(v) = 2*c(v) - s(v). Let d be f(-3). Is 1/8 < d?
True
Let z be 1/25*74/(-12). Let k = z + 2/25. Let y = 0 - 1. Is y less than k?
True
Let o = -0.2 - -0.3. Let h = 0 - o. Suppose 0 = 3*v + 2 + 4. Is h smaller than v?
False
Suppose 3*t = -0*t - 4*o - 46, -5*t - 86 = 2*o. Does t = -18?
True
Let g = 2 - 0. Suppose g*h - 4 = -0. Let w be h + (1 - 0) + -1. Is w at most as big as 2?
True
Let j(z) = 2*z - 18. Let p be j(9). Is 0 at most p?
True
Let h be (-2)/(-7) - 6/(-21). Let z(c) = c**3 + 2*c**2 - 5*c - 6. Let o be z(-3). Is o not equal to h?
True
Let y(j) = -j**2 - 7*j - 1. Suppose -3*m = 3*v + 69, -3*v + 0*m + 3*m - 75 = 0. Let t = v - -17. Let r be y(t). Is -2/9 greater than or equal to r?
True
Let w = -0.9 + 1. Is w <= -22/7?
False
Let b = 55 + -54. Is b less than 1/5?
False
Let s(c) = -c - 8. Let a = 12 + -19. Let u be s(a). Let k = 2/15 - 19/30. Which is smaller: u or k?
u
Let g = -52/3 - -18. Which is bigger: g or 0.09?
g
Suppose 0 = -m + 3*m - 2*n + 8, 5*m + 5*n = 0. Let a be (-3)/m*(-6)/9. Is a <= -1/6?
True
Suppose 0 = 7*u - 2*u - 20. Suppose u*g = -0*g + 3*a - 11, 0 = -4*g - 2*a - 26. Is -4 bigger than g?
True
Let t be (-155)/25 - (-2)/10. Let l = t + 10. Let r be l/(-6) + (-32)/(-12). Is 1 less than r?
True
Let z = 5 + 0. Suppose 0 = -z*k + 10. Which is greater: k or 2/3?
k
Let x = 0.313 + 19.597. Let h = x + -20. Let s = h - 1.91. Is s at most 2?
True
Suppose 3*n + 0*n = -36. Is n at least as big as -13?
True
Let d = -2 - -1. Let t = -8.6 - -8. Let q = t - 0.4. Is d bigger than q?
False
Let d(v) = v - 2. Let l(j) be the second derivative of -j**3/3 + 5*j**2/2 - j. Let w(k) = 8*d(k) + 3*l(k). Let c be w(2). Is c <= 2?
False
Suppose 25 = 2*b - 25. Do b and 25 have the same value?
True
Let b(p) = p**3 + 4*p**2 - 4*p + 5. Let s be b(-5). Suppose 0 = -2*t - s*t + 8. Suppose -4*d + 0 = -t. Which is bigger: d or -1?
d
Let u = -10/3 + 11/3. Let l be -3 + 1 + (-3 - -4). Which is bigger: l or u?
u
Suppose 0 = -2*h + 17*h - 330. Do 24 and h have different values?
True
Let z = -83 - -49. Let h = 49 + z. Is 16 greater than or equal to h?
True
Let z = 7.9 + -8. Let r(b) = b**3 + 2*b**2 - 3*b - 1. Let g be r(-2). Suppose -g*y + 12 = 2. Does y = z?
False
Let l be 1/(2/(-24)*2). Let k be 2/10*-43 - 195/(-325). Is k >= l?
False
Suppose 7*x - 10*x = 9. Let a(v) = v - 4. Suppose -16 = -5*q - n, 2*q + 2*n + 0*n = 8. Let z be a(q). Is z at least as big as x?
True
Suppose q = 4*l + 47, -2*l + 2*q + 3*q - 1 = 0. Is l at most -5?
True
Suppose 5*f + 19 = -6. Let y(x) = 1 + x - 1 + 5*x**2 + 2 + x**3. Let b be y(f). Which is greater: -2 or b?
-2
Let h = 2.3 - -0.7. Let z = 1 - h. Let t = 1.253 - 0.253. Which is greater: t or z?
t
Suppose -3*o + 2*y = 10, -3*o + 2*y - 3*y - 4 = 0. Which is smaller: o or -24/11?
-24/11
Let h = 0 + 5. Suppose 2*j + 3*j - h*g = -20, -j - 16 = -5*g. Let x = 8 - 17/2. Which is smaller: j or x?
j
Suppose 4*x - 31 = 13. Let f = x - 8. Let a = 5 - f. Is 2 greater than a?
False
Let r be (-35)/6 - 3/(-9). Let b = -31/6 - r. Let m = 3.7 - 4. Is b less than m?
False
Let k(p) = p**3 - 5*p**2 + 2*p - 11. Let u be k(5). Which is greater: u or -2/9?
-2/9
Let b = -6 + 8. Let a = -327 - -341.9. Let c = 15 - a. Is b > c?
True
Suppose -3*y = 9*y + 84. Is -9 at least y?
False
Let i be (-10)/(-2) - (0 - -2). Let o be i/60 + 2/10. Which is greater: o or -1?
o
Let m be (-1224)/15 + 0/2. Let v = m - -82. Which is greater: v or -1?
v
Suppose 2*f = -3*d - 7 - 17, 2*d + 16 = -3*f. Let z = -7 - d. Let o be z - (3*-3)/3. Which is smaller: o or 3?
3
Let g = 0.22 - 0.32. Which is smaller: g or -0.4?
-0.4
Let m = 1.8 + -2.8. Which is bigger: -4 or m?
m
Let d = 0.3 + -2.3. Is d at least as big as 3/2?
False
Suppose 3*s - 20 = 4*p, 2 = 5*p - 18. Is s smaller than 57/5?
False
Suppose h + 2 = 2*z - h, 0 = -5*h - 5. Let x be 1 + z/1 + -3. Let n(y) = y + 3. Let q be n(-5). Is q at least x?
True
Let y = -12397/2180 + 4/109. Let s = 32/5 + y. Is 0 < s?
True
Let c = 1 - 0.7. Let m = 0.4 - c. Let n = -0.15 - 0.05. Is n at most m?
True
Let g(l) = 2*l - 29. Let o be g(14). Let s be (-2)/5 + (-108)/80. Is o less than or equal to s?
False
Let p be 0 - (-3 + (-39)/3). Is 16 greater than p?
False
Suppose -4 = 6*m - 4*m. Suppose 7*v - 3*v = 5*g + 12, -12 = -4*v. Which is bigger: g or m?
g
Let u(i) = -3*i**2 - 4*i + 5. Let j = 4 - 8. Let k(r) = r**2 + r - 1. Let m(c) = j*k(c) - u(c). Let g be m(0). Are g and -1/3 equal?
False
Suppose 51 = 3*l - 0*c - 5*c, -5*l = -3*c - 85. Which is greater: l or 2?
l
Let g(u) = -u**2 - 3*u - 3. Let i be g(-3). Is i > -3?
False
Let p = -35/4 + 9. Which is bigger: p or 7/3?
7/3
Let m = -0.11 + -0.89. Let a = -1 - 