*t + u*t. Which is smaller: t or -5/2?
t
Let a = 835 + -812. Are a and 17 non-equal?
True
Let x(s) = -s + 16. Let h be x(0). Let a be (-4)/h*0*-1. Suppose -4*j + 3*c + 15 = -6, a = -4*j - 3*c + 3. Which is bigger: 1 or j?
j
Suppose 0 = 7*f - 6 - 1. Suppose -2*t + 14 = 2. Let o(a) = -2*a + 8. Let m be o(t). Which is smaller: m or f?
m
Suppose -2*w + 4 = -14. Suppose 6*x = 9*x - w. Is x not equal to 3?
False
Suppose 119 = 3*d + 3*g + 2*g, 0 = d - 5*g - 13. Which is greater: -0.1 or d?
d
Let s = 165 + -156.1. Let j = -28.1 - s. Which is smaller: j or -1/2?
j
Suppose j + j - 3*o = 22, 6 = 2*j + 5*o. Which is smaller: j or 10?
j
Let z = 5.9 - -2.1. Let o = -6 + z. Let a = -1.7 + 2. Which is smaller: o or a?
a
Let b = 4 + 1. Let p be (18/(-5))/((-2)/b). Let a = -1 + 11. Is a at least p?
True
Suppose 69*j + 519 = 72*j - 4*n, j - 2*n - 171 = 0. Are 178 and j equal?
False
Let n(k) = -8*k**2 + 104*k + 26. Let h be n(13). Let m be 2 - (-1 + -25 + 2). Is m greater than h?
False
Let m(f) = f**3 + 4*f**2 + 3*f + 2. Let d be m(-2). Suppose 5*h = 4*n - d, 4*n = -n + 5*h + 5. Which is greater: 3 or n?
3
Let w be 32/20*-4 + 4 + 2. Let p = 2 + -3. Let g be (2 - (2 - p)) + 1. Is w >= g?
False
Let d(z) be the first derivative of z**3/6 - 3*z**2/2 - 3*z + 4. Let h(m) be the first derivative of d(m). Let u be h(4). Are -0.1 and u unequal?
True
Let a = -0.74 + 1.74. Is -0.071 at most a?
True
Let b be (-1)/4 + (20/12)/(-5). Suppose -4*a + 7 = -5*y, -6 = 2*a - y - 5. Is b bigger than a?
True
Let a be (-22940)/333 + 4/(-9). Is -69 equal to a?
False
Let s = -39 - 5. Let m = s - -16. Is 1/2 less than m?
False
Let j = 58 + -28. Let u be (36/(-10))/(2 + (-69)/j). Is 13 at least as big as u?
True
Suppose 132 = 15*l - 17*l. Is l at least as big as -63?
False
Let p be (-1578)/(-42) - 6/(-14). Let r be -2 - (p + (-3 - -4)). Is r <= -41?
True
Suppose -3*m - 4*v + 35 = -6*v, 3*v + 12 = 0. Let y(r) = -r - 10. Let i(a) = 3*a + 21. Let x(n) = -2*i(n) - 5*y(n). Let d be x(m). Which is greater: -1/9 or d?
-1/9
Let s be -1 - (-48)/8 - -42. Is s smaller than 48?
True
Let f = 1107 - 676. Let o = f + -1739/4. Does -5 = o?
False
Let d be -11 - 539/(-44) - (-146)/(-8). Is -18 at most as big as d?
True
Let t = 148 - 48. Let k be (2/t)/(2/24). Which is bigger: 1 or k?
1
Suppose 3*n + 1 = 7. Suppose 24 = 8*p - n*p. Suppose -p*k - 2*y = -4, 11*y - 21 = k + 6*y. Which is greater: -1/33 or k?
-1/33
Suppose -2912 = -11*f - 3*f. Is 209 <= f?
False
Let x = 4 + 11. Suppose 0 = f + 2*u - 11, 4*f + 3*u = 5*f + 9. Let a be x/10*4/f. Is a < 0?
False
Let j be (103/4)/((-16)/1536*27). Is -93 greater than j?
False
Let s = -2140/7 + 307. Let i(q) = -q + 9. Let z be i(9). Which is bigger: z or s?
s
Suppose 5*h - x - 32 = 0, -2*h + 5*x + 2 = 3. Suppose 4*y - 26 = -2*q, -2*q = 4*y + 3*q - 41. Let p = h - y. Which is smaller: 1 or p?
1
Let m be (10 - 10)/(-13)*2/4. Is -3/437 at most as big as m?
True
Let x = 29 - 9. Let q = 5 - x. Let d = q - -14. Is d > 1/13?
False
Let s = 2 - 5/3. Let h = -0.8 + 42.8. Let n = 39 - h. Is s >= n?
True
Suppose -w - 5 = 4. Suppose -9 - 43 = -2*k. Let d = k - 35. Are d and w equal?
True
Let t be 1 + -3 + (-4)/(-2). Let h = -8 - -11. Let q be 14/(-49)*h/9. Is t greater than or equal to q?
True
Suppose 20*n - 15*n = 8215. Let b = -351601/214 + n. Which is smaller: 1 or b?
b
Let p = -2 - -18. Let n be (p/(-32))/((-3)/(-2)). Which is smaller: 0.08 or n?
n
Let r be -4 - (2 - -33)/(-7). Which is smaller: r or -3/98?
-3/98
Let y be (12/(-21))/(12/(-126)). Which is smaller: y or 0?
0
Let z = -85/28 - 977/84. Is 1 smaller than z?
False
Suppose -105*a + 113*a = 1888. Is a equal to 236?
True
Let a be ((-5)/(-35))/(78/(-3913)). Is -8 smaller than a?
True
Let z be 5*54/(-225)*560/12. Is z less than -44?
True
Let m = 1761605 + -251911425/143. Let p = -202/13 - m. Is -3 greater than p?
False
Suppose -7*j = 3*j - 60. Let c be (-9)/(-6)*(j/(-3))/(-4). Which is smaller: 2.7 or c?
c
Suppose 134*s - 86 = 48. Is 1/1274 at most as big as s?
True
Suppose -5*a + 1069 = -m, -5*m + 0*a = -5*a + 5365. Is m != -1075?
True
Suppose 3*c + 20 = -19. Let u = c - -14. Which is smaller: -2/83 or u?
-2/83
Let q = 75 - 70. Let l be q/(2*(-4)/8) + 3. Which is bigger: -5 or l?
l
Let v be 6/2 - 6/2. Suppose 0 = -v*w + 8*w + 200. Which is smaller: w or 1?
w
Let v = 3458/3 - 1153. Which is smaller: -307 or v?
-307
Let y = 831/2 - 406. Which is smaller: y or 9?
9
Let f(d) = 2*d**3 + d**2 + 2*d + 4. Let n be f(-2). Are n and -9 equal?
False
Let i = -0.586 + 0.716. Let d = 0.91 - 0.8. Let l = i - d. Which is smaller: 0.3 or l?
l
Let p be -1*(-2 + 5 + -3). Suppose 5*g - 2*z + 66 = p, -z = 4*g - g + 33. Is g bigger than -13?
True
Let w(s) = -s**3 - 2*s**2 + 4*s + 4. Let o be w(-3). Let m be -4 - -3 - (-161)/159. Let z = m + 47/477. Which is bigger: o or z?
o
Let c(g) = 15*g + 25. Let s be c(-10). Is -125 greater than s?
False
Let d = 163.85 - 164. Is 0.1 at least as big as d?
True
Let h = 0.0211 - 0.1211. Let s = -10.1 - -11. Let i = s - 1. Is i greater than or equal to h?
True
Let m be (-2 - 0)*603/(-18). Suppose 6*x + m - 1 = 0. Which is smaller: x or -12?
-12
Suppose 4*m = -2*z + 8, -4*m + 5*z + 0 = -8. Is m at most 21/26?
False
Let l(s) = -s + 11. Let i(t) = -t + 10. Let m(r) = -7*i(r) + 6*l(r). Let d be m(8). Suppose 15 = -d*x + 7*x. Which is greater: x or 2?
x
Suppose 4*u + p = -0*u - 7, 4*p = 3*u + 10. Let o be u/(-2) - 5 - 33. Do o and -38 have the same value?
False
Suppose -4 - 2 = -3*s, -4*s + 8 = y. Let f be y - -2 - (3 - 3). Which is smaller: f or 5/8?
5/8
Let z = -919/28083 + 6/253. Which is smaller: z or 1?
z
Let q = 3 + -5. Let n be (-21)/45 + q/(-6). Let l be 5 - 5 - 2/(-2). Is l greater than or equal to n?
True
Let x(w) = -11*w + 12. Let j be x(4). Which is smaller: j or -31?
j
Suppose -n + 5*k = 8*k + 430, -2*n = 3*k + 863. Let a be (-4)/(-3)*6474/20. Let j = n + a. Is -1 greater than or equal to j?
True
Let j = 85/21 - 26/7. Let f = -8131/1743 + -1/581. Let a = 9 + f. Which is bigger: a or j?
a
Let r(k) = -2*k**3 + 28*k**2 - 8*k + 21. Let v be r(14). Is -363/4 < v?
False
Let z be -2 + (-1 - (2 - 3)). Let c be (-3)/(2 - -1) - z. Let k be (-8 + 124/15)*1*3. Which is bigger: c or k?
c
Let b(s) = -s**2 - 13*s + 4. Let n be b(-13). Let f = 4 + -10. Let t be f/n - 69/(-54). Which is bigger: 2 or t?
2
Let s(x) = -20*x + 802. Let w be s(42). Is w > -116/3?
True
Let r be 107 - ((-6)/(-15) + (-16)/(-10)). Suppose 3*k + 2*k = r. Does k = 24?
False
Let c = -1.2 + 0.2. Let p be (-556)/(-16) + 3*5/60. Which is smaller: c or p?
c
Let s = 27.6 - 30. Let v = s - -4.4. Let z = -0.02 - 4.98. Which is bigger: v or z?
v
Let g = -23/482 - 45169/13014. Is -3 less than g?
False
Suppose -c + 5*c = -3*j + 40, 0 = 2*j + 2*c - 24. Suppose -3*w = w - j. Is 5 not equal to w?
True
Let p be (36/(-8))/9*-4. Suppose -p*t = -t. Suppose -z = -5*k - 16, -2*z + 4*k = -t - 2. Which is greater: z or -7?
-7
Let a = 13.21 - 5.21. Which is greater: 16/5 or a?
a
Let y = 10 - 14. Let p be 2 + (168/y)/3. Let a = p - -11. Which is bigger: a or -2/25?
-2/25
Suppose -48*b = 24 + 24. Is b bigger than -3/98?
False
Let u(w) = -2*w**2 - w + 1. Let s be u(1). Let k be 6 + (s - 4/(-1)). Which is smaller: k or -2/9?
-2/9
Suppose -204 = 4*j - 240. Which is greater: j or -13/2?
j
Suppose v - 23 = -5*h, -v - 4*v = 3*h - 27. Suppose b - 4 = -b - s, 2*b + 3*s = h. Let o be ((-8)/(-9) + -1)*b. Which is smaller: o or 0.2?
o
Let p = -54 + 24. Let r = 21 + p. Let l = r - -7. Is 2 >= l?
True
Let g be 11180/1120 - (-40)/(-4). Which is greater: g or 1?
1
Let x = 76.4 - 77.4. Let p = -5 - -1. Let g = p - -4. Is g not equal to x?
True
Let c = 10 - 10. Suppose -2 = -9*g + 7*g. Let t be c + 3/24 + g. Is t >= 1?
True
Suppose 0 = i - 1 + 2. Let t be -7 + 2 + (6 - (43 + 0)). Which is smaller: i or t?
t
Let l(x) = -1 - 2 - 1 + 2*x. Let g be l(3). Suppose -g*u = -3*u. Which is smaller: u or 3/4?
u
Let k(z) = 2*z - 7. Let s be k(-3). Let o(a) = -a**3 - 13*a**2 - 6. Let b be o(s). Let p be b/(-10)*12/(-126). Is 0 >= p?
True
Suppose -w + 3 = 4*i - 2*i, 3*i + 5*w = 1. Let s = 39 + -15. Suppose 3*n + 5 = -i*n + 2*t, s = 4*n + 4*t. Which is greater: n or -2?
n
Let t = 0.052 + 5.048. Which is smaller: t or 3/2?
3/2
Suppose 3*y + 0 = 3. Let d = -17 + 20.5. Let x = d - 1.5. Which is great