most as big as -1?
False
Suppose m = j - 6, 2*j - 20 = -j + 2*m. Suppose 5*u = 5*z - 0*z - 20, -u = 5*z - j. Which is smaller: -3 or z?
-3
Let a = -703 + 698. Is -3/2 > a?
True
Suppose -17*r + 8*r - 9 = 0. Is 1 > r?
True
Let v = -41 - -40. Let z = 8 - 7. Which is greater: z or v?
z
Let u = 334 - 169. Let k be (-2)/5 - 44/u. Which is greater: -8 or k?
k
Let t be (2/(-4))/((-5)/(-90)). Let o = 42 + t. Which is bigger: o or -1?
o
Let h = -5/428 + 30199/2140. Does 15 = h?
False
Suppose -2*q - 9*z - 5 = -6*z, 15 = -3*z. Is q less than 14/3?
False
Let k = -0.01 + 5.01. Let s = -6 + k. Which is smaller: 0.2 or s?
s
Let a = -18 + 26. Suppose -a = 2*r, 5*p - r - 4 = 5. Let q be p/(-2)*(-12)/(-20). Is 1 != q?
True
Suppose 2*w - 5 = 19. Let k be w - (5 + -4)/1. Let j be 8/10*(-100)/(-8). Do k and j have different values?
True
Let z = 3 - 1. Let a = -175 + 179. Suppose -z*j - b = -6*j - 13, -4 = -a*b. Do j and 0 have different values?
True
Suppose 387 = 8*u + 75. Is u less than 0?
False
Suppose 3*i - 17 = 1. Suppose i*b = 2*b - 16. Let p be b/(-3)*(1 - -2). Does 5 = p?
False
Let z be ((-66)/(-66))/(2/(-34*2)). Let w(l) = -l**2 - 11*l - 13. Let t be w(-10). Is z less than t?
True
Suppose 3*h - 2*h = -2*f - 81, -3*h = -4*f - 177. Let l = f + 43. Is l smaller than 14?
True
Suppose 0 = -3*a + 3*p + 108, p - 49 = -a - 3. Let d = -537 - -576. Which is smaller: a or d?
d
Suppose -2*q + 8 = -d, q = d + 4 - 0. Let t = -11 - -8. Let m = -2 - t. Which is smaller: m or d?
d
Let l = -10.23 - -0.23. Let n be (20/30)/(2*2/12). Suppose -2 = -n*f - 2*y, y + 9 = -5*f + 3*y. Is l at least as big as f?
False
Suppose 7*w = 29*w - 66. Which is smaller: w or 33/16?
33/16
Let f(u) = u**2 + 2*u + 3. Let r be f(-2). Let i be ((-32)/(-6))/(130/39). Which is greater: i or r?
r
Let a be -1 - 10/(-14) - 95/35. Let p be 21/a - (2 - 4). Suppose 4*f + 33 = -6*s + s, 35 = -5*s - 5*f. Do s and p have the same value?
True
Let n(g) = -g**2 + 6*g + 1. Let h be n(6). Let c = -15 + 14. Let w be (-4)/32 - c/(-4). Is h bigger than w?
True
Let r be (6/114)/(86/10). Let c = r + 2/43. Which is bigger: 1 or c?
1
Let w = 78 - 22. Let v be (-2 + 8/3)*4/w. Which is smaller: -1 or v?
-1
Let v be 3 - (-2 + 1 + -18). Let q = v + -23. Let h be (-1)/q - 184/72. Are -3 and h nonequal?
True
Let t(y) = -y**2 - 4*y - 19. Let d be t(8). Is -115 at least d?
True
Let i be (-1 - (-5 + 13))/((-1785)/(-28)). Which is bigger: i or 0?
0
Let f(x) = -4*x**3 + 5*x**2 - 5. Let n(y) = 3*y**3 - 4*y**2 - y + 5. Let h(l) = 4*f(l) + 5*n(l). Let g be h(1). Are -1 and g equal?
True
Let x = -250.8 + 251. Which is bigger: x or 23/5?
23/5
Let m(d) = d**2 + 201. Let f be m(0). Let h be f/260 + ((-90)/(-8))/(-15). Is h smaller than 1?
True
Let g = -66.8 - -73. Let p = 8 + -14. Let j = g + p. Which is smaller: 6 or j?
j
Let f be (-35)/21 + 2 + (-1)/3. Let x be ((-4)/(-228))/(10/(-9)). Let a = -1173/2090 - x. Which is smaller: f or a?
a
Let z = 0.355 - -0.085. Let g = -1.44 + z. Is g < 2/7?
True
Let p(j) = j**2 + 6*j + 4. Let i be p(-6). Suppose -3*u + 4 = -2*a, -i*u + 1 + 16 = -5*a. Let n be -3 + 1 + (u - -10). Do n and 11/2 have different values?
True
Let x = 1414 + -1413.9. Let p = 8 + -7.93. Let r = p + -4.07. Is r < x?
True
Let d(g) = 2*g - 6. Let u be d(3). Let w be -1*(-21 + u + -2). Is w less than 23?
False
Suppose -5*g - 7 = -2*y, -4*y + 8 = -0*y - 4*g. Let l be 2/(-5) - 504/(-35). Let k be ((-10)/l)/(6/(-12)). Is k at least y?
True
Let j = 1295 + -1295. Let n(m) = m**2 + 16*m - 5. Let d be n(-7). Is j at most as big as d?
False
Suppose -2*v = -5*z - 5, z + 7 = v + 3. Let h = -14 + 15. Let y = h - -2. Which is greater: z or y?
y
Suppose -38*s - 3251 + 781 = 0. Which is bigger: -525/8 or s?
s
Let v = -0.705 - -0.315. Is v > 2?
False
Suppose 29*j = j - 15820. Which is bigger: -564 or j?
-564
Suppose 5*o + 5*g + 5 = 0, g = 7 - 3. Let r(n) = 4*n - 10. Let w be r(-13). Let x be w/8 + -1 + 5. Is x not equal to o?
True
Suppose -5*f + 2*p = 3*p + 7, -p = 2*f + 4. Are 3/200 and f unequal?
True
Suppose 0 = 8*k - 12*k. Suppose z + 2 = 3. Suppose k*w = -w + z. Which is bigger: -1 or w?
w
Suppose 2*x = -10 + 18. Let v be (6/(-15))/(-1)*-5. Let z be -4*(3/v + 1). Is z <= x?
True
Let d be 0/(1 + -5 + 6). Let v be 3 + (-2 - d - (1 + 0)). Which is smaller: v or 19?
v
Suppose -237*k + 220*k = 3230. Is -192 less than k?
True
Suppose 6*b = -64 + 226. Which is bigger: b or 79/3?
b
Let c = -647 - -732. Which is smaller: c or 88?
c
Let f = 25 + -43. Let k be 4/f - 8/126. Let q = -39 - -40. Is k > q?
False
Let c be 23/(-10 - (-246)/24). Is 93 less than c?
False
Let r be 4/6 + 2/(-3). Let w(s) = s + 2. Let q be w(r). Suppose -q*i = -0 - 2. Which is smaller: i or -7/4?
-7/4
Suppose -155 + 15 = -28*u. Which is bigger: 5/3 or u?
u
Let y be 132/(-285) + (-4)/20*-2. Which is bigger: 1 or y?
1
Let o = 27.8 - 29. Let g = o - -7.2. Which is smaller: g or 0.02?
0.02
Let t = 1 - -1. Let y = -261 - -790/3. Which is bigger: t or y?
y
Suppose 9*v = 11*v - 26. Let z = v + -7. Suppose -7 + 1 = z*x. Which is greater: x or -5/4?
x
Suppose -4*p + 3034 = 2*b, 2*p - 2*b - b - 1497 = 0. Let q be 4/(-6)*81/p. Which is smaller: 1 or q?
q
Let l = -1153 - -1227. Do 71 and l have the same value?
False
Let o be 0 + 4 - (35 - 4). Suppose 0 = 3*v + 2*v + 3*m - 242, 3*m = -3*v + 150. Let j be (-6)/o + v/36. Is 3 bigger than j?
True
Let c(a) = 3*a + 23. Let d be c(7). Do d and 47 have different values?
True
Let u be (-4 + 3)*-3 - 11. Let h be (-182)/56*1*u. Is 26 smaller than h?
False
Let v = 1715 + -1715.3. Suppose 0 = -3*l + 2*l - 2. Which is greater: v or l?
v
Let x = -29 - -31. Suppose 2*q = 4*n - 14, 2*n + x*n = -3*q - 11. Which is smaller: n or 1/4?
1/4
Let m = 0.3 + 0.1. Let i be (-1 + 1)/(11 - 10). Suppose 2*r = j + 1, 0 = -i*r + 5*r + j + 15. Is m at least as big as r?
True
Suppose -6*x = 80 - 8. Which is bigger: x or -76/7?
-76/7
Let b be -4 - -68*21/329. Which is bigger: b or 0?
b
Let v = -12/7 + 2. Let j(d) = -2*d - 12. Suppose 3*n = 8 - 23. Let w be j(n). Which is smaller: w or v?
w
Let q be -2 - 6 - (-8 - (2 + -4)). Is q at most as big as -4/97?
True
Let s be (-1 + -1)*5/(-10). Let a = -4113/14 + 294. Does a = s?
False
Let c = -2.068 - -2.008. Is -0.034 smaller than c?
False
Let j be 2*2/4*4. Suppose -4*h = -2*z - 5*h + 4, j*h + 4 = -3*z. Suppose z*k + k = 0. Is k greater than or equal to -0.3?
True
Suppose o - 10 = -d - 4*d, o - 6 = -d. Let m be (-984)/(-66) + (-12)/(-11). Is m at most as big as o?
False
Let n = -1240 + 1240. Which is bigger: -11 or n?
n
Let u(r) = 2*r - 16. Let f be u(8). Let q = -196/21733 + 6/211. Which is greater: q or f?
q
Let j(b) = b - 1. Let f be j(1). Let c = -5596 - -229423/41. Let n = 2/123 - c. Which is smaller: f or n?
f
Let l = 42554/1557 + 4/1557. Which is bigger: l or -0.2?
l
Let g = 563 + -540. Which is bigger: g or 8?
g
Let l = -217 - 321. Is l bigger than -536?
False
Let q = -449/6 - -153/2. Suppose 2*k - 8 = -2*k. Which is greater: k or q?
k
Let x = 105 - 93. Are x and -0.8 equal?
False
Let c be ((-2)/6)/((-7)/(-6150)). Let k = 294 + c. Which is smaller: k or 2?
k
Let q = -16 + 17. Let r be (4 + q)*(-12)/(-40). Let l(v) = v**2 - 3*v + 1. Let i be l(3). Which is bigger: i or r?
r
Suppose 18*o - 9 = 27. Which is greater: -53 or o?
o
Let f be -13 - (-3 - (-1 + 0)). Suppose 3*w + 41 = 8. Is f < w?
False
Let p(b) = -2*b**2 + 23*b - 12. Let l be p(11). Is 2/229 > l?
True
Let z(s) = 3*s**2 + s + 1. Let r = -17 + 16. Let w be z(r). Suppose 3*g = -5*l - 9, 4*g - 5*g = 4*l + w. Is -4 at most as big as g?
True
Let i = -159/620 + 1/155. Suppose -j = j - f - 32, 5*f - 35 = -3*j. Let l be 4/5 - (-3)/j. Which is smaller: i or l?
i
Suppose 12 = 23*u - 35*u. Which is greater: u or -1/13?
-1/13
Let a be (22/(-5445))/((-1)/5). Suppose -5*t + t = -4. Is t less than or equal to a?
False
Let w = -1788 - -1802. Are w and 25/2 equal?
False
Let u be 0 - -1*(-3 - -22). Let d = u + -12. Suppose -5*k - 3*c + 23 = -19, -3*c = -5*k + 18. Which is smaller: d or k?
k
Let y = -1267/11 - -115. Suppose -54*j = 40*j + 94. Which is greater: j or y?
y
Suppose -5*u + 60*h - 10 = 63*h, 0 = -3*u + 3*h + 18. Let k be 12/(-32) + 2/8. Which is smaller: k or u?
k
Suppose 6 = 4*d - 2. Let y be 45/(-308) - d/(-11). Suppose 3*o + 3 = -0. Which is bigger: y or o?
y
Let s(a) =