 t + -0.4. Is 1/3 less than q?
False
Let z = 1.5333 - 0.1333. Which is bigger: z or 39?
39
Let k = -90.3 - -5.3. Do 0 and k have different values?
True
Let g be (4/470)/((-4)/(-5)). Let d(z) = -50*z**2 - 100*z + 1. Let h be d(-2). Which is greater: g or h?
h
Suppose 0 = -j + 1, j + j = -5*b + 2. Suppose 0 = -2*c - 2*c - 756. Let p be (-4)/(-14) - (-75)/c. Which is smaller: p or b?
p
Let v be 2150/68 - (-16)/(-136). Let a = 13768593/34 + -404990. Let m = v + a. Which is smaller: m or 1?
m
Let y = 0.76 + -87.76. Let p = -72.2 - y. Let f = 15 - p. Is 5 less than f?
False
Suppose 3*v + 28 = 10*v. Let t be 3*v/(-6) + (-10)/35. Which is smaller: t or -2/5?
t
Let x = -261/40 - -57/8. Which is smaller: x or 52?
x
Suppose 0 = -7*j - 50 + 50. Is -1/14 at most j?
True
Suppose -2*k + 5*u + 17 = 0, -3*u - 19 = -k - k. Suppose 0*g = -3*i - g + k, -5*g + 7 = 3*i. Suppose o = i*o - 6. Is o equal to 2?
True
Let h be (-24)/(-8) + (-2 - (-60)/(-16)). Suppose 13 = -4*q - 3. Which is bigger: h or q?
h
Suppose -900 = j - 3*j. Let q = j + -1811/4. Let o = 91/36 + q. Which is bigger: 1 or o?
1
Let y be 66/(-12)*7/5. Is -9 less than y?
True
Let a(b) = b**3 - b**2 - 4*b - 2. Let p be a(-1). Suppose 31 = -2*t - 3*c, -2*t = -p*t - c + 27. Which is greater: -2 or t?
-2
Let g be (3/(-2))/((-30)/(-200) - 0). Is -51/5 smaller than g?
True
Let p(l) = -53*l + 165. Let n be p(5). Does n = -100?
True
Let m = 44237/4 + -11128. Is -68 at most m?
False
Suppose t - 2*u = 6*t - 150, 4*u - 20 = 0. Suppose -5*h + 20 = 0, -2*c - c + t = h. Is 2 at least c?
False
Suppose 110*w - 242 = 121*w. Are -18 and w unequal?
True
Let q(g) = -g**3 - 2*g**2 + 3. Let f be q(-2). Suppose -5*y - 8 + f = 0. Suppose -5*a = 4*r, 4*r - 16 - 12 = 2*a. Which is greater: a or y?
y
Let v(c) = c**3 + 8*c**2 - 9*c + 2. Let m be v(-9). Suppose 0 = -m*o - 3*g - 6, 0 = o - 0*o + 5*g + 10. Do o and -2/137 have the same value?
False
Let f = 17 + -15. Suppose -f*n + 2 = -0. Is n less than 5/8?
False
Let j = -301 + 189. Does 0 = j?
False
Let a = -83/315 - 1/45. Let d = -15 - -2. Let j = -13.05 - d. Is j at most as big as a?
False
Let b be (0 - -12)*(-6)/(-64). Suppose -11*z - 48 = -70. Which is smaller: b or z?
b
Let a = -3/1163 + -61624/5815. Let g = a - -11. Which is bigger: -38 or g?
g
Suppose -5*m - 19 = 2*l + 2, 0 = -2*l - 4*m - 26. Let c = 4 - l. Which is bigger: 26 or c?
c
Let v = -71 + 43. Let r = v - -19. Let f = -7 - r. Which is smaller: 1/4 or f?
1/4
Suppose -11*m - 4*m + 15 = 0. Which is smaller: 8/145 or m?
8/145
Let k be 2*-13 - (4 + (-4 - -3)). Let h = -32 - k. Is h != -2?
True
Suppose 0 = 2*j - j - 3. Let s be 6/75 - 12/150. Which is bigger: j or s?
j
Let o be (-57)/(-23731)*4/(-6). Which is smaller: 0 or o?
o
Suppose 2*p = -0*p + 6. Let j = -264 + 797/3. Do j and p have the same value?
False
Let w(u) = u**2 + u + 4. Let d be w(0). Let a = d + 12. Suppose -4 = -2*r, -2*r + 14 = -5*s + 90. Are a and s non-equal?
False
Let h be -1*(-13 + 0 - 6). Suppose 30 = -3*x + 4*n - 45, -5*n - 90 = 5*x. Let j = x + h. Is -2 > j?
False
Let i = -6.1 - -2.9. Let q = i + 3. Let p = -82/31 + 370/93. Are p and q unequal?
True
Let u be 48/2*680/306. Is u at most as big as 54?
True
Let j = 7 - 8. Let a(d) = -d**2 + 8*d + 8. Let b be a(9). Is b less than or equal to j?
True
Let h be 0/(2 + -5)*1. Suppose h = 7*r - 1 - 6. Do r and 1 have the same value?
True
Let z be (-221 - -467)/((-2)/(-6) + 0). Is 738 at least z?
True
Suppose 0*w + 6 = 3*w. Which is smaller: 16/5 or w?
w
Suppose -5*g + b + 620 = 6*b, 0 = 5*g + 2*b - 608. Suppose 2*h - 34 = 5*d, 5*h + d + 4*d - g = 0. Suppose h*m = 17*m - 25. Does m = -2?
False
Let u be -2 + 7 - (3 - 12). Let r be 114/42 - 3 - (-4)/u. Let w = -848/17 + 50. Which is greater: r or w?
w
Let m(l) = l**3 - 10*l**2 - 12*l + 14. Let z be m(11). Suppose z*o + 9 - 6 = 0. Let n be ((-9)/12)/(14/8). Which is smaller: n or o?
o
Let p(u) = -u**2 - 16*u - 1. Let c be p(-16). Let l be 200/35 + (-4)/(-14). Suppose 3*o - l = -4*w + 11, 4*o = 12. Is w >= c?
True
Let t be (-5 - (-8 - -7)) + 13. Which is bigger: -33 or t?
t
Let s be 3*(-24)/60 + (-12)/(-10). Which is greater: -1628 or s?
s
Suppose -276 = -6*b - 6*b. Which is smaller: 19 or b?
19
Suppose 0*h + 4*h = -16. Let v be 14 + -23 - (-1 - 1). Which is bigger: h or v?
h
Let c be (4/3)/(10/(-133)*-7). Is 4 greater than c?
True
Let u(n) = -n**2 - 2*n + 2. Let t be u(-2). Let d = -14 + t. Let i(b) = b**3 + 7*b**2 + 9*b + 6. Let s be i(-6). Is d >= s?
True
Suppose 2*m = -4*i + 326 + 136, 5*i - 1150 = -5*m. Does m = 229?
True
Let g be (-2 + -4)/(6/4). Let q(c) = 16*c**2 + 3*c + 2. Let b be q(-1). Suppose 0 = 11*x - b*x - 8. Which is smaller: g or x?
g
Let x(v) = -v**3 + 1. Let f be x(-1). Suppose f*t = -3*t + 15. Suppose n - 4*n = -t. Is n less than or equal to 2?
True
Let m = -0.23 + -0.07. Let v = 18.07 - 18. Let u = 0.17 - v. Is u at most as big as m?
False
Let p be ((-186)/(-16))/((-15)/10). Let i = -101/12 - p. Which is smaller: i or 7?
i
Suppose -10*b = -3*c - 14*b - 15, 4*b = -12. Let i = 2.01 - 0.01. Let q = i - 1.9. Which is smaller: c or q?
c
Let l = 3.2 + -1.9. Suppose 4 = 2*h - 4. Suppose h*j + 3*w - 7 = 0, -w - 4 + 10 = 5*j. Which is smaller: j or l?
j
Suppose -11*t = -30 - 25. Let z(q) = q**2 - 4*q - 5. Let g be z(t). Is 0 equal to g?
True
Let q be 4 + -3*(-248)/(-156). Let d = q + 12/13. Which is greater: -1 or d?
d
Suppose -c - x = 3 - 7, -c = -2*x + 11. Which is smaller: c or 1/165?
c
Let j = 161123/1014 - 953/6. Is 0 smaller than j?
True
Let a(u) = -43*u - 88. Let z be a(-3). Is 41 <= z?
True
Let f = -315 + 317. Which is greater: f or -2.6?
f
Suppose -4*h = 3 - 15. Is -14 greater than h?
False
Let r(v) = -6*v**3 + 5*v**2 + 12*v + 1. Let w be r(3). Are -80 and w nonequal?
False
Let q = 746 - 22367/30. Are q and 0 unequal?
True
Let q = 1725 + -1047. Is -2 greater than q?
False
Suppose -5*b - 40 = 5*a, -4*a + 3*a - 30 = 3*b. Let g(k) = k**3 + 10*k**2 - 8*k + 12. Let q be g(b). Let r = q + 19. Do r and -2 have the same value?
True
Let y(u) = 2*u**2 + 11*u - 3. Let r be y(-5). Let j = r + 2. Is -20/3 not equal to j?
True
Let g = -36 + 39. Let p(n) = n**2 - 3*n + 7. Let u be p(g). Is 5 < u?
True
Let n be (-898)/(-14) - 165/1155. Which is greater: 62 or n?
n
Let g be (-2696)/198 - 20/18. Which is greater: -15 or g?
g
Let y(g) = -2*g + 8. Let m be y(6). Suppose 5*s = 15*h - 17*h - 5, 3*s + 3*h - 6 = 0. Is s less than m?
False
Let f(x) = x + 17. Let p be f(-13). Suppose 0*a - 12 = -p*a. Suppose 3*h + 2*g = -3*g - 3, 3*h + a = 2*g. Which is smaller: 0 or h?
h
Let n(s) = -10*s + 391. Let r be n(42). Which is smaller: -34 or r?
-34
Let m(b) = b**3 + 9*b**2 + b + 1. Let q be m(-9). Let o be 2/(-6) - (-3 - 52/(-6)). Which is smaller: q or o?
q
Suppose 4*w + 8 = 0, 4*g - 5*w + 10 = -g. Let q be (-2)/g - 11/(-2). Suppose -3*v + 30 = 4*m, -3*m = v - 2*m - 9. Is q >= v?
True
Let g = 890 - 919. Is -13 < g?
False
Let o(d) = -d**3 + d**2 + 5*d - 5. Suppose -2*k + 4 + 2 = 0. Let j be o(k). Let p = j + 7. Is -2/15 at most p?
False
Let g(s) = -6*s. Let h be g(1). Let z be (-12)/h + -2 + 4. Suppose 3*j - z = 5. Are j and 0.3 equal?
False
Suppose -6 = 4*q + 4*v - 26, -15 = 4*q - 3*v. Let z be 25/(-6)*4/(-80). Is z <= q?
False
Let p = 105/13 - 5539/689. Let x = -361/265 - p. Suppose -t - 17 = -4*l - 1, 20 = -3*t + 5*l. Is t bigger than x?
True
Suppose 3*t = -5*g + 20, -2*g - 6 = 4*t - 28. Let h be 80/(-117) - (-2)/9. Is g >= h?
True
Let g(c) = c**2 + 5*c + 7. Let j be g(-5). Let q = 5 - j. Which is bigger: -5/3 or q?
-5/3
Let n = -210 + 195. Suppose 0 = 8*s - 3*s. Which is smaller: s or n?
n
Let s = 22.9 + -42.5. Let h = 13 + s. Let q = h + 7. Is q not equal to -2?
True
Let l = -0.12 + 0.06. Let y = 0.01 - l. Let u = 1.93 + y. Is u less than 0?
False
Let z(s) = 2*s**3 + 3*s**2 - 9*s - 6. Let w be z(-4). Which is smaller: -54 or w?
-54
Suppose -2*o = 4*f + 262, -5*f + 4*o = 9*o + 335. Which is smaller: -65 or f?
-65
Let y = -4 - 2. Let n be ((-10)/(-2))/(0 + y). Let z = -1.5 + 0.5. Is n bigger than z?
True
Let p = 4/161 + -67/161. Let l(d) = -d**3 - 4*d**2 + 5*d. Let t be l(-5). Which is greater: t or p?
t
Let r(b) = -8*b + 2. Let j(o) = -o**2 - 9*o + 2. Let p = -7 - -5. Let g(v) = p*j(v) + 3*r(v). Let n be g(3). Which is smaller: 3/2 or n?
3/2
Let r be (12/27)/(301