?
0
Let w = -85/494 - -4/19. Which is smaller: w or 1?
w
Let s be (-1 - 1) + 2/2. Let q = -335/12 - -28. Which is bigger: s or q?
q
Let y = 21.45 + -0.45. Let r = y - 21.2. Is r > 0.3?
False
Let r be (-17)/(-99) + 1/(-9). Which is smaller: r or -1?
-1
Let j(n) = -n + 7. Let h(v) = 3*v - 21. Let f(q) = 6*h(q) + 17*j(q). Let m be f(11). Suppose m*o - 5*t = 5, 5*o + t - 2 = 3*t. Which is smaller: -1 or o?
-1
Let b = 88/63 + -10/9. Are b and 4 non-equal?
True
Let m(i) = -i + 2. Let v be m(-8). Which is smaller: v or 9?
9
Let q(u) = u**3 - 6*u**2 + u + 1. Let i be q(6). Let t = i - 17. Which is greater: t or -11?
t
Let d(a) = -4*a - 1. Let g be d(-1). Suppose -p - 4 = g*p. Which is bigger: 1 or p?
1
Suppose 5*i - 6*a - 10 = -4*a, 0 = -a - 5. Suppose i = -2*s - 2*s. Let f be 0 - (-2 - (-5)/2). Which is smaller: s or f?
f
Let j be (-411)/(-6 + 3) + -2. Let a = j - 1491/11. Which is bigger: a or 0?
0
Suppose 5*h = -20 + 55. Is 7 at least as big as h?
True
Let t be (-6)/(-36) + 10*3/(-36). Which is greater: -1/9 or t?
-1/9
Let a = -6 - -11/2. Let m = 1 + 4. Let t = -5 + m. Which is bigger: t or a?
t
Let k = 0.15 - -1.95. Let u = -0.1 + k. Which is greater: -1/6 or u?
u
Suppose -3*m + 2 = -1. Let n be -2*(2 - 1) + m. Which is greater: n or -2?
n
Let q = 142 - 146. Which is greater: q or -0.21?
-0.21
Let h(m) = m**2 - m. Let i be h(-1). Suppose -4*a - 3*g + i = -3, 3*a + 5*g = 1. Does 3 = a?
False
Let o = -51 - -65. Is 16 less than o?
False
Let g be (-33)/(-27) + (-3 - -2). Is g equal to -13?
False
Let q be (-12)/5*(5 + -30). Let w be (2 + q/(-21))/(-2). Which is greater: -1 or w?
w
Let u = 4 + -4.04. Let s = -5.06 + u. Let d = s + 5. Are 1/2 and d equal?
False
Let x = 604178 - 155878127/258. Let c = -2/43 + x. Let p be 2/2 + 2/(-2). Are c and p non-equal?
True
Let r = 298/375 + 2/375. Let j = -92/7 - -411/35. Let c = r + j. Which is bigger: c or 0?
0
Let b(g) = g - 15. Let x be b(15). Suppose 0 = h + 4*h. Suppose -c - 3*c = h. Are x and c equal?
True
Let u be (-3*(-3)/1746)/((-4)/8). Which is greater: -1 or u?
u
Let w be (-2 + 4)*1*3/2. Let p(r) = r**2 - 3*r - 1. Let d be p(4). Suppose -w*o = d + 3. Is o at least as big as -2?
True
Let o = 7805/4254 + -1/709. Let c(q) = -2*q - 9. Let v be c(-6). Which is smaller: o or v?
o
Let a = 1167/77 + -108/7. Which is smaller: a or -1?
-1
Let x = 17 + -12. Is x at most 5?
True
Let j = -0.07 - 1.93. Is 0 < j?
False
Let l(v) = -2*v - 1 + v + 5*v - 3*v. Let c be l(6). Suppose -r - 20 = -c*p, -4 = -3*r + 5*r - p. Which is bigger: 1 or r?
1
Let a = -5 - -2. Let l be 0 + 1*-4 + (-1 - -3). Which is greater: l or a?
l
Let q be 0 + 5/((-5)/(-9)). Is q less than or equal to 10?
True
Suppose -2*i - 3*v = -3 - 31, 50 = 4*i - 3*v. Suppose -i = -3*z + z. Is z at most 8?
True
Let v(t) = t. Let n(g) = g**3 + 6*g**2 + 3*g - 7. Let r be n(-5). Let k be v(r). Let x be k/6*(-2)/4. Is 1 greater than or equal to x?
True
Let i(x) = x**3 - 7*x**2 + 4. Let j be i(7). Let f be (1/(-3))/((-3)/45). Suppose f*m = 9*m - 12. Which is smaller: m or j?
m
Let y = -38 - -70. Let k be (-24)/y*2/18. Is k equal to 0?
False
Let l be 0/(-5 + 2 - -2). Which is smaller: l or -4?
-4
Let k = 23 - 45/2. Let z = -35 + 34. Which is smaller: k or z?
z
Suppose 3*j = 5*j - 6. Let s be ((-2)/j)/((-6)/(-207)). Is s at least -23?
True
Let c be 1/(-4) - (-75)/60. Let m(t) = -t**2 + 4*t - 1. Let w be m(3). Which is greater: w or c?
w
Suppose -5*f - 5 = -4*b - b, -4*b - 2*f + 34 = 0. Let w be (-54)/168 - b/(-8). Is w greater than 0?
True
Let x = -0.7 - 0.3. Let n = x - -1. Let k = -2.1 - -2. Which is greater: k or n?
n
Suppose s + 0*s = -4*b - 3, b - 4 = -5*s. Suppose -12 = 2*v - 8. Which is smaller: b or v?
v
Let o(c) = 2*c**2 + c - 1. Let w be o(-7). Let n be (3/5)/((-12)/w). Which is greater: n or -6?
n
Let a be ((-8)/6)/((-2)/(-6)). Let m = 8 + a. Which is greater: m or 1?
m
Let i(p) = -p**3 - 7*p**2 - 5*p + 8. Let a be i(-6). Suppose 1 = 3*w - 2. Is a not equal to w?
True
Let f be (1113/(-36))/7 - -2. Let c = -917/3 + 303. Let w = f - c. Are w and -0.3 equal?
False
Let k = -0.91 + -0.09. Let f = -32 - -30. Which is bigger: k or f?
k
Let n(y) = -2*y. Let j(r) = -r. Let z(m) = -8*j(m) + 5*n(m). Let l be z(-3). Which is bigger: l or 7?
7
Let u(j) = -2*j**3 - j**2 + 2*j - 1. Let l be u(-2). Let k = -10 + l. Which is smaller: k or 1?
k
Suppose 5*u + 4*h - 8 = -2, 0 = 2*u - 4*h + 20. Which is greater: u or -7/4?
-7/4
Suppose 0 = 5*i - 0 + 15. Let c be (i - -5) + -1 - -8. Suppose 4*y + k + k = -2, -5*y - c = -4*k. Is -0.1 smaller than y?
False
Suppose 3*o = -0*o - 5*v + 19, -5*o - v = -17. Suppose o*q = -7 + 4. Is q less than 1?
True
Let k(c) = c + 6. Let d be k(0). Let n be ((-3)/d)/(10/(-4)). Which is smaller: n or -1?
-1
Let i be (-244)/6*87/58. Which is greater: 1 or i?
1
Let a(h) = -2*h**2 + 15*h - 19. Let f be a(6). Which is greater: 2/29 or f?
2/29
Let r(b) = b**2 - 4*b - 7. Let d be r(5). Let i be d*(7/6)/(-7). Let v(s) = -s**3 - 3*s**2 - 1. Let n be v(-3). Is n <= i?
True
Suppose 0*f - f = 3*o + 91, 5*f + 2*o + 403 = 0. Let c = f + 239/3. Let k(s) = -s**2 + 6*s + 2. Let w be k(6). Which is smaller: w or c?
c
Let m = -19 + 19. Let h be (1 - 3) + (-9)/(-5). Is m less than or equal to h?
False
Let s = 2 + -2.3. Let c = -0.1 - s. Let g = 0.27 + -0.17. Is g greater than or equal to c?
False
Suppose -3*j = 2*b - 19, 4*j - 12 = -2*b + 6*b. Let q(z) = -z + 11. Let x be q(6). Suppose x*t - 3*t + 2 = -b*r, 5*r + 5 = 5*t. Which is greater: 2 or t?
2
Suppose 4*o = 2*g - 414, 0 = o - 2*o + 3*g - 91. Let j be (-4)/(6/314*-2). Let t = j + o. Do t and -2 have different values?
True
Let o = -27 + 35. Which is bigger: o or -1?
o
Let b(g) = g + 9. Let y be b(-7). Let h be 0 + 5/3 - 0. Which is bigger: h or y?
y
Let g = 907/5 + -182. Which is greater: g or 3?
3
Let y be 4/((-12)/(-81))*4. Let i be (-6)/y - 4/(-18). Is i <= -1?
False
Suppose 0 = -5*g + 2*g + 3, 2*g + 40 = 3*f. Are f and 14 unequal?
False
Let w = 1 + -1. Let v be ((-42)/(-245))/(-2 + 129/60). Which is smaller: v or w?
w
Let a = -379/52 - -72/13. Which is greater: 2/3 or a?
2/3
Suppose 2*u - 3*h + 15 = 4*u, 2*h = -3*u + 20. Let y(t) = -2*t + 12. Let d be y(u). Which is smaller: d or -2/9?
-2/9
Let o be 2/4*(-14)/(-119). Is 0 bigger than o?
False
Suppose -8 = -3*k + 1. Suppose z + 5 = k*x, -1 + 3 = -3*z - 4*x. Let g = -4 - z. Which is smaller: g or 0.1?
g
Let f = 9 + -11. Let w be (f - (0 + 1)) + 6. Is 3 > w?
False
Let z be (-6)/(-2) - (-7)/(7/(-54)). Is z at most -50?
True
Let x = -1994/385 + 36/7. Which is greater: x or -1?
x
Suppose -2*r - 45 = -5*r. Let s be (-1)/(-4) + (-1)/4. Suppose -3*t + s*t = r. Which is bigger: -4 or t?
-4
Suppose -3*t = -0*i + 2*i + 6, -2*i + 18 = -3*t. Is i smaller than 4?
True
Let m = 32 + -65/2. Is 0 greater than or equal to m?
True
Let v = -119193 - -712813/6. Let t = v - -392. Let f = t - 2/3. Is 1 < f?
False
Let f(m) = 3*m + 35. Let r be f(-7). Do 13 and r have different values?
True
Let m be 7/(14/64) - 3. Which is bigger: 3 or m?
m
Let o = 0.015 - -0.035. Which is greater: 0 or o?
o
Let q be (2/(-6))/((-22)/12). Let g(r) = r**2 - 4*r - 13. Let a(m) = -m**2 - 7*m - 6. Let p be a(-4). Let s be g(p). Which is smaller: s or q?
s
Suppose -13*m = -9*m - 8. Is 7/6 less than or equal to m?
True
Let k be ((-36)/(-16))/((-5)/(-212)). Let f = k - 96. Let u = -140 + 140. Are u and f non-equal?
True
Let n = 1.62 + 0.18. Let s = n - 3.8. Which is greater: 2 or s?
2
Let g be 254/60 - 14/35. Let p = 73/18 - g. Let b = -1 + 2. Which is bigger: b or p?
b
Suppose 2*o = -0*o - 12. Let x = -4 - o. Suppose x*m - 15 = 5*m. Which is greater: -1 or m?
-1
Let y = -1.2 - -1. Let i = 0.3 + y. Let a = -1/52 + 7/26. Is i <= a?
True
Let w be 2/3 - (-700)/(-42). Does w = -16?
True
Suppose -3*m - 5 = -4*m. Suppose 2*z + 5*w - 11 = 9, -3*z + 20 = m*w. Which is smaller: -3/10 or z?
-3/10
Let y = -11 + 10. Which is greater: -6 or y?
y
Let w be 6/4 - (-11)/(-2). Is w equal to -4?
True
Suppose 15*k - 8*k = -14. Which is bigger: 26 or k?
26
Let k = 0 + -1. Let j = 3 + -3. Let s = j - k. Is s equal to -2/11?
False
Let w = -1/5 + 13/15. Which is greater: -1 or w?
w
Let r = -1.8 - 0.2. Let d = 2 + r. Let q = -0.28 - 0.02. Which is smaller: d or q?
q
Let a = 160 + -167. Suppose 1 = -g - 6. Is g > a?
False
Let k = 10 + -