+ 3*r + 38 = 2*r. Suppose -i = -5*k + y, -k + 4*y = -4*k + 21. Are k and 2 equal?
False
Let s = -0.18 - -0.29. Let x = 24.29 - 24. Let d = x + s. Which is greater: d or -0.1?
d
Let t(d) = d**2 + 42*d - 174. Let s be t(-46). Which is bigger: -9 or s?
s
Suppose n + 4*k + 5 = 0, 4*k + 23 = n + 4*n. Suppose 11 = -3*p + 2*p - n*w, -w + 7 = -5*p. Let s be p/12 - 8/144. Is -1.5 less than s?
True
Let c = -0.034 - -0.06. Let o = 20.974 + c. Let r = -21 + o. Is 1/2 equal to r?
False
Let u = 5.35 + -0.35. Let l = 7 - 6.6. Is l bigger than u?
False
Suppose 0 = -x + 4*s + 58, 7*x - 5*s - 287 = 3*x. Let p be (3 + -2 + -10)/(x/4). Which is greater: p or 0?
0
Let q be 28/21 - 1/3. Let m = 1132/1053 + 50/81. Is m < q?
False
Let f be (-6)/3*3/6. Suppose -4*q = -178 + 30. Let a = 36 - q. Is a greater than f?
False
Suppose 5*g - 4 = 41. Let x = 0.63 - 0.73. Is x bigger than g?
False
Suppose 0 = 5*w - 199 + 1169. Which is greater: w or -195?
w
Let v = 1 - -1. Suppose 0 = -y + 2*p - 23, 2 = -3*y + v*p - 59. Which is smaller: y or -17?
y
Suppose -j - 3 = 0, 5*r + 11 = j + 2*j. Let m be 22/r + (-9)/(-18). Which is greater: -6 or m?
m
Let c = -10 + 16. Let q = c - 7. Let o = 15/17 - 190/119. Which is greater: q or o?
o
Let v = 471.811 - 472. Let p = -3.881 + v. Let y = p + 4. Which is smaller: -0.1 or y?
-0.1
Let z = -27 + 9. Let d be 8 + 120/z + (-8)/6. Which is bigger: d or -1/88?
d
Let t be (-24)/(-42)*(-1 + (-15)/6). Is -10/11 <= t?
False
Let w be (1 - (9 + -9))*(31 + 0). Suppose 2*u = u + 31. Is w not equal to u?
False
Let d be (2 - (-2106)/21)*(-1)/2. Which is bigger: d or -52?
d
Let n = -3.2 + 3. Let v = -88 + 55. Let d = 33.3 + v. Is d > n?
True
Suppose 5*b - 33 + 9 = -4*h, -h = -6. Let o = -149 - -2681/18. Is o less than b?
True
Suppose -5*w + 9 = -1. Let j be 15 + (-1)/2*w. Is j < 14?
False
Suppose 0 = -2*n + 9 + 1. Suppose -4*f = 5*i - i + 24, -34 = 3*i - n*f. Let k = i + 9. Is 4 bigger than k?
True
Let o be -14 + (2 - -2 - 2). Let f = o - -15. Is 1 >= f?
False
Let h be 2/(-6) - 2/(-6). Let z be 26/169 + (-56)/26. Let p be ((-14)/56)/((-5)/z). Is p bigger than h?
False
Let z = 120 + -203. Let m = 85.4 + z. Which is smaller: 2 or m?
2
Let c = -1.07 - -0.57. Let a = -0.1 + c. Which is smaller: 3 or a?
a
Let c(p) = p**2 + 5*p + 2. Let o be c(-7). Suppose 2*u - o = -0*u. Is 6 != u?
True
Suppose -2*j + 6 = v, 0*v + 3*j - 8 = -2*v. Suppose 0 = 15*u - 18*u + 9. Let a be (u/(-2))/(-3 + 75/20). Is v smaller than a?
False
Suppose 641 = -2*w + 7*w + 4*t, 2*w - 263 = 5*t. Let f be (-2)/4*((-246)/w + 2). Is f equal to -1?
False
Let p be (-4)/6 - 80/6. Let y(d) = d**2 - 18*d + 30. Let a be y(15). Which is smaller: a or p?
a
Let o = 8.7 - 8.66. Which is greater: -1/5 or o?
o
Let y be (-35880)/(-42)*3/(30/8). Let j = y + -686. Which is smaller: -2 or j?
j
Suppose o + 9 = 12. Let c be 1 + -1 - (o + -4). Let z be (-3)/((-6)/(-2))*c. Are z and -3 non-equal?
True
Let r be (-192)/32 - 26/(-4). Which is smaller: -0.2 or r?
-0.2
Suppose -10*f + 9*f = -30. Suppose 6*k = k + f. Let p be (-2)/(3*1/k). Which is bigger: p or 0?
0
Let u = 2459831/174 + -28273/2. Which is smaller: 1 or u?
u
Let k be (27/48)/((-1)/2). Let l = k + 97/72. Do l and -1 have different values?
True
Let u be 60/(-200)*2*46/12. Is u greater than or equal to -1?
False
Let q = 1 - 1. Let c = 304 + -213. Let d = -90 + c. Is d at least as big as q?
True
Let s = -10.6 + 4.6. Let j = 10 - 18. Let b = j - s. Do b and 2/3 have different values?
True
Let n = 43 - 46. Let r = 9.5 - 12. Let i = r + 0.5. Is n at least as big as i?
False
Let u = 24.073 - 1.073. Which is greater: 11 or u?
u
Suppose 418*q - 420*q = -720. Which is smaller: 359 or q?
359
Let f be -6*((63/(-2))/7 - -3). Are f and 1 equal?
False
Let c be ((-6)/8)/((-21)/14)*1. Let t(m) be the third derivative of m**4/24 + m**3 - 3*m**2. Let u be t(-6). Is u at most c?
True
Let q = 13 - 13.16. Let z = 0.08 - 0.34. Let m = z - q. Are 11 and m unequal?
True
Let n(p) = -p**3 + 6*p**2 + 2. Let c be n(6). Suppose 23 = -k - 2*u - 1, c*u + 84 = -4*k. Let m be k/25 + (-1)/5. Which is smaller: -16/7 or m?
-16/7
Let o = -54/115 + -3/23. Let s(b) = -b**2 - 2*b + 7. Let j be s(-5). Let k be j/6 - (-16)/(-24). Which is bigger: k or o?
o
Let h = 61 - 57. Let v(c) = -2*c**2 - 5*c + 1. Let t be v(h). Which is smaller: t or -50?
t
Suppose -6*q - 4*r = r - 233, -3*q + 2*r = -112. Are q and -7 nonequal?
True
Let n = -860/3 - -295. Which is greater: 3/11 or n?
n
Let n = 273 + -267. Which is greater: 5 or n?
n
Let k be (14/(-3))/(9/648*12). Let o be 2/(-6) + (-80)/3. Are o and k nonequal?
True
Let p = 2955 + -2065. Is p at least as big as 1779/2?
True
Let q(t) = 25*t - 16. Let a be q(-2). Which is greater: -67 or a?
a
Let w(h) = 9*h + 98. Let v be w(-14). Let j(f) = -4*f**3 + f**2 - 2*f + 4. Let c be j(2). Is c bigger than v?
False
Let x(h) = h**2 + 9*h + 34. Let i be x(-10). Which is smaller: 46 or i?
i
Suppose 0*f + 11 = 4*y + 3*f, f - 5 = -2*y. Is 71 at most as big as y?
False
Let i = -777/1930 + 1/386. Let h(u) = 2*u**2 + 7*u. Let n be h(-6). Suppose -3*w = -3*b - 27, 3*b - w + n = -b. Which is greater: b or i?
i
Suppose -3*u + 0*h = -5*h + 3, 3*u + 3 = -5*h. Which is smaller: u or 2/227?
u
Let s(q) = q**3 - 9*q**2 + 16*q. Let j be s(7). Let v be -14 + j - (-1 + -11). Does v = 2?
False
Suppose 2*u - 468 = -7*u. Let m = u - 33. Is 20 at most as big as m?
False
Let c(j) = 10*j**2 - 4*j + 3. Let o be c(1). Suppose -o*q = -4*q - 40. Which is smaller: 7 or q?
7
Let h = -18 - -25. Suppose 10*a - 21 = h*a. Is a less than or equal to 6?
False
Let k(c) = -c**2 + c + 2. Let o be k(2). Let b be (-148)/5 + 30/50. Which is greater: o or b?
o
Let f(x) = x**3 + 2*x**2 + 2*x - 5. Let y be f(-2). Which is smaller: -6 or y?
y
Suppose 18 = -9*m - 9. Which is greater: -34/21 or m?
-34/21
Let a(q) = -2*q - 3 + 0 - 9 + 4*q. Let h be a(6). Which is greater: 4/49 or h?
4/49
Let h = -266 - -251. Is h less than -12?
True
Let j = 93 - 92.98. Let d be (1 + (-13)/14)*3. Let x = d - -5/42. Which is bigger: x or j?
x
Let b = 3/1015 + -45732/19285. Are -3 and b equal?
False
Suppose 14 = -7*a + 3*a + m, -3*a - 5 = 2*m. Let b be (-42)/35*40/a. Suppose 5*c - 3*j - b = 0, -3*c = j - 3 - 1. Is 2 at most as big as c?
True
Let u = 35/2 - 18. Let z(j) = -j**2 - 6*j - 10. Let d(w) = w**2 + 13*w + 19. Let k be d(-11). Let x be z(k). Is u < x?
False
Suppose -3*b = -b - 78. Let z = -7 - -1. Let q be (-559)/b - (-4)/z. Is -15 greater than q?
False
Let d = -1373 - -1293. Which is smaller: -83 or d?
-83
Let o be 778/14 + (-12)/21. Suppose -16*g = -b - 13*g + 39, -4*b = 2*g - 226. Is o less than b?
False
Let q(g) be the first derivative of -11 + 2*g**2 - g + 1/3*g**3. Let s be q(-4). Are -0.03 and s equal?
False
Suppose 3*u + 4*z - 8 = u, 5*u + 4*z - 2 = 0. Let v be (-10)/60 - (-17)/12*u. Is v at least as big as -3/2?
False
Let z(b) be the third derivative of -b**6/120 - b**5/12 + b**4/6 + 2*b**3/3 + 16*b**2. Let r be z(-4). Is -27 not equal to r?
True
Let k = -97.4 + -102.6. Is k at least as big as -2?
False
Suppose -3*p + 50*m - 3 = 53*m, -5*m = -5*p - 5. Suppose -2*q - 2 = -0*q. Is p less than q?
False
Let h = 34626731/5694150 - 2263/5423. Let x = h + 1/350. Which is greater: x or 6?
6
Let k = -12421 + 19587915/1577. Which is smaller: k or 0?
k
Let o = -118/57 + 33/19. Is o at least -207?
True
Suppose 4*u = -u. Suppose u = -f - 2 + 6. Let h be (-55)/(-22) + f/(-2). Is h >= 1?
False
Let f be 54/26 - (-39 + 40). Is 1 less than or equal to f?
True
Let p(s) = 5*s**3 - 2*s**2 + s + 1. Let y be p(1). Let g be y/7 - (100/15 - 6). Is 1 bigger than g?
True
Let u = -0.00448 + 2.00448. Let n(z) = 3*z - 6. Let k be n(-6). Let p be (-4)/6*9/k. Is p <= u?
True
Let v = -492967/49 + 10060. Is 1 bigger than v?
True
Suppose 0 = -5*q - 103 - 2. Let g = q + 22. Is g at least as big as -4?
True
Let s be -3 + 0 - 585/(-197). Is -1 at most as big as s?
True
Suppose 71 = -2*r + 77. Let o be -1 + (3 - (-117)/r). Is 1 at least as big as o?
False
Let y be 2/3*(4 - (-1012)/(-256)). Let s(h) = -h + 13. Let n be s(8). Suppose -3*c - 15 = -2*p, -2*p + 20 = -n*c - 5. Which is bigger: p or y?
y
Suppose 2*j + 19 = 1. Suppose 2*w + 2*w + 5*p = 27, 0 = 2*w + p - 21. Suppose -32 = 5*g + w. Do j and g have different values?
False
Let d = -22649 - -91089/4. W