 = l + 5. Let f be g(0). Suppose 49 = -2*r - f. Suppose -90*i + 324 = -102*i. Are i and r non-equal?
False
Let u = -5457 - -5454. Let j be ((-5)/4)/(2/8). Does u = j?
False
Let b = -2425 + 2425. Is -3/425 at most as big as b?
True
Suppose -2*z - 8 = -2*m, -2*m - 4*z = -0*m + 4. Is 5/7 at most m?
True
Let j = -0.0605 + 5.0605. Which is smaller: j or -47?
-47
Let a = 43 + -39. Suppose 0 = 2*r - 6*r - 3*d + 19, r = d - a. Let p be (-5)/15*r*-3. Which is bigger: -2/23 or p?
p
Let a = -1245.77 - -1244. Does -0.7 = a?
False
Let w(u) = 2*u**2 + 7*u + 2. Let r be w(-3). Which is smaller: r or 1?
r
Let t be (-4)/(3/1*24/(-36)). Let m be 0/((t + 0)*3/2). Do m and -1/2 have different values?
True
Let o(r) = -149*r + 61. Let n be o(-1). Which is smaller: n or 214?
n
Let p be (-7)/21 + (14/(-3))/(-2). Suppose -p*o - 12 = o. Is -6 less than or equal to o?
True
Suppose -4*i + 191 = -i - 4*d, -321 = -5*i + 4*d. Which is bigger: i or 5?
i
Suppose -15 = -0*t - 3*t. Suppose -4 - 16 = t*s, f + s - 21 = 0. Let z be (-10)/(-24)*(-5)/f. Are 0 and z equal?
False
Let d = -361708 - -157342796/435. Let l = d - -2/87. Which is bigger: 10 or l?
10
Let j(i) = -3*i**2 - 1. Let k be j(3). Let d be k/(-1) + (2 - -1). Is 30 greater than d?
False
Let p(r) = -3*r - 10. Let q be p(-6). Let i be -4 + q + -132 + -2. Let t be i/8*(-1)/5. Which is bigger: 4 or t?
4
Suppose 2*j + 0*j + 4*x = -8, j + 4*x = -6. Let m be (j/4)/(3/(-30)). Suppose -2*t + 3 = -m. Which is bigger: 7 or t?
7
Let x be ((-264)/(-56) - 4/(-14)) + -4. Let c be (x - (1 - 2)) + 0. Is 0.06 less than c?
True
Let d = 20 + -13. Let p = 7.84 + -0.34. Let a = p - d. Is a <= -2/3?
False
Let j be (-1 - -3)/(4 + 408/10). Which is smaller: 1 or j?
j
Let t = 8 - 3. Suppose 0 = 3*b - 14 - 4. Which is smaller: b or t?
t
Let h = -524 + 470. Do h and -55 have different values?
True
Let n = 12/101 - -46/1313. Which is smaller: 3 or n?
n
Let v = 0.19 - 1.19. Let k be -3 - 0 - 25/(-5). Suppose 4 = 4*z - 2*z - k*b, -3 = 3*b. Are v and z unequal?
True
Let x be (-1)/28 + 6/21. Suppose 7 - 17 = 2*v. Let f be (-2 + 6)*v/(-10). Does f = x?
False
Let n(r) = -8*r - 18. Suppose -2*k + 0*x = 2*x + 12, -3*k + 4*x = 11. Let u be n(k). Which is smaller: 21 or u?
21
Let w = -669 - -725. Which is smaller: 61 or w?
w
Let a be 288/820 + 4/(-10). Suppose -8*c + 5 = -3*c. Let u = 2 - c. Is a != u?
True
Let r = 79/924 + -4/33. Let i = r + -1/4. Which is smaller: 7/6 or i?
i
Let x(l) = -l**3 + 3*l**2 + 5*l - 24. Let u be x(3). Is -59/6 smaller than u?
True
Suppose 2*c - 4 = -0. Suppose -6 - c = 2*r. Which is greater: r or -1?
-1
Let r be 4/18 - 156/378. Let v = -1398 - -1399. Is r at most as big as v?
True
Let l be 1 - (48/26 + -1). Let k(w) = -2*w - 9. Suppose -22*h = -17*h + 20. Let c be k(h). Is c at least l?
False
Let r = -1083/7 - -155. Let b be (-3 - 74/(-24))*3. Which is greater: r or b?
r
Let n = 249/55 + -52/11. Which is smaller: -80 or n?
-80
Let m be (-3)/55*12/(-540). Which is smaller: m or -1?
-1
Suppose 0*c - 2*c + u + 21 = 0, -c + 15 = -2*u. Suppose -4*o = -2*v + 28, 3*o - c = -0. Let p = -14 + v. Are p and 8 equal?
False
Let r(w) = -w**3 + 20*w**2 - 82*w + 26. Let d be r(15). Do d and -81 have the same value?
False
Suppose -3*c - 5*a = -13, -c = 2*c - 5*a + 7. Let y = 4.19 - 0.19. Is c at most y?
True
Let t = 856 + -852. Is t < 9?
True
Let d = -248 + 247. Suppose 5*x - 162 = 2*x. Let h = x + -917/17. Is h != d?
True
Let l(s) = -215*s**3 - 2*s - 1. Let q be l(-1). Let b be (-6)/q + 1/4. Is b greater than -20?
True
Let r = 760 - 705. Are r and 0 non-equal?
True
Suppose -122 = 4*t - 5*v, -3*t + 7*t = v - 114. Let i be (-8)/t + 456/35. Let a = -96/7 + i. Which is greater: -1/17 or a?
-1/17
Suppose -65*q + 72*q - 1792 = 0. Is q > 256?
False
Suppose -2*m = -4*j + 25 + 11, -2*j - 4 = 0. Let d(c) = c - 3. Let a be d(-17). Which is smaller: a or m?
m
Let x(r) = -2*r**2 - 55*r - 9. Let d be x(-28). Which is greater: d or 0.1?
0.1
Let l = 266.3 + -264. Let o = l + 6.7. Let v = -0.1 + -0.2. Is v <= o?
True
Let k = 25/167 - -82206/835. Let n = -99 + k. Which is smaller: n or -0.1?
n
Suppose 44*b = 42*b - 290. Which is bigger: -146 or b?
b
Let m = -1/44 + 61/748. Is m greater than or equal to -0.2?
True
Let m(v) = -v**2 - 47*v - 48. Let q be m(-46). Which is smaller: -108 or q?
-108
Let y(t) = t**2 - 13*t - 69. Let d be y(-4). Is d at least as big as -12/55?
False
Let z = 752741/151 - 4985. Which is bigger: -2/3 or z?
z
Let r = -103 - -101. Is -86 > r?
False
Suppose 5319*p - 5308*p = -33. Do p and -3 have the same value?
True
Let a be (-7 - -19) + (-2)/(-2). Let r(n) = -3 + 2*n + 0*n - 1 - a. Let x be r(8). Is -6/13 not equal to x?
True
Suppose x - 101 = -q, -4*x + 189 = -2*q - 227. Which is bigger: 100 or x?
x
Let n be ((-4)/(-6))/(66/(-1683)). Which is smaller: n or -18?
-18
Let y be (-11)/(-14883)*(-12)/10. Is 0 greater than or equal to y?
True
Let t be (-2)/3*3/(-6). Let n be 210/(-7)*(-2)/(-3). Let b be 3/12 - (-15)/n. Which is smaller: b or t?
b
Let m be (5/4)/5 + 1/(-4). Suppose m*g - 2*n = 3*g - 8, 2*g - 3 = n. Do g and 1/13 have different values?
True
Suppose 0*y = -3*y - 21. Let u(h) = h + 8. Let k be u(y). Is k smaller than -8?
False
Let z(m) = 132*m + 3. Let k be z(3). Let a = k + -13565/34. Is a equal to -1?
False
Let l = -7 - -58. Let c = -2511/8 + 17561/56. Which is smaller: l or c?
c
Let b be (-16)/10*3*(-25)/(-2). Let i = b + 121. Are i and 61 equal?
True
Let g be 546/180 - 1/(-3). Let x = -11879/570 + g. Let c = x - -35/2. Which is smaller: c or -1?
-1
Suppose -r + 0*r + 2 = 0. Suppose 0 = -d - 3*d + 12. Suppose b = 2*o + 2*b - 7, -d*o = -b - 18. Which is greater: o or r?
o
Let q = -6.318 + -1.682. Which is greater: 0.041 or q?
0.041
Let x = -100 + 100. Is x bigger than -2/35?
True
Suppose -4 = -11*y + 13*y. Suppose -4*n = -4*f - 9 + 1, 2*f + 18 = -5*n. Is n less than y?
False
Suppose 0 = -2*z + 54 - 86. Is -15 <= z?
False
Suppose 19*n = 21*n - 46. Let b = n + 26. Is b >= 49?
True
Let g = -231 + 285. Which is smaller: 51 or g?
51
Let m = -16 - -2. Let q = -14.05 - m. Let x be 4/(6/(-1)*-1). Which is smaller: x or q?
q
Suppose 0 = -8*d + 1272 + 728. Which is smaller: 251 or d?
d
Let n be (21/(-15) - -1)/((-7)/(-105)). Which is greater: -12 or n?
n
Let r be -1 - (-1 + (-7 - -3)). Suppose r - 2 = 2*v. Is v greater than or equal to 2?
False
Let o = 11 - 8. Let d(i) = -3*i**3 - 11*i**2 - 5. Let y(r) = r**3 + 4*r**2 + 2. Let f(j) = 2*d(j) + 7*y(j). Let p be f(-6). Is o greater than or equal to p?
False
Let x = 66 - 66. Let u(l) = -2*l - 3. Let w be u(-4). Suppose -4*f = w*y - 20, -16 = f - 5*f - 4*y. Is x > f?
False
Let n = -31 - -19. Let r be (-3 - 14)/(3 - 2). Let a = 7 + r. Which is smaller: n or a?
n
Suppose -4*j + 35 = n, 5*j + 2*n + 2*n = 41. Suppose 3*b - 16 = -3*c + 2*c, -b - 18 = -2*c. Let q be 5/(c/(-4)) + 11. Is j > q?
False
Let w = -4825 - -641728/133. Is w at least as big as 1?
False
Let w be (-14)/(-8)*(-4)/(-14)*124. Let q be w/18 - 5/((-35)/(-21)). Let c(o) = -o**2 + 4*o - 4. Let p be c(3). Is q greater than p?
True
Let k be (6/20)/((7 - 3)/1352). Is k != 101?
True
Let f(w) = -w**3 + 20*w**2 - 17*w - 76. Let q be f(17). Do q and 502 have the same value?
True
Let n = -7.7 - -2.7. Let i = n - -8. Which is greater: i or -2?
i
Let b = -22 + 22.1. Let u = b - 0.1. Let x = 0.08 + 0.52. Is x != u?
True
Suppose -5*k = 3 + 2. Which is smaller: k or -6/11?
k
Let b = 53870/13 - 4136. Which is smaller: 8 or b?
b
Suppose -2*h + 175 + 75 = 0. Let s = h - 122. Is 27/7 greater than or equal to s?
True
Let i be 7 + -5 - 2/(-2). Suppose i*q = -q - 16, -4*q = 3*a + 13. Is a > 3/7?
True
Let r = -338 + 224. Which is smaller: 1/3 or r?
r
Suppose -5*b - 5*g + 3210 = 0, 2*b - 5*g + 1926 = 5*b. Let m = b + -35308/55. Is m at least as big as 1?
False
Let w(q) = -q**2 + 25*q - 36. Let j be -72*(-6)/(21 + -3). Let d be w(j). Do d and -10 have different values?
True
Let g = -11 + 11.11. Let i = 17.9 + -18. Which is bigger: i or g?
g
Let f(k) = k**3 - 25*k**2 + 32*k - 166. Let l be f(24). Which is bigger: 99/4 or l?
l
Let x(k) = k**2 - 8*k + 5. Let g be x(8). Let n = g - 6. Let f(b) = b**2 - 11*b + 18. Let z be f(2). Which is bigger: z or n?
z
Let t(f) = -2*f + 30. Let c be t(15). Which is smaller: c or 8?
c
Let b(v) = -v**2 - v - 4. Let a be b(0).