x?
True
Let z(j) = j**2 + 2*j - 9. Let r be z(-4). Let q be 2/(r/2*1). Which is smaller: q or 0?
q
Let x be 5/10 + (-1)/((-4)/(-150)). Let l = -38 - x. Which is smaller: -1/7 or l?
l
Let v(f) = -f - 1 - 4*f - 4*f**3 - 80*f**2 + 81*f**2. Let u be v(-2). Which is bigger: u or 44?
u
Let b = -65024/61 + 1066. Let o = 15 + -14. Which is greater: b or o?
o
Let u(g) = -g**2 + 11*g + 178. Let v be u(20). Is v less than 3?
True
Let u = -28 + 34. Let p be (60/(-35))/u + 328/1099. Is 1 equal to p?
False
Let z = 63 - 55. Suppose 4*d = -3*i + 3*d + 4, z = 5*i + 3*d. Is -2/21 less than or equal to i?
True
Suppose 5*r = -4*j + 1353, 4*r - j - 632 = 463. Which is greater: r or 545/2?
r
Suppose -45367*w = -45370*w + 129. Suppose -4*y = 2*u - 184, 4*y - 3*u + 2*u - 172 = 0. Which is greater: y or w?
y
Suppose 44 = 2*r + 36. Let t be (-4)/(92/r - 1). Let m be 0 - (0 + -1*1). Which is smaller: t or m?
t
Suppose -u - 3*g - 14 = 0, 0 = 9*u - 8*u - 3*g - 16. Is u greater than or equal to -3/161?
True
Let q be ((-5)/1)/(0 - -1). Let u be (3 - 1)*30/12. Suppose 0*y - 5*w = -y + 16, u*y - 5*w = 0. Is q > y?
False
Let k = 348 + -105. Is k greater than -5?
True
Let s be 3/(-2) + 323/34. Does -7 = s?
False
Let a be (-46)/(-4) + (-2)/(-4). Let v = -25/2 + a. Which is greater: -3 or v?
v
Let x = 10.73 - 9.6. Let m = 12.87 + x. Which is bigger: m or 0.1?
m
Let j(w) = -29*w - 4. Let x be j(-2). Let l be 111/x - 7/14. Is l less than 3?
True
Let f(p) = p**3 - 13*p**2 + 34*p + 19. Let z be f(9). Is 1/46 less than or equal to z?
True
Suppose -3*t = 3*a - 2 - 19, -5*t + 4*a = -17. Suppose 56 - 6 = 5*x. Let q = -5 + x. Is q < t?
False
Let i = -4 - -6. Let p be 3*i/6*1. Let k be ((-2)/3)/(11/3). Which is greater: p or k?
p
Let k(l) = -l**2 + 10*l + 16. Let b be k(11). Suppose -p - 105 = -b*y, -45 = -6*y + 5*y + 5*p. Let i be y/6*18/(-6). Are i and -11 unequal?
True
Let c = -35 - -37. Is c not equal to 19/4?
True
Suppose -6*c + 12 - 42 = 0. Is -44/9 at least as big as c?
True
Suppose 0 = 4*u - 7*u - 12, -2*f = 3*u - 44. Which is smaller: 26 or f?
26
Suppose -117*n = -131*n + 784. Is 1/4 at least as big as n?
False
Let c = -13.922 - -14. Let s = c + 38.922. Let w = s - 32. Which is smaller: w or -2?
-2
Suppose 0 = s + 130 - 131. Is -2/413 <= s?
True
Let h(s) = s**3 - 10*s - 39. Let k be h(-6). Is k at least as big as -195?
True
Let q be 4/40 + (-3 - (-3979)/1610). Let o = 64 - 255/4. Which is smaller: q or o?
q
Let z be 68/16 + -4 + (-5 - -5). Do z and -401 have the same value?
False
Suppose -76*g + 56 + 61 = -187. Suppose 4*m - n + 1 = 10, -3*n - 15 = 0. Let w be (0 + 1)*m*7. Is g smaller than w?
True
Let k = 374/645 + -8/15. Let c be (1 + (-82)/4)*-2. Let n = -40 + c. Is n smaller than k?
True
Let r = -520 - -1154. Is 0 at least as big as r?
False
Let r = 0.1 + 0. Let f = r + -0.2. Let v = -641 + 4486/7. Do v and f have the same value?
False
Let r = -1063/1428 + -2/357. Let a be 1*(5/15)/(4/(-24)). Which is greater: a or r?
r
Let a(n) = -2*n - 30. Let j(t) = -3*t - 60. Let b(y) = 7*a(y) - 4*j(y). Let r be b(7). Is r > 15?
True
Suppose -4 = -2*u + 16. Let t be (-10 + u)/((0 + 2)/2). Which is bigger: t or 8/9?
8/9
Let k = -2443 - -2441.7. Which is greater: k or -0.6?
-0.6
Suppose 6*p - 5*p = 186. Which is smaller: 187 or p?
p
Suppose -3*g + j = -0*j - 31, 0 = -g + 3*j - 3. Let u(d) = -d**3 + 14*d**2 - 27*d + 6. Let x be u(g). Is -30 < x?
False
Let v be 2 + 3 - 3 - 6*1. Let r be v/(-6)*3/(-310). Which is smaller: r or 0?
r
Let f = -12.7 + 1.7. Let i = -9 - f. Let a = i + -1.8. Is 3 > a?
True
Suppose x + 5*m = -104, 5*x - 38*m = -39*m - 544. Which is greater: 0.4 or x?
0.4
Let v = -0.065 + 0.735. Let b = 72.33 + v. Is b greater than or equal to 0?
True
Suppose 5*b - 3*h - 4 + 6 = 0, -5*h = -5*b. Let d(s) = s. Let y be d(b). Let o = 1346 - 68644/51. Which is smaller: o or y?
y
Let u(o) = o**2 + 4*o + 2. Let v be u(-3). Let r be (36/(-105))/(((-21)/10)/(-7)). Which is smaller: r or v?
r
Suppose -2*t - 12 = -4*l, 5*l - 3*l + 3*t + 2 = 0. Let n(h) be the third derivative of -h**5/60 + h**4/8 - h**3/6 - h**2. Let i be n(l). Is 1.7 != i?
True
Let v = 353809/26348 + 1/3764. Suppose 0 = -2*o - 2*o + 48. Which is smaller: o or v?
o
Let m = 234/473 - -10/43. Let u be (-48)/(-4) + -4 - 7. Is u less than or equal to m?
False
Let f = -1 - -0.5. Let n = 4330 - 4329.4. Is f <= n?
True
Let t be (3 - 4)*(2 + -3)*1. Does -2/47 = t?
False
Suppose -8 = -4*f - 0. Suppose -t - 33 = f*t. Let y be (-20)/(-6)*(-2 - 1). Is t smaller than y?
True
Let p(q) = q**3 + 5*q**2 - 16*q - 20. Let i be p(-7). Let s(t) = -5*t**2 - t**3 - 3 + 5*t + 7*t - 4*t. Let n be s(i). Which is greater: -1 or n?
-1
Suppose 412*t = 422*t + 60. Which is smaller: -35/6 or t?
t
Let p be (-10)/(-45) + (-715)/3285. Which is smaller: p or 0?
0
Suppose 143 = -3*x - 2*b, 3*x - b = -172 + 32. Let t = x - -42. Which is bigger: 2 or t?
2
Let g(q) be the first derivative of 3*q**2/2 + 88*q - 57. Let h be g(-30). Is -2 < h?
False
Suppose 4*o = 99 + 129. Let d = o - 50. Which is smaller: 3 or d?
3
Let a = -725 - -720. Which is smaller: a or -31?
-31
Let w = -13 - -18. Let v be (14 + -9)*(-42)/w. Let y = -79/2 - v. Are 3 and y nonequal?
True
Let p = 23 - 22.2. Let c = -9 + 5. Let a = -4.1 - c. Which is smaller: p or a?
a
Let n(h) be the first derivative of -h**3 - 5*h**2/2 + 2*h + 5. Let t be n(4). Let y be 1/(-6) - t/(-144). Is y >= 0?
False
Let j = 2 + -2. Suppose -3*t = -5*m - j*m - 10, 4*m + 2*t - 14 = 0. Let r be (-5 + 2)/(8385/130). Which is smaller: m or r?
r
Let x = 3/23 - 163/1426. Let g be (-4)/6 + (-4)/(-6). Is g greater than or equal to x?
False
Let y = -17 + 14. Let t = -3.2 - y. Let p = -9/20 + 1/5. Is p <= t?
True
Let x = 152.4 + -169.4. Which is bigger: -1 or x?
-1
Suppose 4*a - 19 = 5*a + 4*d, 3*d = -2*a - 13. Is 191/5 < a?
False
Let x = 57 - 52. Suppose 0 = -x*k - a + 138, -k = -2*k + 2*a + 21. Which is greater: 26 or k?
k
Let b be -4*((-333)/166 - -2). Suppose g + 9 = -11*g + 21*g. Is b at most as big as g?
True
Suppose 241 = 14*c - 1425. Let v = c - 135. Which is bigger: v or -15?
-15
Let f = 22.08 + -0.08. Let y = f - 20.4. Are -1 and y nonequal?
True
Suppose 0 = -4*i - 4*r - 12, -3*i - 3*r + 3 = -2*i. Let f be 2*-1 - (i - 1). Let j = f + -1. Is j greater than 4?
False
Let f = -139/87 + 3209/145. Which is greater: f or 21?
21
Let u be (6 + 1)/(2/12). Which is smaller: 45 or u?
u
Let d(o) = -22*o**2 + o - 1. Let x be d(-1). Let z be 17/5 + 0 + x/8. Let m = -1.8 + 2. Which is greater: z or m?
z
Suppose 21*r - 271 - 357 = -208. Suppose z = -z + 44. Which is greater: z or r?
z
Let f(n) = 3 + 0 - 4 - n + 0. Let b be f(1). Let h be ((-6)/3)/(1 + 0). Does b = h?
True
Let y = -151 - -91. Let c = y + 60. Do -3 and c have different values?
True
Suppose 5*o = 4*l + 1721, 11*l = 7*l - 5*o - 1751. Which is bigger: -435 or l?
l
Let z = -572 + 204. Is -368 equal to z?
True
Let q = 0.35 - -0.13. Let l = q - 0.47. Which is smaller: 0 or l?
0
Let c be (-2)/(-6) - 22/5. Let v be (-11)/99*(0 + -33). Let u = v + c. Which is bigger: u or -1?
u
Let f be (-15)/(30/8) + 82*-1. Is -86 >= f?
True
Suppose 3*b - 19 = 3*v + 5, b - 5 = 4*v. Suppose 12*c - 18 = b*c. Suppose 3*m - c = -0. Is m <= 2?
True
Let b be (-6)/(-8) - ((-945)/36 + 9). Let u = -1 - -19. Do b and u have different values?
False
Let y(v) = v**2 + v - 1. Suppose 4*d + 5*f = -5, 0*f = 5*d + 2*f + 2. Let h be y(d). Which is smaller: -2/19 or h?
h
Let w = -11 - -8. Let k = -348 - -345. Is k at most as big as w?
True
Let u = 19 + -21.2. Let m = 49 - -11. Let g be (-1*(-2)/4)/((-45)/m). Are g and u nonequal?
True
Let x = -1414845/44 - -32154. Let w = 20/11 + x. Let v = 0.2726 + 0.0274. Which is smaller: w or v?
w
Let y = -2.1 - -2. Let p = y - -0.12. Let t = -0.12 + p. Is t greater than or equal to -2?
True
Suppose -271*h - 217 = -240*h. Suppose 35 - 7 = -4*n. Is h at least as big as n?
True
Suppose -2*j - 2*i - 6 = 0, 25 = 5*j - 13*i + 8*i. Which is smaller: j or 19/10?
j
Let w(s) = -s**2 + 2 + 2*s - 10 + 7*s. Let u be w(7). Is u smaller than 1/2?
False
Let b = 0.7 - 0.758. Let x = 0.042 - b. Do 17 and x have different values?
True
Let u = -6.028 + 0.128. Let x = u + 8.9. Let n be 16/15 - (-4)/(-10). Are x and n equal?
False
Let s be (-3)/15 - (-86)/5. Let a = s - 22. Is -5 equal to a?
True
Sup