f - 7 = -25. Is f greater than or equal to d?
True
Let y = -2.8059 + 0.0059. Is 0.3 at least as big as y?
True
Let s = 3.132 - 0.132. Which is bigger: 4 or s?
4
Let j = -22 - -50. Let v = -16 + j. Suppose -6*h + 1 = -2*a - 3*h, 4*h = -v. Is a != -5?
False
Suppose 5*q - 2*b - 25 = 0, 3*b = -3*q - q + 20. Suppose -i = -q*i. Let y be 8*-1*(i - -1). Which is smaller: 2 or y?
y
Suppose 5*h = 1 - 16. Let w be h/(-12) + (-6)/(-8). Let s = -106 + 1588/15. Which is bigger: w or s?
w
Let d(b) = 7*b**2 + 1 + 14*b - 3*b**2 - 3*b**2. Let m be d(-14). Suppose 0 = -2*w + 3*w + m. Is -10/13 smaller than w?
False
Let u = 3/35 + 23/140. Is 21/23 >= u?
True
Let m(j) = -6 + 4 + 5*j - 4 - 3. Let g be m(5). Let n(k) = -k**2 + 15*k + 12. Let w be n(g). Which is smaller: -6 or w?
-6
Let a = 74 - 57. Let w(z) = 3*z - 50. Let g be w(a). Which is greater: g or -2/181?
g
Let q = 145 - 148. Which is bigger: 11 or q?
11
Let p = 787.7 - 790. Which is smaller: p or -2/27?
p
Let o = -21 + 23. Suppose -o*f = -6 + 4. Is -3/14 greater than f?
False
Let f be -2*(-4)/24*(-234)/84. Are 0 and f unequal?
True
Suppose -3*c + 65 = 68. Suppose -4*v = 3 + 1. Is c smaller than v?
False
Let a = 2294305/22 + -104225. Let h = a - 125/2. Which is smaller: -1 or h?
-1
Suppose -4*q + 1 = s, -5*s - 2*q - 16 = -3*q. Let b be 23 - 4*s/(-12). Let g = b - 26. Which is bigger: -7 or g?
g
Let v be (-6)/9*(1 - 2)*-3. Which is smaller: v or -29?
-29
Let h = 0.21 + -0.08. Let k = 7.13 - h. Let f = k + -7.4. Is -1/2 not equal to f?
True
Let l(s) be the first derivative of -7*s**2/2 + 2. Let g be 70/175 + 8/5. Let r be l(g). Is r at most as big as 1/3?
True
Let x = -155/1102 + -1/58. Let c(h) = h**2 - 5*h - 8. Let s be c(6). Let u be (36/(-15) - s)/1. Are u and x unequal?
True
Let w = 49/22 + 397/44. Do 11 and w have the same value?
False
Let l = -2466 - -2467. Is -0.0559 bigger than l?
False
Let x be (-2)/(((-10)/(-350))/((-6)/(-5))). Let o be 1 - 1*x/(-64). Is o > 0?
False
Let y = -367/8 - -46. Let d(z) = 3*z**3 + 4*z - 3. Let v be d(1). Suppose 114 = v*k + 118. Which is smaller: y or k?
k
Suppose 0 = 6*r - r + 3*f + 18, -5*f = 5. Let x = r - -9. Which is smaller: x or 7?
x
Let d(c) = -128*c**2 - 1. Let x be d(-2). Is -512 less than x?
False
Suppose -176 = 3*u - 7*u + 2*g, -82 = -2*u + 4*g. Is 33 greater than u?
False
Let g be 168/5*(4 - 9). Let m be (-104)/g - 1/3. Which is smaller: 0.6 or m?
m
Let o be (-6)/(-39) + 7840/(-936). Is o < -9?
False
Let z be 16/(-168)*-6 + 16060/(-28252). Which is smaller: 1 or z?
z
Let g be (8/(-180))/(2/10). Let u = -12 + 37/3. Is u at least g?
True
Suppose -643*y + 636*y = -4396. Which is smaller: y or 627?
627
Let p = 2 - -2. Suppose 2*b = -d - 1 - 0, -d = -p*b - 11. Which is bigger: -1 or d?
d
Let l = -0.7 - -2.6. Let a = 69 - 70.5. Let f = a + l. Is f at most as big as 2?
True
Let z = 853/1575 + -19/63. Is z <= -1?
False
Let n be (5 + -6)/((-14)/4). Suppose 8*p = 4*p + 16. Let w be p/2 - 36/19. Is n less than w?
False
Let c = -3 - -5. Let b = -3 + c. Suppose 42 - 22 = -5*x. Which is smaller: x or b?
x
Let i = 71.9 + -84. Let y = 0.1 + i. Let h = 14 + y. Which is smaller: -2/11 or h?
-2/11
Let r(n) = n**2 + 2. Let p be r(0). Suppose 0 = -p*y + y + 4*y. Which is smaller: -3/14 or y?
-3/14
Let q(u) = -28*u**2 + 16 - 18*u + 17*u**2 + 12*u**2. Let r be q(17). Are -4/5 and r nonequal?
True
Let f be (5/5)/(1/9). Let q be 2/3 - (-75)/f. Let a be (-3)/(q/(-6)) + -3. Is a at most 0.1?
True
Let n = 0.1 + -1.1. Let l = 1811 - 1765.96. Let k = 45 - l. Do n and k have the same value?
False
Suppose -14*f = -170 + 156. Which is bigger: 1/680 or f?
f
Suppose -2*t + 3*v - 5*v = -18, 5*v - 41 = -4*t. Suppose -t*y - 5*b = -221, -26 = -5*y + b + 272. Is y at most 60?
True
Let l = -72 - -105. Let k = -47 + 27. Let y = l + k. Is 13 greater than y?
False
Let q be (-3)/2 + (-2)/(-4). Let x be 7/459 + (-56)/756. Which is bigger: q or x?
x
Let s = -887 - -61204/69. Is s <= -1?
False
Suppose 2*u + a = 3 + 3, 5*a - 10 = 0. Suppose 7 - u = -5*d. Is d greater than 1/43?
False
Let m = -2.3 - -14.3. Let a = -15 - m. Let j = a + 29. Which is smaller: j or -8?
-8
Let v = -20 - -23. Suppose 3*w - 8 = -y + v, -2*y + 10 = 2*w. Are y and 30/11 non-equal?
True
Let a(v) = -4*v**3 + 5*v**2 - 2*v - 12. Let i be a(4). Which is bigger: i or -393/2?
i
Suppose 7*d = 2*d + 25. Suppose d*o = -3*r - 16, 2*r - o + 3*o = -4. Is r >= 19/7?
True
Let m be 2/((4/5)/((-26)/170)). Which is greater: m or 1?
1
Let x(h) = 4*h**2 + 2*h**2 - 7*h**3 + 4*h**3 - 3*h**2. Let u be x(-1). Is u bigger than 8?
False
Let z be (-68)/(-10) + 1*12/(-15). Do -9 and z have different values?
True
Suppose -5*l + 6 = -3*l - b, 3*b = -6. Let j be (0 + 10)*(76/(-26) - -3). Is j smaller than l?
True
Let r be (3*1/(-28))/((-918)/63). Is 1 equal to r?
False
Let s = 1/1026 - -15383/7182. Is s >= 2?
True
Let s = -13 + 16. Suppose f - s + 1 = 2*u, 0 = 4*f + 4*u + 52. Let t be -5 + 0 + 11 + f. Is t at most -2?
True
Let p(u) = u**2 - 13*u + 7. Let c be p(15). Suppose -2*w - 1 + c = 0. Suppose -4*z + 6*z + w = 0. Which is greater: z or -7?
-7
Let b be 102*(-1 - (-26)/18). Let d = b + -77/3. Which is smaller: 19 or d?
19
Let v = 11613/5 + -2331. Is v at least -8?
False
Let j(v) be the second derivative of -v**3/2 + 3*v**2/2 - 12*v. Let a be j(1). Which is greater: a or 4/19?
4/19
Let g = -51/5 - 223/10. Is g != -32?
True
Let h = 13114 + -53029/4. Let s = -142 - h. Let o be 2/11 + (-4)/22. Which is greater: s or o?
s
Suppose 3 + 65 = u. Let w be (-478)/(-6)*6/7. Let z = w - u. Which is smaller: z or 9?
z
Suppose 2*h + 2*k - 12 = 0, -3*h + h + 3 = -k. Suppose 8 + 13 = h*y. Let r = y + -9. Is r equal to -4/3?
False
Let x = 19.022 - 19. Let d = x - -0.078. Which is smaller: d or 0.05?
0.05
Let f = -57 + 17. Let w be (-96)/f - (-2)/(-5). Let o be -2*(-2 - (w + -3)). Which is bigger: o or -2?
o
Suppose -h + 6 = h. Suppose 2*m + 11 - h = r, m + 11 = 4*r. Suppose -r*q = -z + 2, -2*q + 2*z + 14 = 5*z. Is q < -2/5?
False
Let x = 8906 - 8935. Let i be 32*2*2/(-4). Is i less than x?
True
Suppose b = 436 + 121. Let w = 320 - b. Let p = 2135/9 + w. Which is smaller: p or -1?
-1
Let a(o) = 7*o + 246. Let i be a(20). Is i at least as big as 388?
False
Let g be 3348636/47610 + 2/5. Let x = g - 36/529. Let k = x + -70. Which is bigger: 2 or k?
2
Suppose -296 = -22*h + 21*h. Is 296 >= h?
True
Let w = 3.2 + -3. Let p = 12 - -7. Let v = 16 - p. Which is smaller: w or v?
v
Let p = 1851 + -1860. Let r(q) = 11*q. Let o be r(-1). Which is greater: o or p?
p
Suppose 6 - 1 = 5*s. Let k be s*(-15)/12*(-6)/(-105). Is 1 greater than k?
True
Let j be -4*2/(-8)*3. Let q(o) be the second derivative of -o**4/12 + o**3/3 - o**2 + 14*o + 1. Let a be q(j). Is a at least -5?
True
Let i = -231 - -224. Which is greater: i or 27?
27
Let u be (-2)/(-5) - (-9)/15. Let b be (-3)/6*(1 + (u - 0)). Which is greater: b or -4/9?
-4/9
Let s(g) = g**3 - 6*g**2 + 11*g - 4. Let y be s(3). Let z(t) = 27*t - 8. Let k be z(y). Are 46 and k non-equal?
False
Suppose m + 5*s + 45 = 0, 2*m + 148 = -3*s + 44. Does m = -56?
False
Suppose 0 = -8*z + 1240 + 776. Which is smaller: z or 250?
250
Let z be (0 + 10)/((-2)/3). Let w(b) = -2*b + 5. Let p be w(-5). Suppose 72 = -5*q + 2*a, q - p*a = -17*a - 12. Is z equal to q?
False
Suppose -4*o - 5 = -45. Let i be (-10)/(-15) + (-8)/o. Let c(d) = -d**3 + 16*d**2 + 1. Let y be c(16). Are y and i equal?
False
Let x = 198 - 198.692. Are 0.1 and x non-equal?
True
Let d = 0.14 - 0.1. Let y = -0.06 - d. Is y != -0.034?
True
Let v be (3 - (-69)/(-15))*(-273)/(-252). Which is bigger: v or -3?
v
Let z = -12/5 - -3. Let x = -17202 + 946072/55. Let l = z + x. Is 0 < l?
False
Let n be 72/4*(-2 - 7/(-3)). Let q be (-2)/(-3)*(22/n + -4). Do q and 0.3 have the same value?
False
Let z = -0.433 - -0.433. Let s = -27.23 + 27. Which is smaller: z or s?
s
Suppose s - 26 = 4*r - 195, s + 211 = 5*r. Which is bigger: r or 125/3?
r
Suppose 14907 = -81*v - 5181. Is -248 > v?
False
Let h(t) = -t**3 + 13*t**2 - 14*t + 28. Let g be h(12). Do g and -1 have the same value?
False
Let m = 878/11 + -76. Let p be (-1)/((-1)/2*(-2)/(-5)). Which is greater: p or m?
p
Let a = 20.3 - 20.45. Is a != -23?
True
Suppose -5*w - 3*a = -6*w + 4, w + 2 = -3*a. Is -7 less than w?
True
Suppose 0 = -10*a - 41 - 109. Let