(-606)/40. Let y = -559/35 - f. Let p be ((2 - 2)/4)/(-1). Is y > p?
False
Let q(p) = -p**2 + 6*p - 4. Let w = -97 + 98. Let m be q(w). Which is greater: 1/195 or m?
m
Let a = -37 - -42. Suppose 5*s - 41 + 11 = -a*h, -5*h + 9 = -2*s. Is s less than 3?
False
Suppose -10*k - 10*k - 480 = 0. Suppose -3*d + 3*m - 57 = 0, -4*m + 0*m - 108 = 4*d. Which is smaller: d or k?
k
Let f = -5.997 + 6.097. Let a = 0.5 + -0.3. Which is bigger: f or a?
a
Let k = -872 - -484. Let h = 5812/15 + k. Is h > -1?
True
Let k = -6.43 + 6.38. Is k less than -44?
False
Let r be (3 + (-28)/8)*2 - 0. Is r at least as big as 1/14?
False
Let y = 160.9 + -159. Which is smaller: y or 12?
y
Let h(r) = 18*r**2 + r. Let l be h(1). Suppose 7 = -3*v + 5*x - l, 9 = -2*v - 5*x. Let u = 1 + -9. Which is smaller: u or v?
u
Let r be -1*(-3 - 946/(-314)). Is 0 less than r?
False
Let r = 38 - 26. Let x = -6 + r. Let j be (-2)/(20/(-14)) - 1. Which is smaller: x or j?
j
Let s = 13249/7 + -1899. Let f be 2/22 - (7 + 10/110). Is f at least as big as s?
False
Let t(p) = -15 - 6*p**2 - 24 + p**3 + 44 + 4*p. Let y be t(5). Which is smaller: y or 2/397?
y
Suppose 0 = -y, 4*w + 2*y + 3*y = -4. Let g be ((-24)/(-16))/(w/(-2)). Suppose 3*t - g = -0. Is -2 <= t?
True
Let y be (20/(-8))/((-25)/60). Let k be (-17)/19 - y/57. Are k and -2/13 nonequal?
True
Let d = -1.168 + 0.868. Which is greater: -0.039 or d?
-0.039
Let a = -32/23 + 1046/851. Which is smaller: a or -0.3?
-0.3
Suppose 3*z + 10 + 62 = 3*w, -5*w + 104 = 3*z. Let d = w + 6. Suppose -3*p = -2*o - 13, -d = -3*p + 3*o + 2*o. Which is bigger: p or -2/5?
p
Let c = 46 + -84. Let f = -31 - c. Suppose -4*n = -5*v + 40, -5*v - n + 40 = 4*n. Does v = f?
False
Let i = -1.345 - -2.345. Which is smaller: i or 2.75?
i
Suppose f = -2*u + 2*f - 2, 5*u + 4*f + 18 = 0. Let z = -0.09 - -0.09. Is u less than or equal to z?
True
Let g(s) be the second derivative of s**4/12 - 7*s**3/3 - 3*s**2/2 - 11*s. Let b be g(10). Is -42 not equal to b?
True
Let m(r) = -r**3 - 19*r**2 + 13*r + 20. Let w be m(-19). Does w = -226?
False
Let p be (-2)/6*((5 - -74) + -8). Are p and -25 equal?
False
Let b = 18 + -11. Let d = b + -15. Let y = 7 - 16. Which is smaller: d or y?
y
Let o = -6/683 + 2080/81277. Suppose 2*b = -2*b. Is o at least as big as b?
True
Let o = 9853/134 + -147/2. Let m = -25 - -25. Is o smaller than m?
False
Let s = -178724/123 + 1453. Is s at most as big as -1?
False
Suppose -2*q + 78 = -2*n, -3*n - 158 = n - 3*q. Let m = 10 + n. Let y = 47 + -79. Which is bigger: y or m?
m
Suppose 5*g = -8 + 103. Let y be (1/2)/(2/g). Which is bigger: 6 or y?
6
Let f be (46 - 45)*1*-2. Which is bigger: f or 3/31?
3/31
Let c be 39/(-65) + (-4)/10. Let d(w) = -w. Let r(s) = 7*s + 1. Let o(l) = -5*d(l) - r(l). Let g be o(c). Does g = 0.07?
False
Suppose 8*j + 10 = 9*j + 4*k, 0 = j + 2*k - 2. Is j <= -46/9?
True
Suppose -r = 4*k - 26, 2*r = k - 2*r + 2. Suppose k*z - 4*z + 6 = 0. Let f be (-4*1 - z)/(-1). Which is bigger: 2/9 or f?
f
Let l be 4/12 - (-88)/(-12). Is -3 not equal to l?
True
Let h be (142/71)/((-2)/(-1)). Suppose 4*t = t. Suppose 4 = 2*x - t. Which is greater: h or x?
x
Suppose 9*j - 2 = 4*j - 4*n, 3*j - 3*n = 12. Suppose 30*y - 4 = 13 + 13. Is j less than y?
False
Let l = -270 - -53. Are l and -216 nonequal?
True
Let z be (2 + 0)/(7 - 0). Let j(g) = g**2 + 2*g. Let y be j(-3). Suppose 5*p - h - 5 - 3 = 0, -y*p = h. Is z at least p?
False
Suppose 11 = -15*b + 16*b. Suppose -7*w + 13*w = b*w. Which is smaller: -7.6 or w?
-7.6
Suppose -12*z - 1459 = -175. Do -106 and z have the same value?
False
Let n be 51/15 + 8/(-20). Suppose n*t + 107 + 130 = 0. Are t and -79 unequal?
False
Suppose 1115 = 14*q - 159. Which is smaller: q or 84?
84
Suppose 20 = 7*k - 1. Let w be ((-21)/14)/((45/4)/k). Let q = 0 + 0. Which is smaller: q or w?
w
Let z be (-1)/2 + (-129)/10. Let l be 356/(-28) + (-115)/(-161). Is l greater than or equal to z?
True
Let d = -7 - -5. Suppose -j - 3*j = 2*k - 18, j + 13 = 3*k. Suppose 0*z - j = 2*z. Which is bigger: z or d?
z
Let x = 0.08 + -0.03. Let f = -1.1 + x. Let v = f - -0.05. Is -2 != v?
True
Suppose -10*k + 362 = -11*k - 3*h, -4*h - 8 = 0. Which is greater: -357 or k?
k
Suppose 3*j + 23 = -2*n - 7, -5*n + 2*j - 113 = 0. Is -22 < n?
True
Let a = -833 - -832. Is a <= -361?
False
Suppose 4*z = 5*o - 18, -113 = o - 2*z - 119. Let v = 3316/35 - 474/5. Which is smaller: o or v?
v
Let s = 0.1335 - 0.3335. Let l = 4 - 4. Do l and s have the same value?
False
Suppose -35 = 4*x - 23. Let f be x + 2 + -1 + 5. Is -3 smaller than f?
True
Suppose 3*v + 3 = 9. Let i(u) be the first derivative of -u**2 - 4*u - 1. Let q be i(v). Is -7 smaller than q?
False
Let s = 109 - 113. Which is greater: -12 or s?
s
Let b = -456 + 786. Let h = b + -11552/35. Is h < 0?
True
Let h(u) = u**2 + 8*u - 16. Let r be h(-11). Let q(y) = -y**3 + 15*y**2 + 35*y - 19. Let s be q(r). Does s = 13?
False
Let j be (-4)/5 - 6/30. Let r = 2554 - 2552.98. Is j smaller than r?
True
Let k(h) = -6*h**3 + 6*h - 8. Let l be k(2). Which is bigger: -46 or l?
l
Let u be (-266)/3 - (0 + -1). Let t = -87 - u. Suppose -40*b + 19*b = 49*b. Which is smaller: t or b?
b
Let a = -163 - -163. Which is smaller: -2/77 or a?
-2/77
Suppose 14*b + 1584 = 380. Is -88 at least as big as b?
False
Let b = 66 - 66. Suppose b = 2*s - 31 + 65. Which is smaller: s or -16?
s
Let z = -0.1888 + 0.0488. Is z smaller than 2/7?
True
Let m = -2.466 + 2.366. Which is smaller: m or 7.7?
m
Let m(c) = c**2 - 1. Let l(d) = d**2 + 4*d. Let r(o) = -l(o) + 2*m(o). Let w be r(-1). Which is bigger: w or 2?
w
Let k be -2 - (-381)/26*(-224)/(-1638). Is 1 < k?
False
Suppose 3*p + 0*g + 4*g - 28 = 0, p + 5*g = -9. Let x = 15 - p. Is x >= 3/22?
False
Let o = -974/315 + -2/105. Which is smaller: 11 or o?
o
Suppose 0*w = -u - 3*w + 10, 4*u - 4*w - 8 = 0. Let k be ((-3)/12)/((-2)/u). Let c = 71.5 + -73. Are c and k equal?
False
Let p be (-56)/42*6/(-4). Let t(c) = c**2 + c - 10. Let g be t(p). Suppose -3*q - 2 = 7. Is q > g?
True
Let g(q) = q**3 - q**2 - q - 3. Let m be g(0). Is -21/13 less than m?
False
Let j be 6*((-12)/63)/2. Let w be (3/6)/((-3)/(-66)). Let x = 9 - w. Which is smaller: j or x?
x
Let u = 2317 - 2318. Suppose -5*g = -2*i + 24, -2*i = g - 0*g. Let h be ((-1)/(-6))/((-10)/g). Which is smaller: u or h?
u
Suppose -11*d = -0*d + 55. Let j(p) = -2*p**2 - 1. Let h be j(2). Which is greater: h or d?
d
Let h be ((-10)/50 - 13/10)*-4. Let s be (1 + -2 + 5)/h. Which is greater: s or 11/8?
11/8
Let j be -1 + (1 - 3) - -38. Which is smaller: 39 or j?
j
Let l = -0.048 + -0.182. Let j = l - -0.43. Which is greater: j or 0?
j
Let a(i) = i**3 - 12*i**2 - 2*i + 10. Let v be a(13). Which is greater: 158 or v?
158
Let y = 96 + -79. Do y and 18 have the same value?
False
Suppose 16*x + 38 = -58. Suppose -4*j = -2*i, i - 4*j + 6 = 2*i. Suppose 5*b + 40 = i*n - n, 4*b = -2*n - 18. Which is bigger: x or b?
x
Let a be -3 - (3 - 11 - -6). Is a bigger than 1/498?
False
Let v = 0.62 - -27.38. Let n = 18 - v. Let k = n + 10.1. Is k less than 0.6?
True
Let t(h) = h + 0*h + h + 16. Let c be t(-10). Let v = c + 14. Is 10 at least v?
True
Let t = 21.9 - 67.9. Which is bigger: t or -0.2?
-0.2
Let a = -1634 + 1630.098. Let k = -0.098 + a. Is k bigger than 1.3?
False
Let p = 5 + -5.9. Let y = p + 1.3. Let q = y + 0.6. Which is smaller: -2 or q?
-2
Let n be (3/(60/16))/(2/(-5)). Suppose -18 = -2*w + 5*w. Let x = w + 3. Is n >= x?
True
Let u = 22 + -18. Suppose -6*z = -u*z. Is z less than or equal to 0?
True
Let g(w) = 3*w - 15. Let l be g(7). Suppose -3*m = -3*x - 6, -4*m + 4*x = l*x + 22. Which is bigger: -2/9 or m?
-2/9
Let v = 1 - -4. Let f be (-38)/(-2) - (v - 2). Suppose -4*z + 45 = -5*y, 3*y = -5*z + f - 6. Are y and -6 unequal?
True
Let w = -1105 + 1150. Which is greater: 44 or w?
w
Let u = 1/393 + -641/97464. Is u >= 1/2?
False
Let h(k) = k - 10. Let l be h(10). Suppose 5*z - 2*z + 48 = l. Which is bigger: z or -17?
z
Let w be 1/(-1) + (-8208)/(-20). Let g = w + -411. Is -3 less than or equal to g?
True
Let q(h) = -h**3 + 4*h**2 - 9*h + 10. Let x be q(2). Which is greater: x or 2/15?
2/15
Let p = -12.46 - 1.14. Are p and 0.3 non-equal?
True
Suppose n - 5*n = -56. Suppose -4*l = n + 10. Which is bigger: l or -3?
-3
Let k(y) = -y**3 + 18*y**2 - 19*y +