5*x - 4*t + 19. Is x != -1/340?
True
Let h = 59.64 - 0.64. Let s = 67 - h. Which is bigger: 0.2 or s?
s
Let h(p) = -15*p - 89. Let r be h(-6). Which is smaller: r or 2/333?
2/333
Suppose -4*l = 2*j - 322, 8*j - 58 = -l + 3*j. Let m = l - 81. Which is smaller: m or 3?
m
Let x be 13/(-2) - (-21 + 5 - -10). Let o = -1.94 - -2. Which is greater: x or o?
o
Let a be (1/2)/(2/4). Suppose -1033*h = -1040*h - 28. Let t be 1/(h/(-4)) - a. Is -6 at least t?
False
Let j be 30476/(-190) - (-4)/(4/5). Which is greater: -155 or j?
-155
Let b be (-88)/3 + (-72)/(-54). Is -31 <= b?
True
Suppose -3*y - 162 = 4*t, 0 = 5*t - 4 - 11. Which is bigger: y or -0.09?
-0.09
Let v = 292 + -298. Is -24/5 less than v?
False
Suppose 0 = 5*z + 6*z - 4*z. Which is bigger: z or 1/481?
1/481
Let n = -0.1 - -0.2. Let j = 30.5 - -7.5. Let l = -38.4 + j. Is n bigger than l?
True
Let m(b) be the first derivative of 2*b**3/3 - 3*b**2/2 + b - 17. Let p be m(-3). Do p and 28 have the same value?
True
Suppose -16*r + 6*r = -120. Let i be 134/r + 1 + 7/(-42). Which is greater: 9 or i?
i
Let q = 5335/8 + -668. Let z = 203/24 + q. Do z and 7 have the same value?
False
Suppose -b + 411 = 3*u - 0*u, 2*u - 2*b - 282 = 0. Do 135 and u have the same value?
False
Let h be (-3 - (-11 + 8))/5. Do h and -345 have different values?
True
Let m(k) = -k**3 + 3*k**2 + 3*k - 3. Let z = -9 - -13. Let w be m(z). Suppose -3*b = -d + 1 + 6, -d - 3*b = 23. Is w >= d?
True
Let v = 372 - 774. Is v < -401?
True
Let c be 7 - 5*(6/5 - 0). Let u be ((-7)/(-105))/((-4)/10). Which is smaller: c or u?
u
Let n = -2 - -6. Let p = -7733 + 54167/7. Is n bigger than p?
False
Let f = -206 + 71. Which is smaller: f or 1?
f
Let x = 547 - 549. Which is bigger: x or 21?
21
Let w = 127.3 - 127.4. Let f be 5/2*-2*-1. Is w at least as big as f?
False
Let p = 163 + -63. Suppose 4*n - 2*n + 4*o = p, -3*o + 99 = 2*n. Suppose 0*l = 4*l + n. Is -12 greater than or equal to l?
True
Suppose 0 = 3*i - 8*i + h - 65, -5*h + 37 = -i. Is i >= -126/11?
False
Suppose 5*k - 2*c + 122 = 32, 3*k + 54 = -4*c. Let l = 8 + k. Suppose 14 = -2*s - 8. Is l at most s?
False
Let p = -103/6 + 17. Let g(y) = y. Let d(w) = -w + 5. Let v be d(6). Let s be g(v). Which is smaller: p or s?
s
Let i = 0.298 + -0.098. Which is smaller: 124 or i?
i
Let z = -102 - -79. Which is greater: z or -24?
z
Suppose -o = -4*r + 137, -4*o + 2*r - 5*r - 643 = 0. Which is smaller: -158 or o?
-158
Let n(u) = u**3 - 5*u**2 - 6*u - 1. Let x be n(7). Suppose 3*g = 4*s - x, 38 = -s + 3*s + 2*g. Is 17 not equal to s?
True
Let s = -107 + 281. Suppose -60 - s = 13*z. Is -35/2 smaller than z?
False
Let h be 8*1 - 10/20. Let f be ((-1)/(-3))/(8/(-12))*-4. Suppose -f*g + 0*g - 2 = 4*s, -5*s - 55 = -5*g. Is g not equal to h?
True
Let l = 0.049 + 0.051. Which is smaller: l or -2/15?
-2/15
Suppose -2*s = 0, -3*k - 261 = -s - 225. Which is greater: k or -160/13?
k
Suppose 0 = -0*n - 6*n - 36. Let b(l) = l**3 + 6*l**2 + 5*l + 29. Let t be b(n). Which is smaller: -7/3 or t?
-7/3
Let x = -0.1372 - -120.5372. Are x and 0 equal?
False
Suppose -2*v - 17 = -5*q, 2*v - q - 5 = -2. Suppose 3*w + 3*z + 21 = 0, -3*z = -v*w - 0*w. Let c = 3 + -4. Is c greater than w?
True
Let f = 0.017 + 8.983. Let y = 9.01 - f. Which is smaller: -0.6 or y?
-0.6
Let z be 1/(3/2) - 21615/495. Is z < -32?
True
Let s(q) = -q**3 - q + 6. Let b be s(0). Does 33 = b?
False
Let i(g) = -10*g**2 - 41*g - 5. Let o be i(-4). Are 1/4033 and o nonequal?
True
Let j = 217 + -220. Is j greater than -48/17?
False
Let z be 3/36*2348/(-21). Let k be (-329)/36 + 1/4. Let d = z - k. Which is bigger: d or 0?
0
Let i be 11 - 3*(-8)/36*-6. Let a be ((-4)/10)/(i/210*-3). Let z be -1 + (-1 - (-44)/6). Is a greater than or equal to z?
False
Let r(o) = 17*o - 23. Let p be r(2). Is 8 greater than p?
False
Let d = -8 - 0. Does -36 = d?
False
Suppose -4*q = -7*q + 4*a + 7, 4*a = 4*q - 8. Let o = 23 + -45/2. Which is bigger: o or q?
q
Let z be (-6 - 8/2) + 2. Let h = z - -7. Let f = -3 + 2.9. Is h greater than or equal to f?
False
Let g = -0.1 - -0.1. Let a = -5.25 + -1.65. Let y = -7.9 - a. Do y and g have the same value?
False
Let h = -2 + 3. Let n = -2.852 + -0.148. Is h > n?
True
Let b(r) = r**3 + 5*r**2 - 18*r - 89. Let u be b(-5). Which is bigger: 16 or u?
16
Let n = -66 + 68. Let f be 165/(-11)*((-112)/(-55) - n). Is f greater than or equal to 0?
False
Let u(x) = x**2 - 14*x + 2. Let q be u(14). Let b be (-16)/60*q/((-40)/(-6)). Which is bigger: b or 0?
0
Let h = 30 - -86. Which is bigger: h or 117?
117
Let c be ((-2)/24)/(-1 - (-10)/16). Which is smaller: -4/13 or c?
-4/13
Let q(v) = 8*v + 335. Let t be q(-42). Which is bigger: -1238 or t?
t
Let v(a) = -5*a**2 - a - 1. Let u be v(-1). Let c = -90 - -90.069. Let z = -1.931 - c. Which is greater: z or u?
z
Let q(x) = x**3 + 21*x**2 + 13*x - 29. Let v be q(-20). Is 112 < v?
False
Let x = 179 - -542. Which is smaller: x or 722?
x
Let g be 22/8*(7 + -15). Let f = -22 - g. Is f < -2/107?
False
Suppose -2*h = -2*j + 4, 0 = j - 3*h + 3 + 1. Suppose -j*q + 15 = -0*q. Which is smaller: q or 1?
1
Let b(o) = 3*o + 24. Let k be b(-3). Let u be (59/4)/(17 + -16). Is k at most as big as u?
False
Let h be 90/(-12)*(-4)/6. Suppose 9*p - h = 8*p. Suppose p*s - 73 = 7. Which is greater: s or 17?
17
Let j(r) = -5*r - 5. Let c be j(-5). Suppose 0 = 4*p - 4*v + 148, -v + 120 = -4*p - 4*v. Let d = p + c. Is d greater than -1?
False
Suppose 4*o + 4*f + 404 = 0, 3*f + 15 = 3*o + 342. Which is smaller: o or -104?
o
Let t = -1355/2 - -690. Let n = 13 - t. Is n at least as big as 1?
False
Let z(l) = 2*l**2 - 5*l + 2. Let d be z(3). Suppose -4*s = -d*s - 14. Let p = 29 + s. Are 15 and p equal?
True
Let q = -1750 + 1891. Which is bigger: -1/3 or q?
q
Let z be ((-1)/(-189))/(-1 + (-105)/45). Are 1 and z unequal?
True
Let v be (24/(-72))/((-32)/(-18)). Let d(b) = -b**2 + b + 1. Let z be d(-1). Which is greater: z or v?
v
Let s be (-1)/2 + -1 - 7/(-14). Suppose 4*q + 2 + 2 = 0. Let y be (-1 + q)*9/33. Which is smaller: y or s?
s
Let u = -79/45 + 152/135. Which is smaller: 0 or u?
u
Let l = -3064 + 15367/5. Which is smaller: 10 or l?
l
Let p = -1669 - -1664. Let v = -4.11 + 0.11. Is p < v?
True
Let z = -0.5 - -0.3. Let l = -130.95 - -130. Let h = -0.05 + l. Which is smaller: h or z?
h
Let p(h) = 2*h**2 - 20*h + 72. Let d be p(4). Does 26 = d?
False
Suppose -2*f - 2*z - 356 - 148 = 0, -4*f = 5*z + 1005. Which is smaller: f or -253?
f
Let v(k) = 24*k + 1. Let n(x) = -121*x - 6. Let r(h) = -2*n(h) - 11*v(h). Let l be r(1). Is -22 at most as big as l?
True
Let j = 228 + -177. Which is smaller: 50 or j?
50
Suppose k = -2*h + 3, -k + 3 = -2*h + 12. Let n(g) = g + 9. Let m be n(-6). Suppose 0 = -4*y + 16, -c - m*c = -y + 12. Which is bigger: c or k?
c
Let r be (-8 + 1)*(-9276)/(-14). Let i be 1/3 - r/(-18315). Let m = i - -2/185. Is 1 less than or equal to m?
False
Let a = -36 - -26. Suppose 834 - 909 = 75*m. Are a and m unequal?
True
Let a be (6/(-405))/(189/(-135)). Is 0 at most as big as a?
True
Suppose -5*p + 39 = -o + 14, -52 = 4*o - 4*p. Let y be (-1)/o - (-1988)/120. Is y at least as big as 17?
False
Let d = 42 - 42. Is 5/192 < d?
False
Let d = 471 - 691. Let x be (6/d)/((-45)/60). Which is smaller: -1 or x?
-1
Suppose 20 = 10*i - 30. Suppose -5*k - i*k = -2*k. Is -6/25 greater than k?
False
Let a = -32 - -24. Let r = 9 + a. Let i be ((1/(-2))/1)/(-2). Which is smaller: i or r?
i
Let u = 43 - 38. Suppose 14*i + u = 19*i. Is i equal to 4?
False
Let t = -60 - -109. Suppose 0 = 22*p - 15*p - t. Is 11 > p?
True
Let j(z) = z**3 - 8*z**2 - 9*z + 2. Let s be j(9). Suppose 2 = 2*d - s. Let q be (-299)/143 + d*1. Which is smaller: 0 or q?
q
Let n(m) = 2*m - 19. Let x(v) = 1. Let b(o) = n(o) - x(o). Let k be b(9). Let w = -4 - k. Which is bigger: w or 1?
1
Let k = -0.74 + -1.52. Let f = k - -2. Let v = 0.16 + f. Are v and -0.1 nonequal?
False
Let u(h) = -39*h**2 + 17*h + 14. Let g(t) = 13*t**2 - 6*t - 5. Let c(m) = -17*g(m) - 6*u(m). Let x be c(1). Which is bigger: 1/4 or x?
x
Let o = -43508077/42 + 1035838. Let k = o - -137/2. Which is greater: k or 0?
0
Let h = 0.17 - 0.36. Let l = 0.17 + h. Let c = 2 - 7/3. Is c > l?
False
Suppose 5*v - 3*v - i - 3 = 0, 5*v + i = 4. Suppose 4*j - d - 3*d - 16 = 0, 4*j - 14 = 3*d. Let q be (-2)/j -