pose s*x + 9 = -3. Which is smaller: x or 1?
x
Let p be 15/(-6)*(-4)/10. Suppose 3*y - 6 = -3*v, 13 = 2*y + 3. Let l be v/2*8/(-3). Is l greater than p?
True
Suppose 212 = -66*n + 80. Is n smaller than -1?
True
Let s = -51 + 24. Let t = -1.352 + 0.352. Is s less than or equal to t?
True
Let h(o) = -o - 2. Let t be h(10). Let k be (-2)/(-8) + t/(-24). Does k = 4?
False
Let o = -2.2 + 0.2. Let v be 1/((-24)/123)*1 + (22 - 17). Which is greater: o or v?
v
Let g be 16/24*1*3/(-6). Let v be -2*(0 + 1) - 117. Let m = 1546/13 + v. Which is greater: g or m?
m
Suppose 11*q - 791 = -615. Let u be 66*(3/(-4) - -1). Which is smaller: u or q?
q
Suppose -3*z = -2*z - 1. Let w = -11821/270 - -53/54. Let m = -43 - w. Which is smaller: m or z?
m
Let y = 165.4 - 165.4. Is y > -7/32?
True
Suppose 0 = 2*m - 0*o + 5*o - 29, 2*o = 6. Let w(d) = d**2 - 8*d - 6. Let u be w(m). Let t = u + 15. Is t < 2?
False
Let n = -221 - -221.214. Which is greater: 1 or n?
1
Let l = -26.87 - -27. Let j = -1784368/69 + 25861. Let m = j + -6/23. Which is smaller: l or m?
l
Let r be 52/246 - (-1)/(-3). Let m = r + -89/615. Let t = -1.0123 + 0.0123. Which is smaller: t or m?
t
Let h = 269810559/230 + -2346003/2. Let l = h + -508/23. Let z = l + -66. Which is greater: z or 1?
1
Let z = 10183 - 600775/59. Is 0 > z?
False
Suppose 0 = 6*t - 2*t. Suppose -3*g + 5*o + 77 = -0*o, t = 4*g + 2*o - 94. Let q = -22 + g. Is q greater than or equal to 0.4?
True
Let q(b) = -21*b - 8 + 6*b - 19*b**3 + 18*b**3 + 0*b**2 - 16*b**2. Let f be q(-15). Let p be (1 + 1/(-3))*-12. Is p >= f?
True
Let u = 297 - 296. Suppose 0 = 4*l - x + 156, -2*l - 4*x = 3*l + 216. Let r be (-26)/l - (-6)/(-15). Does r = u?
False
Let s be 2 - (1 - 2) - 4. Let b be (-4 - s) + 8/2. Do b and 4/23 have different values?
True
Let r = -1.62 + 24.61. Let j = r - -0.01. Which is smaller: j or -2/5?
-2/5
Let j be (-1*17/(-58))/((-85)/(-170)). Let k = -896/1479 + j. Which is smaller: 0 or k?
k
Suppose 0 = -0*n + n. Let y = 5 - 6. Let h be -5 + y/3*-6. Which is smaller: n or h?
h
Suppose 0 = h - 0*h. Let n be (-4 + 864/222)/2. Which is smaller: h or n?
n
Suppose -10 = 15*t - 25. Suppose 0 = -2*j - j + 69. Let h = -68/3 + j. Which is smaller: t or h?
h
Let f be 25/15*(372/4)/1. Are f and 156 equal?
False
Let t = 2062 - 2326. Which is greater: t or -790/3?
-790/3
Let n = 143/3 - 51. Let r = 35 - 33. Let x = r + -6. Which is smaller: x or n?
x
Suppose 20 = k + f + 29, 3*f = -k - 15. Which is greater: k or 9/5?
9/5
Let b(n) = -n**3 - 4*n**2 + 5*n + 3. Let f be b(-5). Suppose 11 + 5 = 4*x. Which is greater: f or x?
x
Let n = 67193/4 + -16879. Which is bigger: n or -81?
n
Let z(p) = -p**2 + 47*p - 41*p - 15 - 2. Let f be z(3). Let g = -2 + 3. Which is bigger: g or f?
g
Suppose q = -2*h + 25, 2*q + 5*h = 2*h + 46. Let c = q - 8. Let b = -31 + 40. Is c > b?
False
Let h = 7 - 7. Let x = 2170 + -310308/143. Are x and h unequal?
True
Let o be 24/(-70)*(-168)/(-16). Let r = -59/15 - o. Which is greater: -0.4 or r?
r
Suppose -5*p - 46 = -4*m + 51, -m + 54 = -3*p. Suppose 5*j - 57 = 2*o, o + j + 41 = 6*j. Which is greater: p or o?
o
Let c be (-74)/(-4) + (-24)/(-16). Is c smaller than -2?
False
Suppose 2*w - 10 = 0, -2*g = 2*g + w - 41. Suppose -g*p - 4 = 104. Is 0.1 bigger than p?
True
Suppose -9*z = 163*z. Let o be 1*(2/159 - 0). Which is bigger: z or o?
o
Let o = 987/2 + -42393/86. Is o at most as big as 0?
False
Let i = 14 - 25. Let v = i - -11. Suppose 2*c + 0*c = 0. Is c at most v?
True
Let o = -0.88 + 0.6. Let l = 37 - 37.18. Let k = l - o. Is -6/11 at least k?
False
Let l = -95783/40 - -2394. Let b = -303/88 + l. Let g = b + 12/55. Which is smaller: g or -4?
-4
Let j = -3 - -9. Let g be (0/1)/(2/2). Suppose 8 = -g*t + 2*t. Which is smaller: j or t?
t
Let l = -107 - -107. Let d = -6 + 25. Which is bigger: l or d?
d
Suppose -152 = -2*y - 12. Suppose -5*s - y + 185 = 0. Are 22 and s nonequal?
True
Let w = -42/149 + 2757/8195. Is 1 at least w?
True
Suppose 3*i - 11 = 16. Suppose -13*v = -i*v - 8. Is v bigger than 1?
True
Let t be (180/(-70))/(6/(-56)). Let m be t/228*(-3 - -2). Is m > -1?
True
Suppose -2*x - 5*f = -18, -3*f + 21 = -x + 2*f. Suppose 7*r = 2*r - 60. Let v be (r/56)/(x/2). Which is smaller: v or 1?
v
Let o(l) = 2*l + 10. Let d(x) = x**2 - 13*x + 7. Suppose -f = 3*t - 3, -3*f + 0*f + 45 = -3*t. Let a be d(f). Let m be o(a). Does 5 = m?
False
Let a(k) = k**3 - 17*k**2 + 28*k + 20. Let m be a(15). Is -10 equal to m?
True
Let k be ((-3)/(-6)*-2)/(295/75). Which is smaller: k or 1?
k
Let x(w) = -14*w - 158. Let r be x(-9). Is r equal to -32?
True
Suppose -6*z + 866 = 248. Let f = -1340/13 + z. Are f and -1 non-equal?
True
Suppose 0 = 2*k + 10, -2*q + 72 = -5*k - 43. Let d be 26/30 - (-6)/q. Let p be (d + 2)*(-6)/6. Is p >= -1?
False
Suppose -10 = -15*a + 20*a, 0 = z - a - 381. Is 0.3 equal to z?
False
Suppose -10*l = -144 + 1134. Let b = 107 + l. Is 4 less than or equal to b?
True
Let l = -830 - -830.7. Let k = 10 - 6. Which is smaller: k or l?
l
Suppose j - v + 4 = 0, -2*v + 3 + 6 = -3*j. Suppose 0 = 71*u - 68*u + 63. Let p be 15/u*1/5. Which is greater: p or j?
p
Let x = -282407/15 - -18815. Let g be -2*(0 - 43/6). Let m = x + g. Are 1 and m equal?
False
Let r = -14 + -13. Let d = r - -27.07. Is d > 0.02?
True
Let r = -0.034 - -4.334. Let z = r - 17.3. Is z >= 0?
False
Let q(l) = -32*l + 115. Let a be q(11). Is a less than or equal to -235?
True
Let a = 0.081 + -11.881. Let y = 67 - 79. Let f = a - y. Which is smaller: f or 1/3?
f
Let v be (57/(-7011))/(1/(-3)). Which is greater: v or 1?
1
Let o be (4/(-4) + 2)/(1305/18 + 6). Suppose m = 4, -y - m + 6 = -3*y. Are y and o equal?
False
Let n = -43 + 51. Let c = n + -7. Which is smaller: 13/4 or c?
c
Suppose a - 638 = 5*z + 5*a, -a = -5*z - 653. Does -129 = z?
False
Let i be 1395/21 + (-24)/(-42). Suppose 72*s - 40 = i*s. Is 9 < s?
False
Suppose -3*h + 13 = -2. Suppose 13*j = h*j - 24. Let q be ((-6)/(-26))/(j/18). Which is smaller: q or -1?
q
Let y be 20/35 - 18/7. Let f = 5 + y. Let i be (f + -2 - -6) + -3. Which is smaller: i or 2?
2
Suppose -8 = 2*m + 2*x, -4*m - 14 = -2*x - 4. Suppose -6*c - 4 = -2*c. Let k = m - c. Are -2 and k equal?
True
Let a = 83.8 - 81.8. Which is greater: a or -2/5?
a
Let p = 19431/209 + -1058/11. Which is smaller: -3 or p?
p
Let v = -11131/22914 - -13/342. Which is smaller: -1 or v?
-1
Let a = -4 - -7. Let l = 4 - a. Let c = -5 + 6. Is l > c?
False
Let u = 22 - 20. Let v be 3 + 61*(-3)/12. Let c = 12 + v. Which is greater: c or u?
u
Let t(y) = y**3 - 43*y**2 - 46*y + 88. Let n be t(44). Which is greater: n or -5/111?
n
Let l(p) = p - 2. Suppose -2*m + 2*w - 4 = -2*w, 2*m = w - 1. Suppose 5*q + 1 = 4*q, m = -y - q. Let t be l(y). Which is greater: t or 2/7?
2/7
Let c = -1.1 + 1. Let x = 33 + -37. Let p be (2 + -7)/(-5) - 1/x. Is p >= c?
True
Let l(f) = 3*f**2 + 10*f - 93. Let u be l(-10). Is u less than or equal to 106?
False
Suppose 0 = -5*w - 2*z - 55, -w - 6*z - 29 = -2*z. Is -12 smaller than w?
True
Let m be ((-20)/200*10)/(2/(-8)). Are m and 1 equal?
False
Suppose -5*n + 6 - 36 = 0. Which is greater: n or -9?
n
Suppose -75*i - 14 = -164. Is 19.7 smaller than i?
False
Suppose -l + 0*l = -6. Suppose -l*q + 4 = -4*q. Let v = -28 + 31. Which is smaller: v or q?
q
Suppose 0*u - 3*f + 103 = 4*u, 2*f = -4*u + 98. Suppose -7 + u = 3*k. Let n = -29 - -35. Is k greater than n?
False
Let v be (-944)/12*(-9)/3. Let r = v - 6609/28. Let z = r + 5/42. Which is greater: z or -1?
z
Let s be (1 + (-34)/22)*9. Let x = 140/33 + s. Let n be 81/45 + -2*1. Is x greater than or equal to n?
False
Let a be 749/49 + (-4)/14. Let t be (-12)/a - (-76)/20. Suppose -4*y + t = -2*y - 5*j, 39 = -5*y - 3*j. Which is smaller: -7 or y?
-7
Suppose 5*r = -4*f + 15, -4*r + 17 = -2*f + 5. Let x be (-19)/r + (-5)/(-15). Let b be (-22)/(-6) + 4/x. Is b less than or equal to 3?
True
Let g(q) = 3*q**2 + 19*q + 8. Let b be g(-6). Suppose -3*o = -b*w + 2, 0 = -8*o + 3*o + 5*w. Is o less than -2/3?
True
Let q = -14 - -24. Suppose 0 = 5*l - 5*p - 70, -4*l + 9*l - 30 = -5*p. Does q = l?
True
Let v(b) = b**2 - 3*b - 4. Let d be v(4). Let y be (d/1*-1)/(-2 + 1). Is y < 1/7?
True
Let t(h) = -h**3 - 4*h**2 + 7*h + 12. Let w be t(-5). Let l be ((-116)/(-6))/((-4)/(-6)) + w. Which is smaller: l or 33?
l