 - 126, -32 = l - t*a. Is -24 smaller than l?
False
Let n = -100/9 + 482/45. Let t = -11 + 15. Let x = t + -4.03. Is n smaller than x?
True
Let b = 0.23 - -0.07. Let l = -113/175 - -9/25. Is l at most b?
True
Let x = 945 - 950. Are -26/7 and x equal?
False
Let t = 2.16 - 2.26. Which is bigger: -2/63 or t?
-2/63
Let v be ((-4)/(-8))/(2/16). Let j(s) = s**2 - 18*s - 397. Let u be j(31). Which is smaller: v or u?
v
Let h = -0.164 + 5.164. Is 4/9 less than h?
True
Let k = -2 - -11. Let w = 17 - 0. Let s = k - w. Which is bigger: s or -7?
-7
Suppose -741 + 542 = u. Let p = u - -199. Let a = 221/385 + 2/77. Which is greater: p or a?
a
Let s = 258 - 516. Is s <= 1/4?
True
Let x(p) = 16*p - 51. Let i be x(8). Which is greater: i or -2?
i
Let u(x) = x**3 - 5*x**2 + 5*x - 4. Let q be u(3). Let k be (10 - 9)*22/(-5) + 54/135. Is k at least q?
True
Suppose 0 = -h + 2*f - 3, -f + 4 = -8*h + 5*h. Let p be -1 - (h/(-2))/(2/(-16)). Is p greater than 7/4?
True
Let g(o) = -o**3 - 31*o**2 - 29*o + 29. Let v be g(-30). Suppose 0 = -5*r + 141 + 114. Let y be 4*(2 + (-99)/r). Which is smaller: y or v?
v
Let z = 0.0399 - 42.6399. Let i = z - -5.6. Which is smaller: i or 1?
i
Let h(f) = -2*f**2 - 23*f - 10. Let z be h(-12). Is -2/7 <= z?
False
Suppose 4*v - 4885 = 9*v. Let t = -42009/43 - v. Which is greater: -2 or t?
t
Let z = 0.4008 + 0.0112. Is z less than or equal to -1?
False
Let a = -5.1 + 4.8. Let x = 0.3 - a. Which is greater: x or -0.2?
x
Let c = -13.2 - 36. Let n = -49 - c. Is -10/7 smaller than n?
True
Let f be (-1 + -1)/((-9)/27). Suppose -2*a - 5 = -3*x + f*x, 3*x = -5*a - 8. Which is bigger: a or 2/9?
2/9
Let f = -59.8 + 10.8. Let o = -52 - f. Which is smaller: 1.3 or o?
o
Suppose 2*a - 8 = -4*z, 4*z + 6 = 2*a - 2. Suppose -3*f - 3*f + 30 = z. Suppose 5*k - f = -p, 0 = 4*p - 2*p + 4*k - 4. Which is smaller: p or 1/2?
p
Let r = 28/39 - 5/13. Let w = 5.6 + -6.2. Which is bigger: r or w?
r
Let z(x) = -16*x + 0*x**2 + 2*x**2 - 13 - 4*x**2 + 3*x**2. Let g be z(17). Let o be 0*(1 + 0) + 4. Are o and g equal?
True
Let p = -4625/9 - -1549/3. Suppose 285*n - 138*n = 116*n + 62. Which is smaller: p or n?
n
Suppose -118 = 5*k - 3*h, 2*k = -k - 5*h - 98. Let v = k - -28. Which is smaller: v or 0?
0
Suppose -4 = 7*k - 8*k. Suppose -k*z - 26 = 2*l, 0 = -0*l - 2*l - 3*z - 24. Let a be l/18 + (-1)/(-2). Which is bigger: 12/13 or a?
12/13
Let q = -0.05 - 11.95. Let b = -0.34 - -12.54. Let g = b + q. Which is bigger: g or 4?
4
Suppose 0 = -17*y - 65 - 173. Is -13 <= y?
False
Let v = -6.5 + 13.5. Are -9 and v equal?
False
Suppose 4 + 5 = 3*f. Suppose 2*v + 3*v = -4*p - 16, -5*p - 4*v = 20. Let m = 0 - p. Which is smaller: f or m?
f
Suppose -5*i = -o - 137, 0 = -i + 4*i + 5*o - 71. Let a be (-128)/(-22) - (-8)/44. Let b be a/i - (-158)/18. Is b >= 9?
True
Let j = -5 + 13. Suppose 0 = 4*o + j, 4*o + 8 = 3*i - 0*o. Which is smaller: -7/10 or i?
-7/10
Suppose 3*j + 3*d + 8 = j, -4*j = -3*d + 34. Let n(l) = -3 - 6*l + 2*l + 5*l. Let t be n(-4). Is t at least as big as j?
True
Suppose 0 + 12 = 3*t. Suppose -4*s = t*s + 8. Which is bigger: -13/6 or s?
s
Let k be ((-3)/5)/((-1)/(-5)) - -2. Is k at most -5/14?
True
Let l(d) = -183*d - 1098. Let v be l(-6). Does v = 7/8?
False
Let c = 1335 + -316396/237. Let r = 481/1659 + c. Is -2 smaller than r?
True
Let g = -4 - -8. Suppose -l = -5*x - 6, x + 3*x = -g. Let n = -8967/124 + 289/4. Is n less than or equal to l?
True
Suppose -2*i + 5*i + 5*m + 1 = 0, 2*m + 6 = -4*i. Are i and -2 unequal?
False
Let c be 3/(-4) - 146/8. Let p be 11/(-44) - 1/12. Is c greater than p?
False
Let f = -0.314 - 0.086. Which is greater: -83 or f?
f
Suppose 3*m = -5*a - 4, 6*a = 3*m + 2*a + 13. Let k be 62/(-24) - m/2*2. Is -1 less than k?
True
Let b = -7/1221 + -145271/4884. Is b at most -29?
True
Let h = 17167/88 - 1661/8. Are h and -13 unequal?
True
Let q = -126 + 134. Let y = -1073/4 - -277. Is q at least y?
False
Let x(o) = 3*o**2 + 7*o - 21. Let z be x(-11). Is z <= 267?
True
Suppose -8*a + 5*a + 144 = 0. Let s(j) = j**2 - 9*j - 5. Let o be s(13). Which is smaller: o or a?
o
Let d be (-46)/(-60) + (-2)/(-6). Let k = -4057 - -4057. Is k greater than d?
False
Let a = -0.296 - -0.396. Which is bigger: 2/155 or a?
a
Let i be (-5)/15*(6 - 336). Is i bigger than 111?
False
Let a = 42 + -40. Let c = -221 + 219. Which is smaller: c or a?
c
Suppose 0 = -h - 10*h + 22. Suppose 9*d - h*d = 0. Is -2/335 equal to d?
False
Let h = -5.1 - -5.75. Let n = h - -0.35. Do n and -0.1 have the same value?
False
Let w be -5*(-2)/(-65) - (-180368)/221. Let t = w + -816. Which is greater: t or 0?
0
Let o be 6/15 - 224/35. Let u be (2/o)/((-13)/195). Is u less than 9?
True
Suppose 0 = -4*m - 5*k + 44, 3*k - 8 = -m + 10. Which is smaller: 19 or m?
m
Let y = 0.3 - 0.2. Let o = -0.64 - 5.16. Let l = -6 - o. Which is greater: y or l?
y
Let u = 121.9088 - -0.0912. Do 1/4 and u have the same value?
False
Let j = 0.16 + -0.27. Let i = -131 + 92. Let z be (-6)/i - 40/(-78). Which is bigger: z or j?
z
Let z be (0 - -1)/(1/6*1). Let j be 129/(-9) + 2/z. Are j and 2 equal?
False
Let q = -20 + 93. Suppose -j + 62 - q = 0. Which is bigger: -9 or j?
-9
Let q be (-6)/10 - -12*7/140. Which is bigger: -7/123 or q?
q
Let f = 12 - 9. Suppose 11 = 4*p + f. Suppose 0 = 2*n - 2 - p. Is 5/6 equal to n?
False
Suppose 113 = 3*t + 32. Let l be 2/2*10/((-10)/t). Is -27 bigger than l?
False
Let l be (-55)/9 - 2/6. Let b = 11538 - 11544. Which is bigger: b or l?
b
Let b = -5.2 - -3. Let s = b + 2.13. Let q = s - 0.93. Is -5 at least as big as q?
False
Suppose 56*r - 620 = 556. Is r at least as big as 25?
False
Let g = -125 - -878/7. Which is smaller: g or 4?
g
Let b be -15 - (9 + (-17 - -1)). Which is bigger: b or -1?
-1
Suppose -4*o - 191 = -8*i + 5*i, -4*i = -o - 38. Do -47 and o have the same value?
False
Let h(x) be the first derivative of -9*x**4/4 + x**3/3 + 5. Let j be h(-1). Let c be 5/j*(-8)/6. Is -1 less than c?
True
Let p(w) = w**2 + 7*w - 4. Let z be p(-8). Let b be z - (0 - (2 + -6)). Let r = 149/3 - 49. Which is smaller: r or b?
b
Let q = -64 - -93. Suppose 0*k = -3*t - 5*k - 63, -2*t = -k + q. Which is smaller: -19 or t?
-19
Let c = -539251/143 + 3771. Suppose 2*l = l - 1. Is c less than l?
False
Let m(a) = -a**3 + 8*a**2 + 5*a + 36. Let x be m(9). Let u be 1*(0 - (-4)/102). Which is smaller: u or x?
x
Let z(u) = -10*u**2 - 2. Let x be z(0). Which is bigger: x or -7/4?
-7/4
Let b = 11 + -6. Suppose b*s = 2*s + 6. Let y be (-24)/(-5) + (-2 - 2). Which is greater: s or y?
s
Let z = 42 - 36. Let o be -3*(z/52)/(-3). Are 0 and o nonequal?
True
Suppose 0*b + 2*b = -5*j + 397, 2*j - 1003 = -5*b. Which is smaller: 0 or b?
0
Let q be 4/(-2) + 34 + -6. Let h be 13/q + 11/(-2). Let m(f) = f + 2. Let b be m(h). Which is smaller: -2 or b?
b
Suppose 0 = 2*r - 2*g + 56, 0 = 4*r - 7*r + 5*g - 90. Let t be ((40/r)/(-4))/(7/(-55)). Is t <= -0.1?
True
Let t = -153 - -157. Which is smaller: t or 0?
0
Let k = 100 - 100.1. Let r = 149.7 + -142. Let i = r - 10. Is k >= i?
True
Let f = 22 + -12. Suppose -4*j = -3*c - f, 3*c + 4*j - 3*j = -5. Let t be 1 + (14/9)/c. Which is smaller: t or 1?
t
Suppose -10 = -3*p + 5. Let n = 4069 + -4063. Which is smaller: n or p?
p
Let j = -110 + 106. Is j at most 0?
True
Let v be (-414)/(-120) - ((-6)/8 + 1). Let l = v + -124/45. Which is bigger: 2 or l?
2
Let n(p) = p**2 + 4*p - 55. Let f be n(-10). Is f <= 3?
False
Suppose -2*m - 2*m - 4 = 0. Let z be -4 + -1 + 2233/377 + (-6)/13. Is m not equal to z?
True
Let h(o) = -40*o + 9. Let r be h(-1). Which is bigger: 52 or r?
52
Let g = -619/165 - -42/11. Suppose 4*n + 2*y = -6 + 18, 0 = 2*n - 2*y. Suppose n*r - 1 = -3. Which is bigger: g or r?
g
Let c = -55 - -59. Suppose -2*k - 3*b - 3 = 3, 0 = -c*k + b + 2. Let x = 6 - 4. Is x less than k?
False
Let n be 6/2*-1 - 1285. Let w be n/(-20) + -2 - 3. Let k = w - 59. Is k != 2?
True
Let p be -18*26/(-17199)*9/2. Suppose -r - 2*a + 16 = 2*a, -16 = -2*r - 4*a. Is r at most as big as p?
True
Suppose -6*v = 3*k - v + 18, -5*v = -3*k + 12. Suppose 3*x - 5*y - 35 = 0, 2*x - 3*y = x + 13. Suppose 5*s - x*s = -5. Which is smaller: s or k?
k
Let k be 1/(-4) - 15/(-68). Suppose 0 = 22*g - 55 + 77. Is g at most as big as k?
True
Let q be (3/21)/((-374)/88). Does 0 = q?
False
Let d(z) be the firs