
Let u = -3 - -1. Let h be 12 - -27*12/(-24). Does u = h?
False
Let t = 108 - 83. Let x be (9/(-6))/(12/(-184)). Which is smaller: t or x?
x
Let a = 111 + 500. Which is bigger: a or 610?
a
Let s = -400072/17 + 23526. Which is smaller: -8 or s?
-8
Suppose h - 7 = 9. Let r(f) = -8*f**2 - 6*f + 8. Let g(i) = -7*i**2 - 5*i + 9. Let y(k) = -7*g(k) + 6*r(k). Let v be y(6). Which is bigger: v or h?
h
Let h be 5 + -42*(-54)/(-396). Suppose w + 2 = -0*w. Is w equal to h?
False
Suppose -15 = -5*s, s + 9 = 5*d - 3. Let h = -26 - -17. Let t be 5 + 2*h/6. Which is smaller: t or d?
t
Suppose 15*f + 144 = 18*f. Suppose j + 5*i = 13, 0 = 4*j - 2*i - f - 48. Which is greater: j or 24?
24
Let k = 49 - 47.3. Let x = k - -1.3. Which is bigger: -0.4 or x?
x
Let k = -0.019 + 49.019. Let g = -151 + 150.9. Are g and k unequal?
True
Let y(a) = -2*a**2 - 4*a - 1. Let q be y(4). Let g be (-24 - 47) + (37 - 15). Are g and q unequal?
False
Suppose -2*o + 13 = 3*n, -2*n - 2 + 9 = o. Which is smaller: 2/1141 or n?
2/1141
Suppose -4*k = 4*i + 488, 482 = -5*i - 2*k - 131. Is i at most as big as -123?
True
Let i = -129/440 - -9/40. Suppose -5*v = -5*q - 5, 0*v - 2*v + 2 = q. Is i bigger than q?
False
Let j be (-168340)/31265 + 2 + 1. Let l = j + 88/37. Let a = -309/4901 + l. Which is smaller: a or 1?
a
Let m be 37/9 + (-2)/18. Let k(o) = o + 8. Let y be k(-7). Suppose 5*l = -x + 13, 3*x + y = 3*l + 4. Which is smaller: m or l?
l
Let s = -0.072 + -3.028. Let m = 0.12 - 0.02. Let g = s + m. Which is bigger: g or 1/4?
1/4
Let r be (-26)/(-48) + 14/(-21). Let i = -11/40 + r. Which is smaller: i or 2/79?
i
Let m(b) = -4*b. Let l be m(-5). Suppose -52 = -146*n - 344. Which is bigger: n or l?
l
Let z be (-312)/(-6) - (7 - 4). Which is smaller: 50 or z?
z
Suppose -3*z + 14 = -16. Let r(y) = y + 7. Let w be r(-5). Suppose w*s = 18 + 2. Is s smaller than z?
False
Let u = -11 - -7. Suppose 5*f - 84 = 2*f. Let z = f + -29. Is z greater than or equal to u?
True
Let p(l) = 9*l**2 - 2*l + 3. Let s be p(2). Suppose -5*o + 65 = -4*x, -3*o - 2*o + s = 2*x. Let u = -9 + o. Which is bigger: u or 2/7?
2/7
Let q = -234 - -212. Which is smaller: 2 or q?
q
Let y be (40/(-16))/((-12)/(-8)). Which is smaller: y or -14?
-14
Let l = 2 + -8. Suppose 0 = b + s, 0*b = 5*b - 5*s + 30. Which is smaller: l or b?
l
Let h = 815 - 1209. Is h at least -394?
True
Let t(y) be the first derivative of -y**3/3 - 5*y**2/2 - 4*y - 1. Let p be t(-5). Suppose -8*b - 156 = 18*b. Is b less than or equal to p?
True
Let r be (-1848)/40 - 4/5. Is 1 not equal to r?
True
Suppose 3*n + 4*b = 15, -3*n - 13*b = -16*b + 6. Which is greater: 3/299 or n?
n
Suppose 5*g - 6 - 39 = 0. Let w(s) = -7*s - 164. Let u be w(-25). Which is greater: u or g?
u
Let o be -15 + (-2324)/(-126) + -5. Suppose 4*w = -0*w. Suppose -3*z - 1 = 4*h, h + w*h + 3*z - 2 = 0. Is h at least o?
True
Let t be (0 + -4)*(-22)/4. Let i(o) = o - 3. Let a be i(26). Which is smaller: t or a?
t
Let i = 0.7 + 0.3. Let k(w) = -w**3 - w**2 + 3*w + 1. Let o be k(-3). Let x = o - 12. Is x <= i?
True
Let b be 54/2 - (3 - 0). Let f(m) = m + 1. Let l(a) = -3*a**2 - 5*a - 3. Let o(g) = -5*f(g) - l(g). Let j be o(-3). Is b at least as big as j?
False
Let b = -10.5 + 10.5. Is 0.24 less than b?
False
Let u = -145 + 261. Suppose 0 = -5*m - j - 11, -1 + 0 = m - j. Let g be m/(-9) - u/117. Which is smaller: -1 or g?
-1
Let c be (-6)/38 - 0/(-4). Suppose 0 = 3*y - 22 + 1. Suppose -y*r - 3 = -10. Is r != c?
True
Let c be (-4)/24 + 185/30. Which is greater: -4 or c?
c
Let i(p) = p**3 - 38*p**2 - 42*p + 72. Let w be i(39). Is w >= -351/8?
False
Let z = -225.6 + 228. Let p = -7.8 - -10. Let a = z - p. Are a and 0.2 unequal?
False
Let q = -3/116 - -4417/348. Which is smaller: -1 or q?
-1
Suppose 4*k - 6 = -w, -4*w - k - 9 = 12. Are -4 and w equal?
False
Let x = -775.07 + 797. Let f = x - 22. Let n = f - -0.11. Which is smaller: -0.2 or n?
-0.2
Let n be (-588)/(-2765) + (-4)/20. Is n equal to -14?
False
Suppose 3 = d + 5. Let o be d/4*16/12 - 2. Let j be (2 - 0)/2 - 5. Is o bigger than j?
True
Let h(d) = d**2 + 6*d - 9. Let k be h(-8). Suppose -1 = -i + 5. Which is smaller: k or i?
i
Suppose 2*k - 190 = -k - 5*o, 304 = 5*k + 2*o. Which is smaller: -0.1 or k?
-0.1
Let j = 2211 + -1918. Which is bigger: -5 or j?
j
Let h = 0.2 + -0.2. Suppose 2*r = 6*r + 544. Let m = 410/3 + r. Is h greater than m?
False
Let c be (-2 - 2/(-4))*(-48)/72. Does c = -2/403?
False
Let t = -0.07 + 0.12. Let z = t + -0.01. Let q = -5 - -4. Is q smaller than z?
True
Suppose 0 = -2*x - 157 + 41. Which is smaller: -59 or x?
-59
Let c = 22 + 9. Suppose -275 = 5*f + 5*i, 3*f = 4*f - i + 65. Let y = c + f. Is y at least as big as -29?
True
Let o = -2 + 1.9. Let u = 92 - 83. Is u smaller than o?
False
Let o(c) = -2*c**2 + 13*c. Let t be o(6). Suppose 4*y = y + t. Is y at most 4?
True
Let k = -0.079 - 3.621. Let u = k - -4.01. Let d = 0.25 - u. Which is smaller: d or 2/11?
d
Let c be 1 + 4/(12/9). Suppose 30 - c = 2*o. Let l be ((-84)/(-16))/(12/32). Is l equal to o?
False
Let z be ((-3)/2)/(-5 + 2). Let y be 7/(28/6) - 131/44. Let s = 8/11 + y. Is s >= z?
False
Let i(u) = u**2 + 6*u + 13. Let c be i(-2). Let t(d) = d**2 - 5*d - 1. Let h be t(6). Is c less than h?
False
Suppose 1 = -3*b - 2. Let a be (-6*5/(-1980))/(3/(-4)). Which is smaller: a or b?
b
Let d(n) = -n**2 + n - 2. Let t be d(2). Let o be ((-8)/2)/(t/6). Let m be (-280)/(-16)*(-14)/(-35). Is m equal to o?
False
Suppose 0 = -35*p + 32*p + 45. Suppose p*i - 7*i = 0. Which is bigger: i or -4/7?
i
Let k = 1 + -1.1. Let l = k - 0.9. Let r = -846 - -845.9. Which is smaller: l or r?
l
Let f = 17.4 - 14.2. Let g = 0.4 - 0.3. Are g and f non-equal?
True
Let d(y) = y**3 - 4*y**2 - 6*y. Let g be d(5). Suppose 30 = -4*o - 138. Let l be 4*9/o*7. Is g at least as big as l?
True
Let o = -75 + 79. Let w be ((-8)/o)/(4/(-1)). Is w not equal to 0?
True
Let i = -0.697 + -39.003. Let p = i - -44. Let l = p + -1.3. Do l and 1 have different values?
True
Suppose 4*s = 4*u + 12, -u - 6 = -3*u - s. Let r be -1 - (0 + 3 + -5). Is u less than r?
False
Let u = 95 + -96. Let x = -2.06 + 0.06. Let a = x - 2. Is a equal to u?
False
Let i(j) = -3*j**3 + 3*j**2 - 4*j. Let n be i(2). Let c be (n/2)/(0 + 2). Is -3 at least as big as c?
True
Let z = -20 - -45. Let i be -4 + 115/z - 1. Are 1/5 and i non-equal?
True
Let v = -1472.5 - -1461. Which is bigger: -1/6 or v?
-1/6
Let c = 533.51 + -536. Let p = c - 0.21. Which is greater: p or -2/5?
-2/5
Let t = 619/8 + -77. Let k = 48 - 383/8. Let q = t - k. Is q less than or equal to -6?
False
Let f be (20/6)/(2/(-9)). Let j be 132/(-80)*20/f. Is 1 < j?
True
Let h = -1211 + 1132. Are h and -81 unequal?
True
Let q = 11 + -22. Let r(y) = -y**2 + 3*y - 3. Let m be r(3). Let p(i) = -i**2 - i - 4. Let j be p(m). Which is smaller: j or q?
q
Let m = -89.69 + -0.31. Let g = m + 90.044. Which is smaller: g or -2/3?
-2/3
Let h be ((-30)/(-1))/(-2) + -1. Let y = 2011/3 + -685. Let p = h - y. Which is smaller: -2 or p?
-2
Let m(u) = -u**3 + u**2 + 3*u - 2. Let z be m(2). Let n = -2731 + 51913/19. Which is greater: n or z?
n
Suppose -47952 = 69*k - 33*k. Does k = -1333?
False
Let f(b) = -4*b - 24. Let y be f(8). Let o be ((-4)/(-9))/2 - y/72. Which is greater: 6/19 or o?
o
Let b(n) = -4*n + 3. Let y be b(3). Let k be 4*(-1)/3*(-9)/6. Let d be k/(-14)*y/(-3). Which is smaller: 1 or d?
d
Let s = -14393 - -6030657/419. Is s != 0?
True
Let y be -4*(3 - (-45)/(-12)). Let v = -1 + y. Is 1 < v?
True
Let r(w) = 6 - 13 + 5*w + 6. Let t be r(17). Let a be ((-7)/(t/8))/2. Which is smaller: a or -8?
-8
Suppose 6*z = 7 + 29. Suppose -5*d = -z*d + 10. Are d and 12 non-equal?
True
Let r be -23*((-1498)/301 + 5). Which is smaller: r or 0?
r
Let p(u) = -120*u + 47. Let c be p(4). Do c and -434 have different values?
True
Let f = 16.6692 - -0.0308. Is 2 bigger than f?
False
Let w be (1/2)/((-12)/(-864)). Let y be (6/80)/(w/(-30)). Which is smaller: 1 or y?
y
Let o = 132.9 + -133. Which is bigger: o or -358?
o
Let u = 369.84 + -379. Let s = -0.16 - u. Let z = s - 7. Is -2 >= z?
False
Let p(j) = -j**3 + 5*j**2 + j - 7. Let h be p(5). Let u(g) = -4*g**3 - 90 + 85 - 5*g + 5*g**3. Let y be u(h). Are y and -3 non-equal?
False
Let p be ((-10000)/(-300))/(2/12). Do p and 203 have different 