 23*d**2 + 24*d + 49. Let x(n) = -3*j(n) + 4*r(n). Let a be x(-26). Is a <= -1?
True
Let n = 4.28 + -0.18. Let a = -1.3 + n. Which is smaller: 0.1 or a?
0.1
Suppose -2*i + 37 = -m, 0 = -5*m - 4*i - 137 + 8. Let w = 29 + m. Which is greater: -2/81 or w?
w
Suppose -i + 42 = -8*i. Let n be (20/i - -3)*3. Is n equal to 1/4?
False
Let y = -652 + 626. Is y equal to -294/11?
False
Let n be (-94)/4 + (14 - 10). Let c(b) = -b**3 - 32*b**2 - 191*b + 5. Let p be c(-24). Is p less than or equal to n?
False
Suppose -8*b = 2*g - 3*b - 346, 167 = g + b. Is g greater than 162?
True
Let w = -25 + 28. Suppose w*s = -2*s. Is s less than 3/7?
True
Let j be -2*(-1)/2*0. Let o = 16 + -17. Let y be -3 + ((-4)/o)/((-6)/(-4)). Which is greater: j or y?
j
Suppose -h + g - 4*g - 37 = 0, -51 = 3*h - 3*g. Let p = -13 - h. Let o = p + -5. Which is greater: 3 or o?
o
Let c(y) = 5*y + 14*y + 11 - 18*y. Let t be c(-18). Which is bigger: -3 or t?
-3
Let d = -19 + 11. Let n be ((-1)/(-3))/((-8)/(-48))*-1. Let z be (n/(-6))/(d/(-120)). Are z and 6 equal?
False
Let l be 3 - (-23 + -1 - -2). Suppose -3*i = -4*i + u + 5, -5*u - l = 0. Is -79 at most as big as i?
True
Let s be 20/(-90) + (1778/(-18) - 1). Is s != -99?
True
Suppose 0 = 4*u + 3*i - 59, 3*i + 63 = 3*u - i. Suppose 5*n = -4*t - 29, -t - 2*t + 4*n = -u. Let g(k) = k**2 + 3*k. Let j be g(-3). Which is smaller: t or j?
t
Suppose 4*x + 110 - 365 = m, -x + 80 = 3*m. Suppose -3*q - x = -8*q. Let f = -14 + q. Which is smaller: f or 1/20?
f
Let p = 159 - 158. Do p and 25/22 have the same value?
False
Let p be ((-4)/2)/(-1) - 0. Let d be ((-12)/(-6))/(p/1). Let a be (-22)/77 - (-2 - 26/(-7)). Is d <= a?
False
Suppose 8*s - 120 - 8 = 0. Let g = -17 + s. Let k be ((-8)/(-78))/(4/(-18)). Which is smaller: g or k?
g
Let j be (-1)/((3 + -8)/10). Let p be ((-5)/2)/(j/(-2)). Is p less than 2/3?
False
Let x = -1480/847 - -4/121. Suppose -6*c = -3*u - 3*c - 12, -2*u = 3*c - 7. Is u != x?
True
Let z = 20 - 13. Suppose -6 = z*w + 1. Which is greater: 2/65 or w?
2/65
Let i be (-16)/(-56) - (-19)/7. Suppose 5*o - 26 = -4*v, -i*o + v - 2 = -v. Suppose n = -o*n. Which is greater: n or -1/3?
n
Let m be (-72)/(-162) - 2746/(-18). Is m greater than or equal to 2?
True
Let l be (3 - -3)/((-3)/(-2)). Let p = l + -2. Suppose 22 + p = -2*y. Are y and 2/7 unequal?
True
Let c = 80469/1001 - 717/77. Is 72 at most c?
False
Suppose -29*o + 147 = -27*o - 3*h, 2*o + 3*h = 129. Which is smaller: o or 71?
o
Let w be ((-99)/(-36))/(1/(-8)). Which is smaller: -104/5 or w?
w
Let s = -10330/9 + 599197/522. Let p = s + -8/29. Which is smaller: p or 0.2?
p
Let a = -740387/3612 + 5725/28. Let r = a - -2/129. Let p = -0.26 + -0.04. Which is bigger: r or p?
p
Let z = -0.05 + -0.03. Let f = 1228 - 1228. Is z less than f?
True
Suppose -r = -6*r. Suppose -7*p - 7 = -r*p. Is -1 < p?
False
Let f be (-5 + 0/1)*(-270)/10. Is 135 greater than f?
False
Suppose -4*x + 3*l = -4 - 2, 2*x - 12 = -3*l. Let m be -3 + 1*8/12 + x. Which is greater: 43 or m?
43
Let b be (3/(-30))/(7/28). Are 46.4 and b nonequal?
True
Suppose -5*v = -z - 17, -2*z + 7*z = 4*v - 22. Suppose -5*g - 2*b = -8, -2*g + v*b = 3*g - 13. Let s be 93/(-33) - (-2)/(-11). Is s smaller than g?
True
Let r = -32/79 + 1999/4740. Let i(w) = -w - 2. Let g be i(-1). Which is smaller: r or g?
g
Let s = -963 + 976. Which is greater: 10 or s?
s
Suppose 4 = -77*r + 81*r - 2*k, 2*r - 18 = 5*k. Which is greater: r or 5/738?
5/738
Suppose -2*z - 258 = 152. Which is smaller: z or -204?
z
Let v(b) be the second derivative of -b**4/12 + 3*b**2/2 - b. Let t be v(-2). Let a be ((-4)/616)/(2/8). Which is smaller: a or t?
t
Let w = 13336/57 - 234. Is w equal to 1?
False
Let q = 1173.59 + -1173. Are q and 5 equal?
False
Let z be (42/(-56)*-20)/((-6)/32). Which is smaller: -83 or z?
-83
Let t = 1749 + -1696. Suppose 188 = 4*l + m + 4*m, -m - 108 = -2*l. Is l <= t?
True
Let s be ((-10773)/126)/((-21)/8). Which is bigger: -0.2 or s?
s
Let d be (-1 - (0 - 0))*45/(-9). Suppose -4*y - d*q - 52 = -y, -y + q = 20. Which is smaller: y or -20?
-20
Let s(j) = 16*j**2 + 34*j + 40. Let r(o) = -3*o**2 - 7*o - 8. Let z = -4 + 6. Let b(k) = z*s(k) + 11*r(k). Let n be b(-8). Is -2/9 bigger than n?
False
Suppose 0*j - 8*j = -32. Suppose -5 = 2*s - 10*x + 5*x, j*s - 4*x + 4 = 0. Which is smaller: -1/110 or s?
-1/110
Suppose 7*u - 5*y + 6210 = 5*u, -3100 = u - 5*y. Let b = -681092/219 - u. Do b and 1 have different values?
True
Let t = -191.02 - -191. Do t and -7 have different values?
True
Let z(m) = 823*m + 147. Let g be z(3). Is 2617 at least as big as g?
True
Suppose 0 = -2*a - 4*a. Let c = 21.09 + -21. Let k = -4.91 - c. Is k > a?
False
Let a(l) = l**3 + 14*l**2 + 7*l - 6. Let y be a(-4). Which is smaller: 631/5 or y?
y
Let q = 1254/5 - 250. Let j = 4.35 - 4. Let y = -0.25 + j. Which is smaller: y or q?
y
Let p be ((-7)/2)/((-1)/2). Let m be 2/7 + (-618)/(-42). Let u be 6/m - 846/(-135). Are u and p equal?
False
Suppose -8 - 56 = -4*u. Let k(n) = 4 + n**3 - 3 - 18*n**2 + u*n**2. Let m be k(1). Are -1/2 and m unequal?
True
Let b(j) = j**3 + 4*j**2 - 8*j + 7. Let l be b(-7). Let o be 3/20 + (-21)/l. Is 5 less than o?
False
Let n = 10.19 - -32.51. Let g = n + -43. Are -0.04 and g non-equal?
True
Let j = -71/5 - -1567/110. Which is greater: 0 or j?
j
Let j = 73 + -74. Let r be (-2)/(-4)*-32*3/(-114). Is j smaller than r?
True
Let l = -86.544 + 0.044. Let v = l + 85. Which is greater: -1/3 or v?
-1/3
Let j(k) = -1 - k + 3 - 3. Let m be j(-3). Let u be (8 + (-36)/3)/(-2). Is u not equal to m?
False
Let v be ((-1)/(-1))/(3/12). Let c be 2 + (-1022)/455 + v/10. Which is bigger: c or 0?
c
Let h(d) = -2*d**2 + 4*d - 2. Let p be h(2). Let m be (-14)/(-28) + 2/(-4). Let i(q) = q**3 + 2*q - 4. Let x be i(m). Do p and x have different values?
True
Let k = -2569 - -2570. Do k and -0.525 have the same value?
False
Let b = -8 + 8.36. Let p = 3.36 - b. Which is greater: p or -6?
p
Suppose 1112 = -2*y + 1114. Which is greater: y or 5/24?
y
Let f = 33 + -26. Let i = f + -2.4. Let q = 2.6 - i. Which is bigger: -3 or q?
q
Suppose 0 = -2*q - 3 + 1. Let v = -92225/9 + 10333. Let m = v + -86. Is m greater than q?
True
Let r be (96/(-9))/((-26)/39). Which is smaller: r or 20?
r
Suppose 200 = 2*u - 588. Do 0.2 and u have different values?
True
Let f be (1 + (-11)/2)/(6/8). Let d be (-4)/(-8) - 70/(-4). Let x = 13 - d. Is x bigger than f?
True
Suppose 3*h = p + p + 221, -4*p + 197 = 3*h. Let r = -70 + h. Is r at least as big as 9/5?
False
Let v(o) = -2*o**3 - 10 - o + 7 + 27 + 18*o**2 + o**3. Let r be v(18). Let h = 11 + -4. Which is smaller: r or h?
r
Let y = 218 - 219. Which is greater: y or 91?
91
Let w = -2 - -1. Let g = w + -5. Let r be 99/(-264)*-2*(-4)/(-6). Which is smaller: r or g?
g
Let p = 30 + -30. Let o = 13 - 13.4. Let b = 3.6 - o. Is p greater than or equal to b?
False
Let h = 29 - 27. Let f be (-14)/((-1)/h*6). Which is bigger: 5 or f?
5
Let c be (-3 - -6)/(-6)*2. Let g = -11 + 26. Let w be c/(-3)*(g - 24). Is w at least as big as -3?
True
Let b = 3 - 0. Let d = 58 + -58. Suppose 3*o = -m + 1, 3*m = -15 - d. Which is bigger: b or o?
b
Let n = 17 - 7889/464. Which is greater: n or 1?
1
Suppose 0 = -5*d + 3*f - 67, -3 = -d - 2*f - 6. Let n = 1 - -1. Suppose -c - 9 = n. Is d smaller than c?
False
Let b = -5 - 28.9. Which is bigger: b or 0?
0
Let v = 14.1 - 14. Let n be 8 + -5 + 0 + (3 - 2). Is n at least as big as v?
True
Let g be -4 + (-1)/2*-2. Let y = -9839/3934 + 2/1967. Which is smaller: y or g?
g
Let k = 2 - 2.08. Let u = 134/9 - 473/36. Let p = -13/12 + u. Which is greater: p or k?
p
Suppose 4*x = 0, f - x - 6 = -3. Suppose t + f = -2*t. Let v(a) = a**2 - 2*a. Let m be v(3). Which is smaller: t or m?
t
Let d be (-9)/(-6)*(2 - 6). Let n = d - -5. Which is smaller: -15 or n?
-15
Let i be 2172/(-30)*(-10 + 11). Is i > -71?
False
Suppose -9*n - 21 = -30. Let g be (-1)/2 + 129/6. Let w = g - 13. Which is bigger: n or w?
w
Suppose 3*j = -5 - 31. Suppose 29*m + 1815 = 40*m. Suppose -9*a + m = -24*a. Which is greater: j or a?
a
Suppose -48 = -3*m + 570. Is m > 205?
True
Let c = -11.7 - -11.7. Is 7/5 at least as big as c?
True
Let t(k) = -k + 1. Let c be t(-4). Let n be ((-42)/(-8))/(c/100). Suppose -3*g + 3*a = -n, 3*g - 3*a - 106 = a. Is g at most as big as 34?
