Is -3 < q?
True
Suppose 20 = 24*f - 4. Let n be (-3 + (-785)/(-261))*3. Which is bigger: f or n?
f
Let u(h) = -2*h + 6. Let f be u(9). Let j be f/(-153)*((-18)/(-4))/3. Is 0 < j?
True
Let f = -141 + 130. Is f not equal to 0.58?
True
Let s = 0.88 + -1. Let m = -1.02 + -3.86. Let v = s + m. Is v greater than or equal to 1/3?
False
Suppose 0 = 3*n - 3 - 15. Let c be 39/1 + -12 + 6 + n. Is c smaller than 38?
False
Let p be 3/(-12)*0 + 2 + 2. Let u be 3 - (p + -2)/(-4 - -5). Do 1/27 and u have the same value?
False
Let l = 1769/60 - 119/4. Let h = 582 + -582. Is l < h?
True
Let j(x) = 2*x + 65. Let w(d) = d + 33. Let n(u) = -4*j(u) + 7*w(u). Suppose 0 = -3*v + 8*v + k + 75, 2*v = -k - 27. Let i be n(v). Is i less than -13?
False
Let n = 0.03 - -0.97. Let y = 14.9 + -26.9. Is n not equal to y?
True
Suppose -q = -2*q + 1. Let v be (-19)/1 - (q + -5). Is v equal to -15?
True
Let s(x) = x**3 - 10*x**2 + 22*x - 36. Let h be s(8). Let g be 231/15 + 4/(-10). Are h and g equal?
False
Let a(m) = m**2 + 3*m + 5. Let g be a(-5). Let z = g + -12. Which is bigger: 23/6 or z?
23/6
Suppose 2*s = 4*s - 6*s. Suppose c - 3*b + 7 = 21, s = 2*c + 5*b + 27. Is c at most -1/4?
True
Let b = 0.63 - -0.37. Let o be (-30)/45 - 65/(-21). Which is smaller: o or b?
b
Let c = -594 + 32672/55. Is c != -1?
True
Let z = 560 - 559. Which is smaller: z or -23/2?
-23/2
Suppose -3 + 5 = -3*r + a, a = 2*r + 3. Let z = -12 + 20. Let p = -6 + z. Are p and r equal?
False
Let q(p) = p**2 - 8*p + 7. Let g be q(7). Suppose -101 = -2*f + 7. Let x be (24/20)/(f/40). Is x at most as big as g?
False
Let v = 204.3 + -203. Is v < 1.4?
True
Let q = 10 - 2. Let k be ((-20)/(-7))/(q/28). Which is smaller: k or 11?
k
Let w = 0 + 3. Suppose 0 = -5*i - w*t - 40, i - 8 = 2*i + 2*t. Let s be (-159)/18 - (-3)/9. Which is greater: s or i?
i
Let a(h) = h**2 - 20*h - 6. Let v be a(20). Let o be 2/(-3)*v - 22/6. Which is smaller: o or 1/6?
1/6
Let u = -1162 - -1161.9. Are u and 10/11 equal?
False
Let s be (-1*4 - (-6)/(-6))/(-1). Let q be (3 - 3)/s - 1. Is q bigger than -3/22?
False
Let u = 173/657 + -3/73. Suppose -4*r - 231 = 7*r. Let w = -20 - r. Is u bigger than w?
False
Let b(h) = -23*h**2 + 4*h + 1. Let i be b(4). Is i != -352?
True
Let v = -32 + 33. Let l(d) = -d - 1. Let j(w) = -2*w - 4. Let m(g) = -2*j(g) + 7*l(g). Let i be m(v). Is i != -2?
False
Let o = 5 - 2. Which is greater: 1.2 or o?
o
Let s = -21 + -28. Let c = -49 - s. Which is bigger: c or -1/21?
c
Let p = -488 + 498. Which is greater: -26 or p?
p
Suppose 11*n - 66 = 8*n - 3*r, 3*r + 110 = 5*n. Is 17 greater than or equal to n?
False
Let j(a) = -a - 1. Let q be j(9). Let y = q - -35. Let z be y/30*3/(-10). Which is smaller: z or 1?
z
Let m = -2518/7 - -360. Which is smaller: m or 12/11?
m
Let u(o) = -o**3 + 2*o + 1. Suppose a = -4*a + j, 4*a - 6 = 2*j. Let t be u(a). Which is greater: t or -2/55?
t
Let k(u) = -u**3 - 11*u**2 - 9*u + 16. Let r be k(-10). Let z = -2 + r. Let i(t) = -t**3 + 7*t**2 - 5*t - 4. Let g be i(6). Which is smaller: z or g?
g
Let j be ((-2)/(-3))/((-50)/15). Suppose -4*v = 5*o + 20 - 6, 0 = 4*v - 5*o - 6. Let u be v/(-33)*-3*1. Is u equal to j?
False
Let k(y) = -y**2 - 9*y + 1. Suppose -3*h + 5*x - 55 = 2*h, -4 = -x. Let r be k(h). Let p be -1 - 1*r/(-9). Is 1 greater than p?
True
Suppose -3*m + 3*k = -5*m + 14, -22 = -5*m - k. Suppose m*c - 31 = 5*c. Let j = c - -153/5. Which is smaller: j or 1?
j
Let a = -3.9093 + -0.0907. Let k be 16/(-220)*(-10)/(-4). Is a < k?
True
Let n be (-8)/2*2/(-4). Let y be (-12)/21 + (-12)/(-6). Which is greater: n or y?
n
Let a = -10 - -10. Let m = -43 + 42. Let c be (-688)/(-176) - (5 + m). Which is smaller: a or c?
c
Let z = 3.94 - 2.53. Let p = 0.41 - z. Let b be -1 - 0 - 4/(-5). Which is greater: p or b?
b
Let x be (0 - (-2)/(-6))/2. Let t = -55.8 - -56. Let f = -0.4 + t. Is f bigger than x?
False
Suppose 4*x = 4*o, 2*o + 0 = -x + 9. Let p be -2*79/(-3) + (-2)/o. Which is bigger: p or 50?
p
Let f be -3 - 2 - (-6718)/1344. Is f > 1?
False
Let q = 239 - 121. Let f be (11 + -12)*q/(-4). Is f <= 30?
True
Suppose -4*p - s = 23, -3*p + 2*s - 31 = -0. Which is smaller: p or 14?
p
Let b = -72/5 - -494/35. Which is smaller: b or 1/4?
b
Suppose 0 = -4*h - 4, 2*v - 5*v = 4*h + 1. Does v = -889?
False
Let w = -1616/7 - -5401/21. Let r = 1105 + -2211/2. Which is smaller: r or w?
r
Let k = -7.1 + 8.1. Is k greater than -1/75?
True
Let z be (-59587)/45*6/4. Let j = 1986 + z. Let a = j - -1/15. Are -1 and a unequal?
True
Let j be 371/(-56) - 3/8 - -22. Which is smaller: -18 or j?
-18
Let o(c) = -8*c - 199. Let x be o(-25). Let z = -303 - -3337/11. Which is bigger: z or x?
x
Let b be ((-2)/((-12)/(-30)) - -2) + 4. Is b smaller than -1/862?
False
Suppose 0 = y + y + 10, 4*d = 5*y + 257. Let u = 292/5 - d. Suppose a = 5*i - 25, -i + 10 = -3*a - 9. Which is smaller: u or a?
a
Suppose -6 = -0*a - a - l, 0 = 5*a + 2*l - 39. Suppose 0 = 4*m - 3 - a. Suppose 6 = 5*t - m*k - 0*k, 12 = -t + 5*k. Which is bigger: 2 or t?
t
Suppose 11*a - 72 = 7*a. Let u = 17 - a. Is -4 equal to u?
False
Let b be 1*(3*28/(-36) - -3). Which is smaller: 45 or b?
b
Suppose 457 + 228 = -5*x. Let p = -547/4 - x. Which is smaller: -2 or p?
-2
Suppose 9*c = 10*c - 1. Let f be (c - -694*2/(-1376))*4. Which is bigger: f or 0?
0
Suppose 2*w = 34 + 4. Suppose -4*d + 63 = w. Suppose 5*f = 4*s - d, f + 2 = 2*s - 5. Is f at least as big as -1?
True
Let u = -11 + 26. Suppose b + 4*b = -u. Let p be -2*(28/(-8) - b). Is 1/28 less than p?
True
Let d be 1*(-2)/(-2)*(-8)/4. Which is smaller: -12/17 or d?
d
Let m = -928.12 + 928. Does m = -8?
False
Let n(r) = -10*r - 7. Let a be n(-1). Let u = 1 + -1. Suppose -3*p - 12 = a*b - 4*p, u = 5*b + 3*p + 20. Which is bigger: -3 or b?
-3
Suppose 0 = c - 6*c + 20. Let m be 1 - (1 - (8 - c)). Suppose -m*f = -3*f. Which is bigger: -4/9 or f?
f
Let t(n) = -2*n + 4. Suppose 5*r - 4*r = 0. Suppose 4*v + 0*v - 24 = r. Let b be t(v). Are b and -6 nonequal?
True
Let a = 6 + 8. Let h = a - 12. Let o be h/7 - (-96)/(-189). Which is smaller: o or -1?
-1
Let b be 164/574 + (-101)/574. Which is bigger: b or 1?
1
Let m be (-24)/(-32) - 2/(-8). Let t be m + 1 - (-49)/(-28). Let w be (-8)/32 + (-3)/(-4). Is t <= w?
True
Suppose -3*a - 209 = 454. Is -220 at most a?
False
Let d(y) = y**2 + 18*y + 23. Let s be d(-14). Suppose g + 4*z = -16, 9 = -4*g - 3*z - 107. Is s at most as big as g?
True
Let b = -105 - -47. Which is smaller: b or -62?
-62
Let r = -8 + 7. Let w be ((-14)/(-4) + -3)*0. Which is smaller: w or r?
r
Let d be 146/30 - (-12)/90. Suppose h + d = -5. Which is bigger: h or 0.1?
0.1
Let x be (0 + -1)/(246/6). Let w(b) = -b - 5. Let i be w(-6). Are i and x equal?
False
Let a(z) = -z**3 + 4*z**2 + 2*z - 6. Let q be a(4). Suppose b - 2 + 7 = -q*u, 0 = -u - 5*b + 11. Let i be (-1 - (-4 - u)) + -2. Which is smaller: -6 or i?
-6
Let n = -6.4 + 6.8. Let w = 0.15 - -5.85. Let c = w - 5. Is n at most as big as c?
True
Let p = -59 - -94. Let r be (-28)/p - 12/(-15). Is -1 <= r?
True
Suppose l + 4 = 4*d - 10, 0 = l + 2. Suppose -4*s = 5*y - 41, s - 2*y = -d*s + 6. Is s greater than 38/9?
False
Let h = 0.34137 + -23.34137. Let o be (-2)/4 - (0 + -1). Which is greater: h or o?
o
Let j = -235 - -230. Which is bigger: -6 or j?
j
Let l = 47 + 3. Let o be (-16)/35 - 20/l. Which is smaller: o or -1?
-1
Let k = 8.13 - 0.13. Let i = 8.098 - -0.102. Let c = k - i. Is -3/5 > c?
False
Suppose 6 = g - 60. Let f = g + -65. Let y = -0.9 - -0.73. Which is smaller: y or f?
y
Let d = -8.07 - -8. Let u = -9.07 - d. Let c = u + 8.9. Which is smaller: c or -0.7?
-0.7
Let v be 13 + 16/20*5. Suppose -3*y = 5*m - v, 3*m - 5*y = -2*m - 15. Are -2/107 and m non-equal?
True
Let d = -3062/7 + 277. Let s = 161 + d. Are s and 0 nonequal?
True
Suppose 3*j + 3 = 0, -3*j - 3 - 3 = -3*o. Let u be ((-6)/(-3) + o)/1. Let n be u/2*(5 + -17). Do n and -18 have different values?
False
Let q(w) = 2*w**2 - 5*w + 3. Let v be (-15)/(-25) - 12/(-5). Let h be q(v). Let f = -8 + 12. Does h = f?
False
Suppose 3*o - 5*i + 1 + 3 = 0, 4*o - i - 6 = 0. Suppose -2*z + 24 = -4*x, 24 = o*z - x + 4*x. Which is greater: z or 11?
z
Suppose -f + 11 = -a + 2*f, 0 = 3*a - 2*f + 5. Suppose -5 = 2*b - 5*u - 14, 0 = -4*b + u + 9. Suppose 0 = h + 4 - b. Which is smaller: a or h?
h
Let h