 v?
v
Let x = 54 - 53.99. Is -9 <= x?
True
Let q = -28 - -24. Which is bigger: -7/2 or q?
-7/2
Suppose 9 - 1 = 2*o. Let m be (-7)/(-4) - 4/(-16). Suppose m*c + 4*j + o = 0, 6*j - j + 5 = 3*c. Is 0 at least as big as c?
True
Let r(a) = 2*a - 6. Let t be r(4). Let n(z) = z**2 + 2*z - 7. Let i be n(-5). Suppose -4*q + 20 = i. Are q and t unequal?
True
Let j = 8.5 - 9.2. Which is bigger: 1 or j?
1
Let h be 8/(-60) + (-364)/(-480). Is 2 not equal to h?
True
Suppose 5*z - 7*h + 84 = -4*h, -z - 10 = -4*h. Which is bigger: z or -19?
z
Let v be (-10)/4*48/(-20). Let h be v/(-4) - (-75)/51. Is h greater than 1?
False
Let f = 38 + -35. Is f smaller than 3/2?
False
Let a be 7/14 - 2/4. Which is smaller: a or -2?
-2
Suppose 1 = -2*g - 13. Is g smaller than -1?
True
Suppose k - 3*k = -22. Which is bigger: k or 12?
12
Let q = 24 + -22. Is q < -2/3?
False
Let u(b) = -b**2 + 7*b. Let y be u(8). Let a be ((-4)/(-6))/(y/(-12)). Is a greater than -6/19?
True
Let j = 61 + -33. Which is smaller: 29 or j?
j
Suppose -2*z + 3*z = -2*b + 52, -5*b + 5*z = -145. Let p be (-12)/b*6/(-4). Let g be 18 + -21 - (0 - (1 - -3)). Is p at most as big as g?
True
Let t = 745602 + -6700591/9. Let z = t + -1093. Let n = z + 7/9. Is n greater than -1?
True
Let r = -4 - 1. Let z = r + 0. Which is smaller: z or -4?
z
Let t(q) = -2*q + 12. Let l be t(10). Suppose -2*v = -0*v + 4. Let j be 9/v*l/12. Which is smaller: 2 or j?
2
Let t = 1.02 - 0.9. Let k = t - 0.22. Which is greater: k or -6?
k
Let z(v) = v - 10. Let s be (-10)/(3/(6/(-4))). Let t be z(s). Which is greater: t or 0?
0
Let w(s) = -73*s**3 + 2*s**2 + s. Let z be w(-1). Is z smaller than 74?
False
Let n be (1/(-6))/(1/(-2)). Let q be (-3)/(-3) + 2 + -4. Let s be 4/4*(q + 0). Are n and s equal?
False
Let h = 0.15 - 8.15. Let v = 8 + h. Let n be (-8)/6*(-3)/2. Which is greater: v or n?
n
Let u be ((-6)/10 - 0)/((-2)/60). Are u and 16 equal?
False
Let f be (-6)/(-2)*(-2)/(-12). Let p = -1525 - -1533.93. Let o = 0.07 + p. Is f at most o?
True
Suppose 9 = -l - 2*l. Let q be (2/l)/((-4)/24). Suppose 0 = 4*d + q*n, 4*d + 4*n = -n + 2. Which is bigger: d or 1?
1
Let i = -4 - -2. Let r = 4 - i. Suppose 5*p = 2*p + r. Is 0 > p?
False
Let y = -4 + 5. Let t = -0.1 - -0.2. Let h = t - -0.1. Which is bigger: h or y?
y
Suppose -3*d + 23 = -5*q, -5*d + q + 4*q = -25. Suppose -5*t - o = -8, 0 = -7*o + 10*o - 9. Are d and t equal?
True
Let k(z) = 5*z**3 + z - 1. Suppose -5*i + i + 4 = 0, 5*u - 5*i = 0. Let d be k(u). Is d > 5?
False
Let k = 13 + -19. Which is greater: k or -5?
-5
Let y be 120/(-273) - (-4)/14. Suppose 5*h - 5*n - 25 = 0, -n = 2*n + 9. Let m = h - 2. Which is smaller: m or y?
y
Let r = 44272/95 - 466. Is r equal to 0?
False
Suppose 4*q - 2*l + 5 = -q, -3*q - l - 3 = 0. Suppose 30 = 5*b + 5*u, 0*u - u + 15 = 4*b. Which is smaller: b or q?
q
Let q = -13 + 12. Is -3/4 smaller than q?
False
Let r = -0.0049 + 2.0149. Let h = 1 - 0.99. Let i = h - r. Is i <= 1/3?
True
Let o be (-24)/(-26) - (-1)/(-1). Let d = 17.4 - 17.4. Which is greater: d or o?
d
Let p = -65 - -193/3. Let s = 14 - 12. Let k be s/(-4) + (0 - 0). Which is smaller: p or k?
p
Suppose 0 = -5*p - o + 7 + 19, -4 = -4*o. Let n be p/(-3)*8/(-5). Which is bigger: n or 4?
4
Suppose -3*z - m = -2, -5*m + 2*m = -6. Which is greater: z or 5/7?
5/7
Let u be (-46)/40 + (-4)/(-10). Let l = 18 + -16. Suppose 2*n = -4*i - 16, 3*i + 18 = -n - l*n. Which is bigger: i or u?
u
Let d(k) = k**3 - k**2 + 2*k - 1. Let t be d(1). Suppose -t + 2 = p. Let a = 77 - 463/6. Does a = p?
False
Let n = 4.9 + 0.1. Let c = n - 5.1. Which is bigger: c or 0?
0
Let f(w) = -w + 1. Let a be f(5). Let z = 5/4 - 5. Which is smaller: a or z?
a
Let m(u) = 2*u**2 + 15*u - 12. Let p be m(-8). Which is greater: -0.2 or p?
-0.2
Suppose 5*t = u + 77, 2*u + 6 = -u. Let b be (20/t)/((-2)/6). Which is smaller: b or -3?
b
Let w = -5 + 4.95. Let c = -0.55 - w. Let h = 0.5 - c. Is -5 at most h?
True
Let n = -70 - 9. Which is greater: 1 or n?
1
Let w be 4/(-6)*(-2)/30. Do w and 1 have the same value?
False
Suppose -4*k = 34 - 154. Let m be (k/18)/(17/(-9)). Let r = m + 137/136. Which is smaller: 0 or r?
0
Suppose -2*o + 12 = o. Let a be (-18)/2*o/(-6). Let n be 1*(-8)/a + 1. Which is smaller: n or 1?
n
Let q be 10/(-2)*-1 + 3. Let t be (-108)/(-20)*(-10)/q. Let i = t + 7. Is i greater than or equal to 0?
True
Let f = 5.9 - 6. Let u be 0 - (-3 - 6/(-3)). Let i be (-8)/(-12) - (u + 1). Which is smaller: f or i?
i
Let v = -5 + 8. Suppose 4 = i + v*m, 0 = 2*i - 7*i + m - 12. Let l = -3 + 2. Which is greater: l or i?
l
Let m = 0.12 - 8.12. Let s = m - -7. Which is smaller: s or 3/8?
s
Let z = 229 + -114. Which is greater: 114 or z?
z
Let o = 0 + 0.2. Let k = -18 - -17.7. Let i = 0.3 + k. Is o greater than i?
True
Suppose 5 = -c + 9. Suppose 9*t - 4*t = c*i + 24, -2 = 2*i. Do t and 4 have different values?
False
Let w(p) = -67*p**3 + p + 2. Let j be w(-1). Suppose 5*g = g + j. Which is smaller: 16 or g?
16
Let s be (4 - -1)*(-1)/(-5). Is s at least 1/6?
True
Let w = -4 - -6. Suppose w = -0*v + 2*v. Let c(q) = 4*q - 24. Let r be c(6). Is r != v?
True
Let z be (-6)/4 - (-2)/4. Is 3/11 less than z?
False
Let p(w) = -6*w**3 + w**2 + 2*w + 1. Let l be p(-1). Let n(o) = -o**2 + 12*o + 5. Let g be n(10). Suppose 5*j + 0 = g. Which is bigger: l or j?
l
Suppose 2*l - 16 = -r, -3*r = 2 - 8. Suppose b + l + 0 = -3*z, 5*b + 5*z + 25 = 0. Let p = b - -6. Which is bigger: p or 1?
p
Suppose -4*w = -2*b + 14, -b + 4*b + 3*w - 21 = 0. Is b bigger than 11/2?
True
Let q = -12 + -6. Is q <= -20?
False
Let j = -2.51 + 0.11. Let f = 15.4 + j. Is f less than or equal to 2/3?
False
Let m(a) = -a - 1. Let i(r) = -r**2 + 1. Let q(o) = i(o) + 6*m(o). Let f be q(-5). Which is smaller: f or -1/2?
-1/2
Suppose -4*w = l + 13, -3*l + 13 = -4*w + 100. Do -24 and l have the same value?
False
Let o = -20 - -23. Which is greater: o or 48/11?
48/11
Let d = 3 - 1. Let j be d/6 + (-12)/9. Suppose 2*a - 4 = 4*v - 2*v, v = 5*a - 6. Is j less than v?
False
Let p = 26 + -26. Is p less than -1?
False
Suppose 2*n - 3 = 5*n. Suppose -140 = -x - 5*o, 4*o - 112 = -2*x + 198. Let h be (-4)/10 - 44/x. Which is smaller: n or h?
n
Let i be 4/1*4/(-72). Let l(y) = y**3 + 10*y**2 + 6*y - 4. Let c(d) = 3*d**3 + 29*d**2 + 18*d - 11. Let r(u) = -3*c(u) + 8*l(u). Let k be r(-6). Is k > i?
True
Let u = -10 - -4. Which is greater: 2/7 or u?
2/7
Suppose -4 = 2*h, 5*d - 4*h - 8 = d. Let p be 16/27 - (-6)/(-9). Which is bigger: p or d?
d
Let p = 43 - 42. Let h = 86/3 - 29. Are p and h non-equal?
True
Let v = -4.1 - -6. Let g = v + -2. Is g smaller than -0.3?
False
Suppose -4*x + 15 = j, 5*x + 3*j = -j + 27. Let c be (x + 1 + -4)/(-2). Do 6 and c have the same value?
False
Suppose 3*d + 432 = -3*b + 5*b, d - 4*b = -144. Let q = -14918 - -103420/7. Let m = d - q. Which is greater: m or -1?
m
Let v(u) = u**2 - 15*u - 29. Let i be v(17). Are i and 3 equal?
False
Let o = 33 + -33.2. Which is greater: 2/9 or o?
2/9
Let j be 2/7 - 50/(-70). Which is smaller: j or 0?
0
Let g = -20 + 13. Let u = g - -12. Let x = u - 7. Which is smaller: 0 or x?
x
Suppose -y - 3*p - 10 = -5, 0 = -3*p - 6. Is y at most as big as 2?
True
Suppose 5*r - 4 = 6. Suppose 0 = -r*h + j - 14, 4*j - 10 = -j. Let w be 3/h - (1 - 1). Which is smaller: w or -0.1?
w
Let h(r) = 8 + r + 4*r + 2*r - 2 + r**2. Let o be h(-6). Is o > 0.2?
False
Suppose o = -0*c + 4*c - 15, -o = -2*c + 7. Let d(x) = x + 2. Let a be d(-3). Is c smaller than a?
False
Let s = -3.4 + 3. Let u = -0.1 - s. Which is smaller: 0 or u?
0
Let a = 0.95 - -0.05. Which is bigger: a or -14?
a
Suppose -5*v + 62 - 12 = 0. Let a be ((-21)/(-15))/(2/v). Which is smaller: a or 0?
0
Let l be (28/5)/(10/25). Let u be (l/8)/((-3)/12). Let d be 6/(-2)*7/3. Is d greater than u?
False
Let j(c) = c**3 - 5*c**2 + 4*c. Let g be j(4). Suppose -3*d + g*d = 0. Suppose -5*f - 13 - 2 = d. Are -2 and f non-equal?
True
Let j(g) = g**3 + 4*g**2 + 2*g - 3. Let s be j(-3). Is -1/20 equal to s?
False
Let o be (-13)/65 + 31/55. Is 1 smaller than o?
False
Let b(q) = 2*q - 7. Let f be b(0). Which is bigger: -6 or f?
-6
Let q = 0.4 + -0.44. Is 2/7 < q?
False
Let z(k) = k + 6. Let u be z(0). Let b = 27.833 + 0.067. Let q = b + -28. Which is greater: u or q?
u
Let z = -53 - -57. Which is bigger: