. Is q less than -1/19?
True
Let p = -1.17 - -11.17. Let y = 4.8 + 5.1. Let u = p - y. Is 1 not equal to u?
True
Let y = -11083/4 - -2776. Let g = -7 + 12. Which is smaller: y or g?
g
Suppose -2*t - 11 = 3. Let l be 1*t/((-7)/44). Let x be -2*(-2)/l - 0. Is 0 at least x?
False
Let j = 6 + -6. Suppose -3*q - 2*q = x - 27, j = x + 2*q - 12. Let i be (-2 + -3)*x/14. Is i equal to 0?
False
Let v = -0.6 - 0.4. Let t be (-4)/8 + (-46)/(-4). Does t = v?
False
Let u be 11/((-55)/5370) - 8. Is u < -1?
True
Let o be 2 - (3 + -2 + 2 - 18). Suppose 17 + 19 = 2*h. Which is smaller: h or o?
o
Suppose 2*x + 17*s - 22*s = -22, -x - 4*s = -2. Which is greater: 16 or x?
16
Let w(a) = -a. Let r(v) = 7*v - 21. Let q(k) = r(k) - 3*w(k). Let n be q(3). Is n smaller than 9?
False
Let z = -254 - -171. Let f = 83.12 + z. Is -1 bigger than f?
False
Let o = 19 + 4. Suppose 0 = -0*d + d - 5*m - 22, 4*m = -5*d + o. Is d at least 23/3?
False
Let o(s) be the second derivative of -s**3/6 + s. Let x be o(-8). Suppose n = -6 + x. Is n at least -2?
True
Let d = -202 - -184. Let i(w) = -15*w**2 + w. Let b be i(-1). Which is bigger: d or b?
b
Suppose -53*b = -73*b + 820. Are b and 13 nonequal?
True
Let l(p) = -15*p - 12. Let z be l(8). Let c be z/84 - 3/7. Is c greater than or equal to -18/11?
False
Suppose a + 7 = j, 2*j + 0*j + 3*a - 14 = 0. Suppose -2*c = j - 1. Which is smaller: c or -10/3?
-10/3
Let z be (-243)/18*(-11 + 35). Is -326 bigger than z?
False
Let k be ((-72)/(-40))/(-9) + 1056/5. Is 211 != k?
False
Let z(u) = u**3 + 13*u**2 + 10*u - 17. Let c be z(-12). Suppose -7*w + c = -6*w. Let q = w + -23. Which is smaller: -17 or q?
-17
Let j = -79 + 44. Let k = j + 33. Which is bigger: 11 or k?
11
Let h be (-52)/(-8) - 5/30*-9. Does 80/11 = h?
False
Let u = -9.7 - -9.675. Which is smaller: 0 or u?
u
Let l be (51/153)/((42/27)/(-2)). Is l at least as big as -4/17?
False
Let n = 26.8 - 17. Let q = n - 9.9. Which is smaller: q or 0.4?
q
Let s be (2/(-99))/((-2)/6)*-45. Let y = -342/77 - s. Which is smaller: 3/5 or y?
y
Suppose -9 + 4 = -m. Suppose -2*g = 4*r + 4, 6*r - 3*r = -m*g - 10. Are 2/21 and r non-equal?
True
Let n(o) = 10*o**2 + o. Let a be n(-1). Suppose i + a = 4*i. Suppose i*d = 3*w, 2*d - 2*w = 4*d + 20. Are -5 and d equal?
True
Suppose -l = -176 + 183. Are l and -140/23 unequal?
True
Let i(m) = -2*m - 49. Let q be i(-16). Let v(c) = c**2 + 16*c + 24. Let n be v(q). Is 41 bigger than n?
False
Let w be 27*3/(9/8). Is 74 equal to w?
False
Let f = 150 + -283. Which is smaller: f or -132?
f
Let c = -842 + 844. Which is bigger: 16 or c?
16
Suppose -3*g - 3*j = -9, g + j = -2*g + 9. Which is greater: g or 4?
4
Suppose m - 1 = -18. Let c = 218 + -238. Let n = c - m. Which is smaller: -4 or n?
-4
Let a = -227 - -220. Are a and -7 unequal?
False
Let h(d) = d**3 + 3*d**2 - 5*d - 7. Let o be h(-5). Let w be (4/(-3))/(o/(-80)). Which is bigger: w or -2?
-2
Let a = 0.24 + 3.15. Let v = 0.39 - a. Is 2/5 >= v?
True
Let k(r) = r**2 - 17*r - 140. Let u be k(-6). Which is smaller: u or -11/15?
u
Let s(p) = 12*p - 4. Let o be s(-2). Let x = o + 43. Let k = -14 + x. Are k and 3/5 nonequal?
True
Let o = 44 - 26. Let k be (o/(-45))/((-2)/(-60)). Let n be 2/k - 4/(-16). Which is bigger: -1 or n?
n
Let n be 1/((-1)/(78 - 9)). Do -67 and n have the same value?
False
Let s = -419 + 417. Is -169 not equal to s?
True
Let b be -1 + 3 - (-40)/(-22). Suppose 77 = -5*c + 17. Let f = 11 + c. Which is bigger: f or b?
b
Let n = -31 + 31. Suppose -21*h + 24*h = n. Is -2/59 at least h?
False
Let t = -278 - -110. Which is smaller: -169 or t?
-169
Let f = -21 + 235/12. Is f smaller than 3?
True
Suppose 0 = -4*r + 45*r + 6396. Which is greater: r or -931/6?
-931/6
Suppose -g - 1 = -2*g. Let h = -70 - -70. Suppose h = -3*l + 4 + 2. Which is bigger: g or l?
l
Suppose 0 = -p + 2*p - 5. Suppose 3*z - 20 = -p. Let j be ((-4)/z)/((-2)/(-10)). Do -3 and j have the same value?
False
Let g be 12/5 - (10 - 3 - 4). Does g = -76?
False
Let a = 2 + 10. Suppose 3*j + 0 = a. Suppose 2*r = -0*r + j. Is 6 equal to r?
False
Suppose -3*n - 3*j = 87, j + 46 = -2*n - 13. Let g be 82/(-230) - 12/n. Let f(y) = -2*y**2 - 26*y + 59. Let m be f(-15). Is m equal to g?
False
Suppose -2*f + 44 = -3*n, 0*f + 43 = -n - 5*f. Which is smaller: n or -14?
n
Let p = -84.989 + -0.011. Let b = 106 + p. Is b smaller than 1/5?
False
Suppose 112 = d - f, d + 2*f = -0*f + 112. Let a be d/52*(-89)/4. Let s = a - -48. Which is bigger: s or 1?
1
Let u(v) = 64*v - 34. Let i be u(20). Let q = -61056/49 + i. Is q <= 1?
True
Let c be ((-3)/4)/((-8898)/4)*4. Let y = 1577/69701 - c. Is -1 <= y?
True
Suppose 32*c = 494 + 306. Which is smaller: 23 or c?
23
Suppose 4*v + l + 17 - 1 = 0, 3*v - 2*l + 12 = 0. Let x(a) = -2*a + 1. Let f be x(-2). Suppose 2 = -k, -3*s - k = -0*k + f. Does v = s?
False
Let q = -0.5 + 0.35. Let r = -2893 - -2891. Which is bigger: q or r?
q
Let k = -7.16 + 0.16. Let v = 6.9 + k. Which is bigger: v or -1.2?
v
Let w be 0 + (-27523)/4 + 0. Let u = w - -6836. Let s = 2677/60 + u. Is s not equal to 1?
True
Let b = -86 + 83. Let c be 2 - (b + 1) - 7. Is c bigger than 2?
False
Let x = -431153243/3672 - -939385/8. Let p = -1/459 - x. Suppose 5*a + 50 = 4*j - 6*j, 4*a - 3*j = -17. Which is smaller: p or a?
a
Let g = -1576.8 - -1577. Which is smaller: g or -1/23?
-1/23
Let q = 0.2 - 0.3. Let j = 7663.02 - 7663. Is j >= q?
True
Let b = -1489 - -1488. Let n = -0.34 - 0.01. Let o = n - -0.3. Which is bigger: o or b?
o
Let n(v) = -2*v**2 - 2*v + 31. Let s be n(4). Is s <= 4?
True
Let k(j) = -j**3 - 10*j**2 - 2*j - 14. Let n be k(-10). Suppose -4*q + n = 2. Which is bigger: -3/25 or q?
q
Let v be ((-128)/(-36) - -1)*-14. Let p = v - -64. Is -1 at most as big as p?
True
Suppose 0*a - 3*a - 21 = 0. Let j = -0.2 + 0.3. Which is smaller: a or j?
a
Let c(m) = 2*m**3 + m**2 - 2. Let l be c(2). Suppose 432 = 12*k + 9*k + 6*k. Is l at least as big as k?
True
Suppose 3*i + 431 = 5*r, 161 = -3*r + 5*r - 5*i. Let s be ((-21)/(-22) - 1)/(22/r). Is s greater than -0.2?
True
Let t be ((-2)/(-4))/((-11)/(-44)). Suppose 3*s = -t*s. Which is bigger: -0.1 or s?
s
Let f be (1/1)/(2/4). Suppose -4*t = t - 25, 4*i + 5*t = 41. Let n be 3 - i/((-40)/(-18)). Is f < n?
False
Let v(x) = -x**2 + x. Let c(o) = -4*o**2 - 10*o. Let q(i) = c(i) + 10*v(i). Let r be q(1). Let s = -218 - -217. Which is greater: s or r?
s
Suppose 3*k - 25 = -7. Let a be (-160)/(-82) + (4 - k). Which is greater: 1 or a?
1
Let a(v) be the first derivative of -v + 0*v**2 + 1 + 6 - 4 + v**2. Let z be a(1). Is z smaller than 6/5?
True
Suppose 4*w - 2 = -2*b - b, -2*b + 2*w + 20 = 0. Let c = -54 - -94. Suppose -44*z = -c*z - 28. Is b bigger than z?
False
Let y = 19015/494 - 77/2. Let p = y + 283/4446. Which is greater: p or 1?
1
Let q = 2 + 0. Suppose 5*u - 5 = q*o, 18 = 2*o - 5*o + 4*u. Let d(k) = 6*k + 2. Let b be d(-2). Is b at most o?
True
Let a(c) = 2*c**2 + 7*c - 29. Let z be a(-7). Let n be 80/5 - 1*-1. Suppose 0 = 3*l + z - 5, 2*g + 3*l + n = 0. Which is bigger: -2/13 or g?
-2/13
Let w(p) = p**3 - 6*p**2 - 12*p + 2. Let o be w(8). Let x = 41 - o. Which is smaller: 8 or x?
x
Let n(b) = 2*b**2 + 3*b - 3. Let c be n(-2). Let i be ((-4)/2 + 3)/c. Is 1/14 equal to i?
False
Let z be 54/243 - 7/(-9). Which is bigger: 1/69 or z?
z
Let b be (36451/7647)/(5/(-50)). Let n = -1/2549 - b. Let r = n + -48. Is -1 equal to r?
False
Let a = 5 + 290. Let h be (a/20)/(2/((-32)/4)). Is -60 < h?
True
Suppose 11 = 2*a + 7. Let l be a - 1 - (539/70)/7. Which is smaller: l or -1?
-1
Let m(d) be the third derivative of d**5/20 - d**4/12 + 2*d**3/3 + 7*d**2. Let b be m(2). Is b bigger than 10?
True
Let w be 18/(-24) + 1/(-4). Suppose 699 + 493 = -4*t + 4*y, t + 292 = 4*y. Let d = 3298/11 + t. Which is smaller: w or d?
w
Let d be (14658/39 + 2)/(-2). Let v = 189 + d. Are -0.03 and v non-equal?
True
Let f = -5403 - -513279/95. Is 0 < f?
False
Let x be ((-3069)/(-55) + 0)*(-1)/1. Do -55 and x have different values?
True
Suppose 3*s - 236 = 4*f + 6*s, -f = 3*s + 50. Is -60 greater than or equal to f?
True
Suppose -5*f = 5 + 15. Let m be f/10 - (-187)/(-220). Is 0 greater than m?
True
Let q be (7 + -6)*(1 + -2). Which is greater: -3/8 or q?
-3/8
Suppose 6*l - 2*b = 16, l + 23 = -l - 5*b. Is l less than or equal to 21/10