
Suppose -30 = -o - 31. Are o and -16/7 equal?
False
Let a be (2/6)/((-4)/12). Let p = 0.93 - -3.07. Which is bigger: a or p?
p
Let h = -8 - -12. Let s be (15/(-40))/(6/h). Suppose 2 = w + 2*b - 1, 4*w - 3*b = 1. Which is smaller: s or w?
s
Suppose -l + r = 0, 6*l - 3*l = r + 4. Suppose -l*j - 3*j + 5 = 0. Which is greater: j or 3/10?
j
Let f = -0.072 + -0.068. Which is smaller: -4 or f?
-4
Suppose -4*z + 34 = 2*s - 8, 28 = z + 4*s. Suppose z + 2 = -2*p. Is -5 greater than or equal to p?
True
Let c = -14083/31 + 454. Is c greater than or equal to -1?
True
Let h = -31/40 - -1/40. Which is smaller: 0 or h?
h
Let b be 1/2 - (-6)/4. Let x = b - 7. Which is smaller: x or -4?
x
Let y(j) = -j**3 + 7*j**2 - 7*j + 1. Let n be y(5). Is n at least as big as -2/7?
True
Let p(f) = 8*f**3 + 1. Let b be p(-1). Let q = 5 - 11. Is q at least b?
True
Let j = -101/22 + 1/11. Let c be 5*5/(50/8). Let k = j + c. Which is bigger: 0 or k?
0
Suppose 3 = 5*z - 6*s + 4*s, -2*z - 2*s + 4 = 0. Let l = -0.25 - -11.25. Let v = -11.02 + l. Which is smaller: v or z?
v
Let k be (3/6)/(4/24). Which is bigger: k or 0?
k
Suppose 3*h + h = -16. Which is bigger: h or -1?
-1
Suppose -4*g - k - 4 = 0, 2*k = 5*g - g + 4. Let a = g - 0. Let b(h) = h + 3. Let d be b(-5). Are a and d equal?
False
Let z = -0.1 - -0.14. Let p = z + 0.26. Let j = p - 0.4. Which is greater: 0.5 or j?
0.5
Let t = -14.4 - -0.4. Let q = 13 + t. Are q and -3/11 non-equal?
True
Let a be 2 + -2*(-2 - -3). Which is greater: -2/55 or a?
a
Let j = -0.8 + 1. Is 1 less than j?
False
Suppose -17 - 4 = -7*i. Let a = 1 - 1. Which is bigger: a or i?
i
Suppose 4*d = 19 + 1. Let z(m) = m**2 - 2*m. Let c(q) = q + 1. Let u(v) = 3*c(v) - z(v). Let g be u(d). Which is bigger: 2 or g?
g
Let z = -392.9 - -393. Suppose 2*w - 5*w = 5*c + 29, 0 = -w + 4*c - 4. Let m = -5 - w. Is z > m?
False
Let q = -13 - -27. Suppose 3*g - q - 1 = 0. Let b be (5 - g) + 0 + 1. Which is greater: b or 2?
2
Let l = 0.8 + -0.7. Let x = 0.1 - l. Which is greater: 1 or x?
1
Suppose d + d - 10 = 0. Let m be (-1 + 9/15)*d. Let a = 2 + m. Is 0 at least as big as a?
True
Let a(f) = -f - 7. Let v = 0 + -5. Let o be a(v). Are o and -2 unequal?
False
Let d = 0.1 + 0. Let l be ((-4)/6)/(7/3). Is l <= d?
True
Let w = 30.5 - -5.5. Let k = w + -51. Are k and -1/3 non-equal?
True
Let r = -57 - -54. Which is smaller: r or -1?
r
Suppose 3*b = 4*b - 7. Which is bigger: b or 8?
8
Let f(n) = 2*n - 11. Let l be f(6). Let o be (1/(-3))/(6/32). Let a = o - -41/18. Which is bigger: l or a?
l
Let q = 28 + -20. Is 4 at most as big as q?
True
Let c = -6 - -4. Is c less than -8?
False
Let q be (24/(-92))/(-3 + 1). Which is smaller: -1 or q?
-1
Suppose -13 = 3*b + 2. Let y be ((-3)/b)/((-36)/(-8)). Which is greater: y or 1?
1
Let r = -13 - -66/5. Let o be (-5 - 1) + -5 + 2. Let a be (o/189)/(1/3). Which is smaller: r or a?
a
Suppose 2*k + 6 = -5*n - 0, 0 = n - 2*k + 6. Let p be n - (4/2)/(-2). Suppose -5*s - 2*y = 1 + 3, 23 = -4*s + 5*y. Is p > s?
True
Suppose 3*s + 0 = 6. Suppose v - l - 8 = 2*v, -4*v + 4*l - 8 = 0. Let n(x) = -x**3 - 6*x**2 - 5*x + 2. Let i be n(v). Is i at least s?
True
Suppose -1 = 3*f + 2. Is f greater than -2/47?
False
Let t be 0 - (-1*4 - -2). Let z = -55.9 + 56. Is t <= z?
False
Let a = 97.1 - 93. Is 0 bigger than a?
False
Let c be (-10)/15*(-9)/(-12)*-2. Is 1/3 smaller than c?
True
Let c = 17 - 17.2. Which is greater: -0.3 or c?
c
Suppose -w - x = 3*w + 4, x = 4*w + 12. Let r be (w + 3)*3 - -1. Is 2 < r?
True
Suppose f = -5*l + 4, -2*l - 4*f - 4 = -2. Are l and 2/15 equal?
False
Let a = -1323 - -168023/127. Is 0 smaller than a?
True
Let t = 14 - 6. Suppose t = -i + 5*i. Suppose 10 = -i*f, d + f = -3*f - 22. Which is smaller: d or -3?
-3
Let c be 6 + -2 + -2 + 3. Suppose -r + 5*q + 6 = 0, 4 - 11 = -2*r + c*q. Which is smaller: -0.1 or r?
-0.1
Suppose -32 = 2*t - 0*j - 3*j, 5*t - 2*j = -69. Let f = t - -13. Let i = -1.5 + 2. Which is smaller: i or f?
f
Let q be (2/(-16))/((-1)/2). Let a = 2.12 - -0.58. Let z = -3 + a. Which is greater: z or q?
q
Let d(v) = v**2 - v**3 + 2*v**3 + v - 6*v**2 + 6. Let j be d(5). Let a = -8 + j. Is a equal to 2?
False
Let d(z) be the second derivative of z**3/3 - 6*z**2 - 2*z. Let a be d(8). Suppose -l + 0*l = a. Which is smaller: -3 or l?
l
Let c = -207/112 - -9/16. Which is smaller: -1 or c?
c
Let c be 3/(59*(-15)/(-10)). Is c != 1?
True
Let q = -52/9 - -6. Which is greater: q or 1?
1
Let d = 0.94 - 0.9. Let m = 0.01 - d. Does -2/7 = m?
False
Let m(c) = c**3 - 6*c**2 + c + 5. Let g be m(6). Let v(q) = -q**2 + 10*q + 7. Let r be v(g). Are r and -4 unequal?
False
Let k(m) = -m - 14. Let v be k(-13). Is v less than -2?
False
Let y be (-35 - -6) + 1*3. Which is bigger: -27 or y?
y
Suppose 0*y + y = -14. Let j be (-2)/(-5)*10/y. Which is bigger: j or -1?
j
Suppose 14*y + 18 = 12*y. Is -12 at most y?
True
Let x be (4 - (-70)/(-25))*10/3. Is x > 4?
False
Let v = -16 - -15.7. Is -1/3 smaller than v?
True
Let t = -14 + 21. Are 0 and t non-equal?
True
Let b = 3.935 - -0.065. Do b and -1 have the same value?
False
Suppose -41 = -2*t + t. Let k = -121/3 + t. Is -0.1 less than k?
True
Let s = -10 - -10. Suppose 0 = -s*b - b + 1. Is 2/23 < b?
True
Let k be ((-62)/(-2))/1*(10 - 9). Which is greater: 29 or k?
k
Let y = 6 - 24. Is y != -18?
False
Let k be (4/428)/(3/9). Do k and 0 have the same value?
False
Suppose 10*p - 20 = 5*p. Is p less than or equal to 5/2?
False
Let t = 0.7 + -0.4. Which is smaller: t or 0.5?
t
Let u be 10*((-12)/5 + 2). Let h(l) = l**2 + 5*l + 3. Let m be h(u). Is m less than 0?
True
Let m be ((-1)/(-3))/(6 - 85/15). Which is smaller: 24/11 or m?
m
Let u = -737/28 + 105/4. Which is smaller: -1 or u?
-1
Let d = 2/169 + 328/845. Is d at most 0.1?
False
Suppose p = -78 + 24. Is -54 at most p?
True
Let k = -683 + 694. Let n = -7 + 19. Is k >= n?
False
Suppose 2*z = q - 7, 5*q - 25 = -0*q + 5*z. Suppose -q*v + 16 = -v. Let f be 3 + 0 - v/4. Are 0 and f equal?
False
Suppose -7*g = -2*g - 20. Which is smaller: g or 0?
0
Let x be (-3 + 4)*(1 - 0). Let v be 0 - ((-2 - 0) + x). Let s be 1/((-1)/((-2)/5)). Is v < s?
False
Let b be 6/10*(-4)/18*-3. Let g = 1 + -2. Is g bigger than b?
False
Let p(b) = -3*b**3 + 2*b**2 - 2*b + 3. Let q be p(3). Let y = 46 + q. Is -21 >= y?
False
Let a = 18925/44 - 1695/4. Which is smaller: a or 5?
5
Let g(k) = -k**3 + 10*k**2 - 10*k + 10. Let w be g(9). Suppose -t + 1 + 2 = 0. Is w greater than or equal to t?
False
Let j = 22.94 - 23. Which is bigger: 1 or j?
1
Let z be 1/22*(-3 + -5). Let l be (-125)/132 - (-1)/3. Let f = z - l. Is f equal to 1?
False
Suppose 1 = y - 9. Suppose 15 = 5*m + 3*s - 0*s, 4*m - 2*s = -y. Suppose m = 5*z - 3*h + 13, 0*h - 4*h = 2*z. Is -2 > z?
False
Suppose 4*r = -0*m + 4*m - 12, 2*r - 4*m + 14 = 0. Let t be r/(-4) - 3/4. Suppose -6*j + 4 = -8*j. Is j <= t?
True
Suppose 0 = -a - 0*a. Suppose a*h - 2*h - 2 = 0. Suppose -1 = 4*d + 3. Is h >= d?
True
Let k = 3.9 - 0.9. Let g = -0.01 - 2.99. Let j = g + k. Is j >= 0?
True
Let h = 19 + -33. Which is smaller: -13 or h?
h
Let m(a) = a**2 - 23*a - 28. Let n be m(17). Is n bigger than -129?
False
Let d = -28 + 24. Which is bigger: 0 or d?
0
Suppose 59*r + 2 = 57*r. Which is bigger: r or 4/45?
4/45
Let u = -2 - 1. Let x be (5/(-3))/((-1)/u). Is -0.3 < x?
False
Let f = -17.1 + 17. Let x be (-4)/(-6) + (0 - 0). Which is greater: f or x?
x
Let u = 4 + -2. Let a be (2/4)/(2/(-4)). Which is greater: a or u?
u
Suppose -3*r + r = -8. Let t be 2*(4/(-3))/r. Which is smaller: 0 or t?
t
Suppose -208 = 3*i - 0*m - m, 0 = -5*i + m - 348. Let k be 22/i + 14/(-49). Is -2 >= k?
False
Let m = 0.17 + -0.07. Let c = 12 + -22. Does c = m?
False
Let g = -25 + 25. Suppose -3*h + 4*h - 1 = g. Which is greater: h or 2?
2
Let m be 3*(-6)/243*-3. Let t(u) = -u**2 - 4*u + 5. Let r be t(-5). Let c be r - 0/2 - -1. Are c and m unequal?
True
Let r(m) = m**3 - 5*m**2 - 2*m + 8. Let d be r(5). Is -3 less than d?
True
Let o = 5150 - 34310/7. Let s = 248 - o. Is 0 less than s?
False
Let z(c) = c**2 - 6. Let q be z(3). Suppose -4*g - 20 = 0, -3*y - 8*g + 3*g - 16 = 0. Suppose v - 2*m = -6, 9 = -y*v + 4*m - 1. Is q equal to v?
False
Suppose k = -k. Suppose k = 9*o - 4*o - 35. Are o and 4 unequal?
True
Suppose 2*m = 24 + 10. Is 16 at least as big as m?
False
Le