, 4*t = -u + 14. Which is smaller: u or -4?
-4
Let s = -0.65 + 0.5. Let v = -1 + 1.05. Let l = v - s. Is l at most as big as 1?
True
Let h = 1.5 + -1.4. Let u = -4.93 - 0.07. Let g = 4 + u. Do g and h have the same value?
False
Let a = -57 + 58. Suppose -3*k + 2*k = -3. Which is smaller: k or a?
a
Let q = 257/28 + -66/7. Let v be (3/4)/(6/4). Is v less than q?
False
Let p = -58.1 + 58. Which is greater: p or -2/3?
p
Suppose 0 = 5*w - 6 - 4. Let j be 1 - w*(-22)/340. Let x = j - 9/17. Which is smaller: x or 0?
0
Let z = -1765/133 + 94/7. Which is smaller: z or 0?
0
Let u be (-36 + 35)*(2/(-2) - 3). Let l be 2*1*(2 - 1). Suppose z - 10 = -3*r, l*z + 3*z - 30 = -5*r. Is u <= z?
True
Let h be 38/18 + 4/18. Suppose 4*v = 4*n + 2 + 6, v = 5. Is h equal to n?
False
Let u = 0 + 4. Let w be 3/(2/u + 1). Suppose -2*n + w*m = 4 - 0, -2*n - 10 = -5*m. Is -1/8 < n?
True
Let w = 1/4365 - 405952/30555. Let i = w + 13. Which is smaller: 1 or i?
i
Let g be -1*(1 + (-2 - 1)). Which is greater: g or -2/11?
g
Let v(x) = -8*x**2. Let h be v(1). Let s be 32/12*(-2)/h. Which is greater: 1 or s?
1
Let k be (3 - 2)*-1 - -2. Let t = 2 - k. Is t > 2/21?
True
Let r = -17/5 - -73/20. Which is bigger: 1/3 or r?
1/3
Let l(b) = -2*b**3 - 1. Let w be l(-1). Suppose u + w = 4. Suppose 0 = -u*p + 3*x, -4*p + 3*x - 7*x - 16 = 0. Which is smaller: p or -0.1?
p
Let i = 0.08 - 6.08. Let o = -5.568 - 0.032. Let q = i - o. Which is greater: 1 or q?
1
Let p = 17 + -69/4. Suppose -z + 0 - 3 = -4*t, 0 = -2*t + 2*z. Let y be t + 2 + -2 + -2. Are p and y nonequal?
True
Let h = 3 - -1. Let b = 2 + h. Let p = b - 5. Which is bigger: p or -1?
p
Let l be (-22)/8*(-9 - (-230)/30). Suppose 0 = 4*p - 19 + 3. Is p smaller than l?
False
Let i(x) = 28*x + 46*x - 1 + 13*x - 2*x. Let j be i(-2). Let t be (-123)/j - (-4)/(-6). Is t bigger than 0?
True
Let x be (-1)/2*0/2. Let y be 2/4*(x + 4). Let a be 2/(-9)*(-3)/y. Are -0.1 and a nonequal?
True
Let g(c) = c**2 - 6*c - 5. Let z be g(7). Suppose u + b - 4 = 0, -b - 10 - 1 = -z*u. Suppose -n = -2*r - 5, 6*n - u*n - 8 = 5*r. Is -2/5 at most as big as r?
False
Suppose 5*b - 8 = -18. Is -15/7 at least as big as b?
False
Let b be (-3)/1 + 30/9. Let a = 2.3 + 0.6. Let x = -3 + a. Which is smaller: x or b?
x
Let x = 0.4 - -0.1. Let q = -2 - -2.1. Does q = x?
False
Suppose l + 1 - 2 = -z, l + 3*z + 1 = 0. Let k = -17658/17 + 1039. Let a = k - -19/51. Is l less than a?
False
Suppose -4 - 16 = -4*k. Suppose t = k + 3. Let z be (-12)/16 + 2/t. Which is greater: z or 0?
0
Let c = -0.12 + 0.23. Let g = 3.11 - c. Which is smaller: -0.1 or g?
-0.1
Let q = 14 - 11.2. Let i = -3 + q. Let z = 0.2 + i. Is z at most 0.1?
True
Let x be ((-5)/(25/(-15)))/(1/(-5)). Is 1/3 at most as big as x?
False
Let f = 6 + -7. Let z = 0 + f. Let c be ((-3)/9)/(8/(-6)). Is c at least as big as z?
True
Let w = 0.2 + -0.3. Suppose -5 = 5*z + 5. Is z at least w?
False
Let b = -7 + 17. Let p = -8 + b. Is p greater than 12/11?
True
Suppose 5*t + 0*t - 10 = 0. Let j = 0.69 - -0.01. Let f = j + 0.3. Is f less than or equal to t?
True
Let p = 24 + -24. Which is greater: 0.12 or p?
0.12
Suppose -4*u = -9*u. Let k = -5 + 9. Suppose k = -0*o - 4*o. Which is greater: o or u?
u
Let v(p) = p**2 - 11*p + 15. Let y be v(10). Which is bigger: y or 3?
y
Let y = -120 + 838/7. Suppose 6*m - 12 = 2*m. Let u be (m/4)/(4 + -1). Which is smaller: y or u?
y
Let p be (-176)/(-18) - (-16)/72. Suppose 5*k - 10 = p. Suppose 0 = -5*w + 4*i + 15, 0*i - 5*i - 15 = -5*w. Are k and w non-equal?
True
Suppose 0 = -3*v + 2*j + 5, -2*v - 2*j = -j - 8. Are v and -10/3 nonequal?
True
Let t be 18/2*19/(-19). Which is greater: t or -0.1?
-0.1
Suppose 2*m - 5 = -5*n, n = m + 6 + 2. Which is smaller: 2 or n?
2
Suppose -10 = 5*h - 5*m, -8 + 6 = 2*h - 3*m. Let k = 4 + h. Let o be (1/(-5))/((-6)/10). Which is greater: o or k?
o
Let h be -3 - 1 - 34/(-10). Do h and -1 have the same value?
False
Let r = 36.064 + -0.064. Is -1/4 greater than r?
False
Let x = -14 - -19. Suppose -l + 5*j - x = 0, -j + 0 + 1 = 3*l. Which is smaller: l or 3?
l
Let d(l) = -l**3 - 5*l**2 + 2*l + 11. Let o be d(-5). Is -0.6 less than o?
True
Let i be (4/2)/(-2)*3. Let y be -2 - 4/8*-4. Suppose 4*z + 4 = -t - 3*t, y = -4*t + 5*z - 13. Which is smaller: i or t?
i
Let f be (0 - 1/4)/((-2)/4). Which is smaller: -13 or f?
-13
Suppose -t + 15 = 16. Which is smaller: t or 2/349?
t
Let u = -12.9 + 13. Is 1 bigger than u?
True
Suppose 0 = s - 5*s - 144. Let d be (-4)/(-14) - s/(-77). Let v(r) = r**2 + 2*r - 2. Let k be v(-3). Does k = d?
False
Suppose 2*r = -3*r. Let s be (-10)/(-25)*10/6. Is s at least r?
True
Suppose -w + 5*y = -0*y - 4, -2*y = 0. Which is smaller: 5 or w?
w
Let b(d) = d**2 - 5*d + 10. Let l be b(10). Let t be (2/(-6))/(l/(-18)). Do t and 0 have different values?
True
Let w = 12 - 24. Let q be (8/(-6) + 1)*w. Let h = q - 6. Are -3 and h unequal?
True
Let j be (-1 - -1) + (2 - 11). Do j and -8 have different values?
True
Let l be 40/24 + 4/(-6). Which is smaller: -1 or l?
-1
Suppose n + n = 10. Suppose -n*v + 2 = -4*c, -14 = 4*v + c + c. Which is smaller: -1 or v?
v
Let a(o) = -o**2 - 10*o + 12. Let q be a(-11). Which is bigger: q or -0.3?
q
Let n be (-1)/(-2)*36/(6 - 15). Suppose -4*v - 8 = 2*z, 0*v + 2*v - 2*z = -10. Is n less than or equal to v?
False
Suppose -5*d - 2*v - 48 = 0, 6*v - 2*v = -16. Is -3 at least d?
True
Suppose 2*w + 0 = -2. Let u = 8 - w. Which is greater: u or 8?
u
Let a = 1959/20 - 98. Which is smaller: -1 or a?
-1
Let f = -111 + 111.1. Let z = 2.8 + -3. Which is bigger: z or f?
f
Let v be (-4)/15 + (-8)/(-12). Which is greater: v or 1.6?
1.6
Suppose 5*v + 2*x - 7*x = -10, 18 = -3*v - 3*x. Let b = v + 4. Suppose b*h + 1 = h. Is -1 at least h?
False
Let m = 45 + -136/3. Let i be (-294)/135 - (-6)/(-27). Which is smaller: i or m?
i
Let o(l) be the third derivative of 4/3*l**3 - 2*l**2 + 0*l - 7/24*l**4 + 0 - 1/60*l**5. Let q be o(-8). Is q < 0?
False
Let w(j) = j - 2. Suppose -r = 5*y - 8, -10 = -7*y + 3*y - 2*r. Let g be w(y). Let z = -233/536 - -4/67. Is g bigger than z?
False
Let v = 4/13 - 29/52. Let m = -2 + 17. Let n be 1/((m/(-6))/(-5)). Which is smaller: n or v?
v
Let q = -35 + 67. Suppose -4*p + q = -4*v - v, 8 = -2*v. Are -1/4 and p equal?
False
Suppose 5*c = -4 - 1. Let i be 0 + c + 18/10. Do 0 and i have the same value?
False
Let o be ((-48)/40)/((-3)/20). Let a = o - 13. Let n be a/(-60) - (-2)/8. Which is greater: 0 or n?
n
Let g = 21683/20 - 4893/4. Let a(x) = -x**3 - 3*x**2 + 7*x - 8. Let h be a(-7). Let i = h + g. Does -1 = i?
False
Suppose -2*q = 4*t + 18, -5*t + 0*q = -5*q + 30. Are -4 and t non-equal?
True
Let z(v) = -2*v - 6. Let c be z(-4). Is 5/4 > c?
False
Let d be 38/(-20) - (-6)/12. Which is smaller: -1 or d?
d
Let z be (4/20 - 0)*5. Let o(n) = -n - 4. Suppose -2 = 3*c + 13. Let b be o(c). Do z and b have different values?
False
Let i(t) = -t - 4. Let k be i(-6). Is k != 2?
False
Let a = 9 + -65/7. Do -0.21 and a have different values?
True
Let c(m) = 5*m + 0 - 4*m + 8. Let u(k) = -k**2 + k - 9. Let y be u(0). Let h be c(y). Is h != -1/3?
True
Let u = -50 + 58. Which is smaller: u or 3?
3
Let k = 2 - 14. Let i = 17 + k. Suppose -3*n + i = -1. Is n equal to 3?
False
Suppose 3*m = o + 26, 7*m = -4*o + 6*m - 39. Is -23/2 > o?
False
Suppose 2*m + 2 = t, 6 = -t + 4*t + 5*m. Let k(h) = -t*h**2 - h**3 - 4*h - 7*h - 8*h**2 + 2*h. Let f be k(-9). Is -1 at least f?
False
Let a(r) = r**3 + 7*r**2 + r + 6. Let y be a(-7). Is -3/8 > y?
True
Suppose 0*d = 8*d + 264. Is -32 >= d?
True
Let q(h) = -h - 15. Let s be q(-7). Let x = -11 - s. Which is smaller: -5 or x?
-5
Let w be (-1016)/22 - 8/(-44). Is w != -46?
False
Suppose w = 5*g + 3, 5*w + 2 = 3*g - 5. Which is greater: -9/5 or w?
-9/5
Let i(y) = y**3 + 7. Let l be i(0). Let o(r) = -r**2 + 6*r + 3. Let t be o(l). Is t bigger than -4?
False
Suppose 22 = -2*c - u, 6*u - 3*u = -c - 6. Are -12 and c equal?
True
Suppose -3*t + 3*k = -24, t + 2*k = -2*k - 12. Suppose -t*u = -u - s - 17, 5*u - 2*s = 27. Does 7 = u?
True
Let h = -1547/10 - -155. Which is greater: h or 0?
h
Let t be 2/(-3) - (-123)/9. Suppose -29 = -5*m + 4*d, -2*d + 0*d + t = 3*m. Do m and 2 have the same value?
False
Suppose 2*k - 3 = 7. Suppose 2*h = 3*g - 3*h - 28, -k*g = -3*h - 20. Is g > 1/7?
True
Le