 d < f?
False
Let s = 437231/7 - 62335. Which is smaller: 127 or s?
s
Let g = -44 - -47. Let q be 16 + -1 + -2 + -4 + g. Let f = -3 + 15. Is f greater than or equal to q?
True
Let j = -1 - 0. Let m be -3 - (886/(-306) + 86/(-387)). Which is bigger: j or m?
m
Let n(p) = p**2 - 7*p - 1. Let m be 18/(-2) - (11 + -14). Let j be 28/6*m/(-4). Let i be n(j). Which is bigger: i or -7/6?
i
Suppose 0 = -3*z - c + 9, -23 = -5*z + 7*c - 6*c. Let i be (-3)/(-6)*(-34)/(-4). Which is smaller: z or i?
z
Suppose 3*n = 21 + 15. Suppose 3*c = -d + 12, -2*c - 3*c - 5*d + 10 = 0. Suppose c*b - 11 = 49. Do n and b have different values?
False
Let l = -26 + -6. Is l equal to -0.2?
False
Suppose -26*p - 7 = -19*p. Which is greater: 8/89 or p?
8/89
Let z = 471 - 214. Is z at least 256?
True
Let l be (-20)/6 - (-3)/9. Suppose -5*w - a + 8 = -w, -5*w + 4*a + 31 = 0. Let f = l + w. Which is greater: 3 or f?
3
Let l = -1679 + 1680. Is 36 at least as big as l?
True
Let j = 342 + -1034/3. Is -3 at most j?
True
Let l(v) = v - 3. Let w be -7 + 4 + 8/1. Let y be l(w). Let t be (0/2 - y)/(-2). Which is bigger: t or 4?
4
Let l be 4/(-10)*(2 - 1)*-45. Let v be 8/36 + ((-94)/l - -2). Is v >= 8?
False
Let o be (-4)/6 + 20/(-6). Let d(u) = -41*u**3 + u + 2. Let j be d(-1). Suppose -5*h = 2*h + j. Does o = h?
False
Suppose -11*k - 6 + 17 = 0. Let x(o) = -o**2 + 3*o + 1. Let h be x(3). Is h at most as big as k?
True
Let k(j) = j**2 + 3*j + 3. Let h(f) = -f**2 - 4*f - 3. Let b be h(-4). Let p be k(b). Let u be 30/(-70)*2/p. Which is bigger: 2/9 or u?
2/9
Let y be 17/2 + 2/4. Let i = y + -11. Let n be (1/i*0)/1. Which is greater: -1/4 or n?
n
Let r = -0.8 - 0.1. Let o = -32 + 33. Let m be o*(-1)/16*-4. Are r and m non-equal?
True
Suppose 0 = -9*s + 58 + 2579. Which is smaller: 880/3 or s?
s
Let g = -1.073 + -1.927. Which is bigger: g or 2?
2
Let s(b) = b**2 - 13*b + 21. Let g be s(11). Is -89 less than or equal to g?
True
Let b be ((-3)/(-2))/(12/568). Which is smaller: b or 287/4?
b
Let p be 2 + 0 - 32/14. Let w be (-6)/(-21) - 142/644. Let o = 10/23 + w. Does o = p?
False
Let u be ((-48)/36)/((-2)/18). Let t = u + -12. Which is bigger: -1 or t?
t
Suppose -65 = -4*r + 7. Suppose -12*w - r = -3*w. Let g(q) = 4*q**2 - 2*q + 1. Let k be g(1). Is k smaller than w?
False
Let h = 70 + -73. Let k be h/(36/(-8))*21*3. Is k <= 42?
True
Suppose -55 = -12*s + 9*s + 5*c, -5*s + 101 = c. Is s less than 191/9?
True
Suppose 170 = 21*y - 4*y. Is -60 smaller than y?
True
Let d = -0.6 + 2.6. Let x = d - 0.03. Let f = -0.03 - x. Is -2 equal to f?
True
Let l be ((-2)/3 - -2)/(16/(-1152)). Is -97 bigger than l?
False
Let y = -87 + 117. Let b = y + -29. Is 1 >= b?
True
Suppose -24*y + 1710 = -30*y. Is y != -285?
False
Let c = 134 - 134.15. Let n = 0.1 - 0.3. Let t = c - n. Which is smaller: -1 or t?
-1
Let l = 50 + 3. Suppose -4*g - l = -3*x, 3*x - 4*g = 5*x - 22. Which is bigger: 14 or x?
x
Suppose 0 = 3*h + 54 + 63. Which is smaller: h or -198/5?
-198/5
Let u be (-9)/(-72)*0*-1. Is u <= -12/17?
False
Let s(u) = -2*u**2 - 7*u - 3. Let k(y) = 5*y**2 + 13*y + 6. Let r(p) = 6*k(p) + 14*s(p). Let t be r(10). Is -9/2 at least as big as t?
True
Suppose 0 = -z + 4*z + 3. Let x = -63 - -3842/61. Does x = z?
False
Let a(g) = g**3 + 7*g**2 + g + 10. Let y be a(-7). Let d be 3*y/(-18)*-2. Let p be -2 + 1*16/9. Which is smaller: p or d?
p
Let n = 0.6 + -3.6. Let p = n + 4. Let q = 101.5 + -101. Which is smaller: p or q?
q
Let r(x) = x**2 + 17*x + 2. Let v be r(-17). Suppose -5*d = 5*u - 4*d + 40, d - v = u. Which is smaller: u or -5?
u
Suppose -p + 6*p - 30 = 0. Suppose 3 = -3*q + p*q. Let j be ((-12)/10)/(2/(-4)). Which is smaller: j or q?
q
Let u be 2/(-12)*348/28. Let m = u - -11/14. Do -2 and m have the same value?
False
Let k = 5 - 0. Suppose k*d = 96 + 34. Let j be d/36 - 18/27. Which is smaller: -1 or j?
-1
Suppose -7*s = -10*s + 3. Let a be ((1 - s)/(1 - -1))/2. Are a and -2/7 unequal?
True
Let l = -8 + 2. Suppose 27 = u - 5*c, c - 1 - 4 = -5*u. Let n be (-44)/(-275)*(-5)/u. Which is smaller: l or n?
l
Suppose -14*g + 10*g = 16. Let l be ((-365)/20 - g)/((-27)/(-6)). Is l equal to -2?
False
Let r(j) = j**3 - 5*j**2 - 7*j + 2. Let o be r(6). Let m be (-1)/o + (-27)/84. Suppose g - 16*g + 15 = 0. Which is smaller: g or m?
m
Let h(r) = 18*r + 4. Let o be h(-5). Let l be 40/(-6)*((-236)/(-20) + 1). Let s = o - l. Which is greater: -2 or s?
s
Let a be (-3)/(2*12/32). Let k = -137 + 131. Which is bigger: a or k?
a
Let r = -28763/6908 - -179/44. Is 0 less than r?
False
Let i = 89 - 98. Let t be i*(-6)/18*(-4)/3. Is -3 > t?
True
Let g be (2 - 5)*15*1. Let r be g/6*4/(-3). Let j be -3 + r + 0/(-3). Which is smaller: j or 8?
j
Let z = -66.976 - 0.024. Let w = z - -92. Is -1 at least as big as w?
False
Suppose 26 + 52 = -6*f. Let n = f - -9. Let v = 11 + -12. Are n and v equal?
False
Suppose -14*u + 210 = 196. Which is smaller: -2/39 or u?
-2/39
Suppose -h = -2*h. Let f(i) = -2*i + i + 7*i + h + 1. Let j be f(-1). Is j <= -7/2?
True
Suppose -2*u = -7*u + 2*v + 103, -4*u + 85 = v. Let f = 6.4 + -3.2. Let o = 3.2 - f. Which is greater: u or o?
u
Suppose z = 2*f + 8, 2*f + f - 9 = -2*z. Let m = z + -17. Which is bigger: m or -9?
-9
Let q(h) = -4*h**2 - 2*h - 10. Let v be q(-8). Which is bigger: -251 or v?
v
Suppose j = 4*j + 327. Is -109 greater than j?
False
Let h(z) = z**3 + 10*z**2 + 8*z - 6. Let l be h(-9). Suppose 6*j + 23 = l*f + 7*j, 5 = f + 3*j. Is f at most 13/2?
False
Suppose 4*n = 5*u - u - 28, -2*u + 15 = -3*n. Let t(j) = j**2 - 4*j - 10. Let l be t(u). Is l <= 3?
True
Let c = 263 - 275.7. Is c at most 2?
True
Let z = -7 + 2. Suppose 4*q = 6*r - r - 160, 4*q + 156 = 4*r. Let m be -10 - 7/(q/20). Which is smaller: m or z?
m
Suppose -3*u - v + 401 = 0, 2*u - v - 287 + 28 = 0. Is u greater than or equal to 131?
True
Let p = 6 - 5. Let l = -238 + 233. Which is smaller: l or p?
l
Let y = -2.4772 - -0.4772. Let u = -1.2 + -4.8. Let m = -5.7 - u. Which is smaller: m or y?
y
Let m be 3 - 0/(-2 + -1). Suppose -m*k + 10 = -8. Suppose 3*b = 5*a - 37, 2*a - 4*b = 4*a + k. Is a < 5?
False
Let f be (-66)/(-165) + 32/70. Is 0 less than f?
True
Suppose 2*r + x = -28, 2*r + 8 = -0*x + 4*x. Let i be (-48)/(-26) - r/(-6). Let b = 0.8 + 0.2. Which is smaller: b or i?
i
Suppose 0 = 6*x - 16*x + 30. Is x equal to -5?
False
Let r(v) = v**2 + 8*v + 10. Let g be r(-7). Let j be 2 + -1 + g + -2. Let p be 1*j - (-220)/(-121). Is p smaller than 1?
True
Let y be 580/(-464) - (-2)/8. Which is smaller: 4/33 or y?
y
Let b = 8.79 + -9.2. Is 0.2 greater than b?
True
Suppose -4*h = -0*q - 5*q - 31, -q - 4*h = -13. Let u be 3 - q*6/9. Which is greater: 1/3 or u?
u
Let i = -2 + 3. Let s = 9.889 - -0.111. Is i smaller than s?
True
Let g be (-6 + 5)*(-6)/(-3). Let c be (g/4)/(5/(-50)). Suppose -t = -c*t - 12. Is 0 smaller than t?
False
Let z be 0 - 5/((-275)/(-20)). Let s = 17 - 17. Is s <= z?
False
Let k = -1636/7 + 1716/7. Is k < 12?
True
Let s = -757 - -383. Let z = s - -778. Let d = 1603/4 - z. Which is smaller: -2 or d?
d
Let m = 0.621 - -0.109. Let t = 21.73 - m. Is 1 at most as big as t?
True
Let q be 5/4*-1 - 21405/12. Is q less than or equal to -1786?
False
Let q = 884/7 + -126. Suppose 201*n = 173*n. Which is smaller: q or n?
n
Let i be (-2)/(-44)*(-24)/(-2 - 4). Is -0.5 less than i?
True
Suppose 112 = -4*s - 8. Let a be s/21 - 12/(-28). Is a >= 2/9?
False
Suppose -378 = -5*g + 372. Let u be (-8)/2 + 604/g. Is u greater than 1?
False
Let h be -1*(-3)/6*-2. Let n be (-485)/(-170)*h/(-4). Let m = -10/17 + n. Which is bigger: m or 1/4?
1/4
Suppose -u + 5*o = 15, 2*u - 3*o + o = -6. Let t be (-8)/4 + 1 + 2 + 0. Which is smaller: t or u?
u
Let a = 112.9 - 94.9. Which is smaller: 3/2 or a?
3/2
Suppose -2*g = -g - 12. Suppose -3*n + g = n - 2*h, 0 = -4*n + 3*h + 10. Let u be 2*(-15)/10 + 8. Is u less than n?
False
Suppose 13*g - 72 = -5*g. Let d be (-1)/((1/2)/(-1)). Are g and d non-equal?
True
Suppose -y + 6*y = 25. Suppose p - 4*p + 3*l = -6, -3*l = y*p + 6. Suppose -3*q + 3 = -p. Which is greater: q or 6?
6
Suppose 5*k + 817 = -4*p, -73*k = -75*k - 2*p - 326. Is k >= -166?
True
Let s(z) = z + 1. Let n be s(5). Let i = 11195 + -11194.7. Is n <= i?
False
Suppose -8*o + 5*o = -66. Suppose 2*v + 12 - 4 = 0, 5*r + 2*v = o. Suppose r*t - 3*t + 6