value?
False
Let t be (-14)/(-765)*(-2570)/8. Let r = t - -50/9. Let m = r - 3/17. Is m > -1?
True
Let t = 0.02 - -8.98. Let j = t - 3. Let z = 4 - j. Is z less than -0.1?
True
Let v be -6*(0 + 1)*2. Let w be (1 + 1)*v/(-22). Which is smaller: 0 or w?
0
Suppose 0 = 3*j - j + n - 1, 3*j = n - 6. Let f = 4 + -2. Let v be ((-4)/(-2))/((-4)/f). Is v > j?
False
Suppose 4*c + 13 = 41. Let u be 3/(c/(-3) + 2). Is u at most as big as -0.1?
True
Let k = -66 + 64.9. Is 1/5 at least k?
True
Let b be ((-2)/(-375))/(100/(-6)). Let x = 18569/565625 - b. Let p = x - 452/2715. Is 1 greater than or equal to p?
True
Let c(b) = -b**3 - 4*b**2 - 4*b - 4. Let u be c(-4). Suppose -2*i - 63 = -87. Is u at most i?
True
Suppose 2*h - 5*h + 2 = 4*s, 0 = h + s + 1. Let y = -2 - h. Is y smaller than 4?
False
Suppose 0 = -5*r + 3 + 2. Let j be (-12)/(-3) - (1 - 2). Let g be (-2)/j + 12/5. Which is bigger: g or r?
g
Suppose -3*f = 5*l - 7*f - 34, -3*f = l - 3. Let z be 114/21*28/l. Let m = z - 26. Which is smaller: m or -2?
-2
Let w = 3 + 0. Suppose 0 = w*l - 7*l - 2*t, -5*l + 4*t + 13 = 0. Which is smaller: -2/19 or l?
-2/19
Let x be 3/2 - (-22)/(-4). Is x at most as big as -7?
False
Let y = -28 + 27. Is y equal to 4?
False
Let j be (-1 + 6/9)/((-5)/(-45)). Is j not equal to 8?
True
Let p = -0.09 - 1.01. Let d = -1.2 - p. Which is smaller: 2/9 or d?
d
Let y be ((-24)/16)/((-1)/(-2)). Let o be ((-24)/(-9))/(2/y). Is o less than 0?
True
Let s be ((-1)/(-3))/(5/(-75)). Let o = -6 - s. Are o and 0 non-equal?
True
Let l be 0*1/(-4)*-2. Let i be ((1 - l) + -3)/2. Do i and -2/9 have different values?
True
Let f = -0.2 - -0.3. Let k = f - 0.1. Let r = k - -0.1. Are 0 and r equal?
False
Let t = -39 - -37.95. Let o = 0.2 + -0.15. Let y = o + t. Which is smaller: -0.07 or y?
y
Let x = 0 + 0. Do -2 and x have the same value?
False
Let l = -1.2 - -0.4. Let v = l + 3.8. Let i = -0.99 - 0.01. Which is bigger: i or v?
v
Let w = -6 - -10. Let k = 1 - w. Is -0.1 less than or equal to k?
False
Let y(l) = 2*l**3 + 15*l**2 - 10*l - 21. Let t be y(-8). Is t bigger than -64/11?
True
Let a = -0.239 - 0.061. Which is bigger: -1/4 or a?
-1/4
Suppose 0 = -4*k - 5*z + 20, -4*k + z + 15 = -k. Suppose 7*o - 3*o + 8 = 0. Let u = k + o. Which is smaller: 2 or u?
2
Suppose 0 = -2*f - 5*j + 13, 0 = -3*f + 4*j - 6*j + 14. Is 6 >= f?
True
Let k be (-33)/21 + 0 + (-3 - -5). Is k greater than or equal to 0?
True
Let t = 30 - 30. Which is bigger: -1 or t?
t
Let i(u) = 8*u**2 - u. Let x be i(1). Which is bigger: 8 or x?
8
Let q be 4/6 + (-20)/(-6). Let m = -3 + q. Is 1 greater than or equal to m?
True
Suppose -6*i + 2*i = 4*j - 96, -2*j = 3*i - 69. Let y = i + -21. Which is greater: y or 2/45?
2/45
Suppose -5*o - 3 + 13 = 0. Suppose -o*h + h - 4 = i, h = 5*i + 14. Let a = 1 - 4. Is i greater than a?
False
Let t be 15/(-35) - (-8)/(-14). Is t >= -1?
True
Suppose 0 = -8*f + 5*f + 4*r - 8, -4*r + 8 = -f. Suppose -3*l + f*l = 0. Let t be (10/(-4) - -2)*1. Which is smaller: t or l?
t
Suppose -4*j + 51 = -u + 2*u, 0 = 4*j - 4*u - 36. Let p = 10 + 1. Is j at most p?
False
Suppose v + 3*m + 8 = -2*m, 2*m = 3*v + 41. Is v smaller than -12?
True
Suppose 3*b + 3*w + 21 = -6, -3*w - 35 = 5*b. Do -8/3 and b have the same value?
False
Let f = -191/552 + 7/23. Which is bigger: 0 or f?
0
Suppose 0 = 2*x + 2*z + 1 + 1, 3*z = -9. Which is bigger: x or 4/7?
x
Let b = -1/563 + 2279/15201. Let j = -117161/54 + 2169. Let x = b + j. Is 3 smaller than x?
False
Let o = 14 - 15. Let x be (o + (1 - 2))/(-1). Let v be (-5)/(-3) - (-1 + 2). Which is smaller: x or v?
v
Let n = 3 + -2.6. Let p = n - 2.4. Let z = -24 - -26. Is z < p?
False
Let w = 0.15 + -0.05. Is -0.5 bigger than w?
False
Suppose -6 = -2*z + 4*z. Let s be 12/(-9) + (-1)/z. Let f = 0.1 + -0.1. Which is bigger: s or f?
f
Suppose 0 = 24*j - 22*j + 2. Suppose 0 = 4*a - 2*r, 0*a + 2*a = 4*r. Let d(c) = -c**3 - 1. Let n be d(a). Are j and n unequal?
False
Suppose -10 = -3*a - u, 5*u - 7 = -2*a + 4. Suppose a*k - 5*k = 6. Let d = 1 + k. Which is bigger: 1 or d?
1
Let b = -40.16 + 41. Let q = 0.8 - b. Which is smaller: -1 or q?
-1
Let t be (-1059)/(-6) + 1/2. Let k = t - 258. Let j = -565/7 - k. Which is bigger: j or 1?
1
Let z be (170/8)/(6/8). Let g = z + -28. Which is smaller: -1 or g?
-1
Let m be ((-12)/8)/((-3)/4). Suppose 2*a + 3 = 3*r - m, 0 = -3*r - 3*a. Is r at least as big as 1?
True
Suppose t - 17 = -3*k - 0, 4*k + 5*t = 41. Let c be (-6)/12 + 7/(-2). Let l = c + k. Is -1/3 > l?
False
Let u(r) = r - 12. Let b be u(9). Let n = 6 + b. Let x be 1/((-2)/n)*2. Which is bigger: -2 or x?
-2
Suppose -t = -4*x + 1, -3*x - 2*t = -5*x + 8. Let i = 19 + -18.8. Are i and x non-equal?
True
Let l = 7 - 8. Let c be (2/(-4))/(1/196). Let p = c + 883/9. Which is smaller: l or p?
l
Let x be (-99)/36 - (-1 - 1). Are x and -2 equal?
False
Let v = 9 - 6. Suppose 0 = v*b - x - 15, 2*b + 2*x = 2. Suppose -6*y + 2*y = -b. Do 2/3 and y have different values?
True
Let u be 0*((3 - 5) + 3). Suppose -4*w = 2*y - 12, u = y + 3*w - 6*w + 4. Suppose -y*r = -4*r + 2. Which is greater: 1/5 or r?
r
Suppose 2 - 14 = 4*c. Let f = 3 + c. Let z = 41/30 + -7/10. Which is smaller: z or f?
f
Let r = -1/17 - 15/34. Let d = r + -1/6. Are 2/13 and d unequal?
True
Let p = 12 + -4. Let w = -5 + p. Is -1 at least as big as w?
False
Let m(j) = -j**3 - j**2 + 20*j - 1. Let x be m(-5). Which is bigger: -6 or x?
x
Let q = -4 + 6. Suppose 14*j = 12*j + 6. Is j at least q?
True
Suppose 6 + 0 = 3*b. Suppose -4*g + 1 = j, -2*g - b*j + 4 = 2*j. Suppose q + 3*q - 4 = g. Is q less than or equal to -1/3?
False
Let h = 1267350401/43 - 29470408. Let c = 2857 - h. Let g = 159/215 + c. Which is smaller: 1 or g?
g
Let t be 3/(-20)*20/16. Is t not equal to -1?
True
Let w be 15/40*10/(-3). Let t = 3/2 + w. Let i = 8.3 + -8. Do i and t have different values?
True
Let z = 0.79 - 1.1. Let n = 0.01 + z. Let k = n + 0.4. Which is smaller: -0.2 or k?
-0.2
Let k = 70 - 71. Is k less than -11?
False
Suppose r - n - n = 4, -3*r + 4*n = -16. Suppose 3*v - 2*x = -5 - 1, x + 3 = 0. Let t be v/r - 1/(-2). Which is smaller: t or 2?
t
Let y(m) = 7*m**3 + m**2 - m - 1. Let h be y(-1). Let k be h/9*(-6)/(-8). Let a = 1.94 - -0.06. Is a <= k?
False
Let f be (15/(-30))/(7/(-6)). Do f and -8 have different values?
True
Let o = 0.24 + 0.76. Which is greater: o or 7?
7
Let b = 1 + -3. Let f = b + 3. Let t = 29/9 + -337/99. Which is greater: f or t?
f
Let m(a) = 2*a + 30. Let x be m(-15). Is x not equal to -1/13?
True
Let g(y) = -y**3 - 4*y**2 - 6*y - 8. Let i be g(-3). Suppose 0*t = -2*t. Suppose t*q + 6 = 3*q. Which is smaller: q or i?
i
Suppose 2*l - 10 = -0*l. Suppose x - 9 = 2*t, 4*t + l*x - 2 = 15. Let n be 3/40 - t/(-10). Is -1 less than or equal to n?
True
Let k = -107 + 106.8. Let w = 0.5 + -1. Let m = 0.3 + w. Is k less than m?
False
Suppose 0 = -0*u - 3*u - 5*t - 11, -5*t = 5*u + 5. Suppose -u*m = -0*m. Let j be ((-2)/5)/(0 + 1). Which is bigger: j or m?
m
Suppose -2*s - 3*s - 36 = -4*j, j + 5*s + 16 = 0. Suppose 4*d = 4*f + 4, -4*d = 2*f - 7*d + 5. Do j and f have different values?
True
Let h(x) = 5*x - 2. Let i be h(2). Do i and 9 have the same value?
False
Let m be (-6)/8*(3 + 1). Let b = m + 4. Let l be b - (18/4 - 2). Is -3 >= l?
False
Suppose -5*v + 3 = -7. Let q = v - 2. Let a = -8/7 - -10/7. Which is smaller: a or q?
q
Let f = -7 - 8. Let s be (-8)/f + 4/(-20). Which is smaller: 0.1 or s?
0.1
Suppose 0 = -2*m - 3*m + 15. Let j be -3*2/(-3) - -7. Let h = j - 7. Is m at most h?
False
Suppose -3*r + 41 = -g, r + 37 = 2*r - 5*g. Is r equal to 13?
False
Suppose 2*q - 7 = -h, 3*h + 0 + 12 = 5*q. Is -2/35 equal to h?
False
Suppose 2*x - 5*k + 54 = 0, -40 = 11*x - 9*x + 2*k. Which is smaller: x or -23?
-23
Let m be (9/(-3))/3 - 0. Is -1 at most as big as m?
True
Let j be 1*-10 - (-1)/1. Let u be (-1)/((-1)/(2/j)). Which is smaller: -0.1 or u?
u
Let n = -13/14 - -141/182. Is n smaller than 0.3?
True
Let b = -77 + 80. Is b smaller than 0.2?
False
Let a = 1636 + -57264/35. Are 1 and a equal?
False
Let d = -96 - -487/5. Is 0 < d?
True
Let n be (-19)/45 + (-2)/(-10). Is n less than 0.1?
True
Let x = 22.1 - 22. Which is greater: x or -12?
x
Let o be (-35)/(-10) - 2/4. Let n be (4/((-4)/o))/1. Let d be (n/(-4))/(21/16). Which is greater: d or 2?
2
Let