
True
Let f = -0.0494 - -1.0494. Is 1/353 >= f?
False
Let g = 4.4 + -5. Let c = 7.4 - g. Let b = 8.05 - c. Which is smaller: b or 1?
b
Suppose -p + b = -2*p + 2, -5*b - 20 = -p. Let a be 20/((-25)/p)*1. Which is bigger: -5 or a?
a
Suppose 0 = 17*c - 21*c + 16. Suppose -2*r - r + g + 92 = 0, 0 = c*g - 16. Is 33 < r?
False
Let j be 788/(-28) - 1/(-7). Let h = 34 + j. Let o be (-1)/h - (-5)/(-78). Is o bigger than -1?
True
Let p = 12.18 + -15.85. Do p and 1 have the same value?
False
Let a be (114/(-54) - -6) + -4 + 0. Suppose 3*z + 11 = 5*v, 2*v - 7*v = 4*z - 32. Suppose -10 = -y - 5*w, z = 3*y + w + 1. Is a bigger than y?
False
Let y = -1 - -1. Suppose -o = -5*m - 28, 2*o - m + 114 = 7*o. Let d = o + -24. Which is bigger: d or y?
y
Let y(b) = b**2 - 2*b**2 + 2*b**2 + 0*b**2 - 16*b + 1. Let n be y(16). Which is greater: 4/51 or n?
n
Let v = 1.95 + -1.65. Let b = -0.05 - -0.45. Let s = b - 0.3. Which is smaller: s or v?
s
Let i = -61 - -87. Let u = i - 21. Suppose -4 - 6 = d + u*r, -5*r - 40 = -5*d. Is d at most as big as 4?
False
Let j(o) = -o**3 - o**2 - o + 1. Let r be j(1). Let c = -2 - r. Let n be ((-8)/10)/(7/(70/4)). Which is bigger: c or n?
c
Let f be 90/12*10/(-295). Which is greater: 0 or f?
0
Let v = -281.7 + 5.7. Which is greater: 1/2 or v?
1/2
Let m = -1008/551 + 40/19. Is 1 at most m?
False
Let d = -103.77 - -105. Are 1 and d nonequal?
True
Let j(s) = 33*s. Let v be j(-9). Let k be v/15 + 3/(-15). Are -21 and k non-equal?
True
Suppose k + 5*p - 933 = -k, 932 = 2*k + 4*p. Is 463 bigger than k?
False
Let t = 18 + -3. Let n = 14.7 - t. Let s = -0.4 - n. Are s and 2/9 equal?
False
Let u be (14/21 + 5)*6/(-10). Is u greater than -2?
False
Let x = -744747/178 - -4184. Is 1 greater than or equal to x?
True
Suppose 0*d + 4*d + 470 = 3*o, 4*d + 4*o + 456 = 0. Let j be 2*(-3)/(-4)*d/6. Is -28 < j?
False
Suppose 2*g + 5*w + 6 = 0, -g + 12*w - 14*w - 3 = 0. Which is bigger: g or 3?
3
Let m = -32 - -35. Suppose -4*t - 3*n - 8 = 5, -t - m*n = 10. Is t at most -3/8?
True
Let x = 17 + -18.5. Let n = x - 1.5. Let j = -117 + 817/7. Does j = n?
False
Suppose 12*u - 40 = 4*u. Suppose 13*t - u = 8. Is t smaller than -1/9?
False
Let z = -1.4 + 3. Suppose 0 = -i + 4*s + 19, 4*i - s - 16 = 3*s. Let d be (-2)/(i - -2)*(-2)/10. Which is smaller: d or z?
d
Let u = 5.4 - 6. Let o = 4.4 - u. Let i = -4 + o. Which is smaller: i or -0.14?
-0.14
Let l = -0.3 + 11.3. Let o = 24 + -36. Let a = o + l. Is -0.3 <= a?
False
Let j(p) = p**2 - 10*p - 1. Let o be j(6). Let i be (-6)/(-4)*5/o*2. Is i > -1?
True
Let u be (3/4)/((-6)/(-8))*0. Is u at least as big as -2/91?
True
Let r be (-3)/6*(-8)/(-12)*-1. Suppose 0 = 2*m - m - 6. Let b(n) = -n**3 + 5*n**2 + 5*n + 5. Let y be b(m). Which is bigger: r or y?
r
Let h be 12/(-1 + 9/6). Let j = 12 - h. Let r be (j/3)/(-20)*1. Is 0 bigger than r?
False
Suppose 4*v - 3*o = -4, 2*v + 7*o - 2*o = 24. Let s = v - 0. Let i be s*(3 - 34/10). Which is greater: i or 0?
0
Let z = 28 - 24. Suppose -z = 5*r - r - 3*d, 2*r + 3*d + 20 = 0. Is -25/6 less than r?
True
Let t = 9957 - 189138/19. Are t and 2/7 equal?
False
Let s be (54/8)/((-5)/20). Let t be 3*3*(-33)/s. Let k be -2 - 13/t - -3. Is -1 greater than or equal to k?
False
Suppose 0 = -2*a + g - 0*g + 151, -3*a + 246 = 5*g. Is a at most as big as 74?
False
Suppose -2*l + i - 2 = 5, -9 = 3*l - 3*i. Let w = -175 - -276. Suppose 110 - w = -3*j. Which is smaller: l or j?
l
Let r = 1085 + -1103. Are r and -18 unequal?
False
Suppose 2*c + 3*o + 777 = 0, -4*o = 2*c + 239 + 537. Let s be -4 + (-1694)/c + (-1)/3. Is 0 < s?
True
Let q = 1/12056622 - 8885733763/40377627078. Let s = q - 3/197. Which is greater: s or 0?
0
Let l = -74 - -76. Let i = 0.16 + -0.08. Let d = 0.12 - i. Is l equal to d?
False
Let h = 0.05 - -58.95. Let g = h - 57. Is 1/3 not equal to g?
True
Suppose -25 = 5*k - 0*k + 5*t, -k = 5*t + 25. Let z be -2 - 1 - 93/9. Let s = z + 12. Which is greater: s or k?
k
Let w = 429683/49140 + -28/351. Let t = 3/35 + w. Is 8 >= t?
False
Let a = 93 - 90. Let u be -2 + a + -25 + 0. Is -27 at most as big as u?
True
Let i = -6.83 - -6.9. Let j = -9 - -9. Is i > j?
True
Let x(s) = -s**2 - 5*s + 10. Let y be x(-6). Let g = -15 - y. Let r = g + 17. Is r at least as big as -4?
True
Suppose -4*i + 2*i = -66. Let s be i/(-27) + (-6)/(-27) + 2. Let d be ((-3)/9)/(2/(-12)). Is s bigger than d?
False
Suppose 5 - 61 = -8*t. Suppose 18*d - t = 19*d. Which is smaller: d or -4?
d
Suppose 2467 = -2*m + 2169. Which is smaller: m or -148?
m
Let g = -2.12 + 1.43. Which is smaller: 0.2 or g?
g
Let h(q) = q**2 - 3*q + 2. Let r be h(3). Suppose -o + 4*b + 23 = 0, r*o - 2*b + 38 = 6*o. Which is smaller: o or -1/3?
-1/3
Suppose 2*i - i = -5*h - 3, 0 = -4*i - 4*h - 12. Let f = -3 - -6. Suppose 0 = -4*p + p - f. Which is bigger: i or p?
p
Let o = 12.5 + -11.1. Let q = -0.1 - -0.3. Which is smaller: o or q?
q
Suppose 9*g - 8 = 7*g. Suppose g*w - 22 = -10. Let m = 286/3 - 92. Which is bigger: m or w?
m
Let w be 10/275*115 - 4. Which is greater: 0.02 or w?
w
Suppose p + 3*p - 4752 = 0. Suppose -7*j + p = -11*j. Let v = 1199/4 + j. Which is bigger: 3 or v?
3
Suppose 7*q - 8*q = 3*g - 28, 10 = 2*g. Suppose -w - 3*v + 13 = -2, 20 = -w + 4*v. Suppose -4*y - q = t, -3*t = -2*y - w - 3. Is t equal to 1/5?
False
Let y = 0.19 + 0.1. Let q = -1.29 + y. Which is smaller: q or 3?
q
Let m = 75 + -72. Suppose -4*a + 5*i - 3 = -2, -m*i = 5*a + 29. Is a at least as big as -18?
True
Let c be 2373/14*3*4/(-9). Is -225 not equal to c?
True
Let z = -0.004 - 26.996. Let w = -26 - z. Do -2/11 and w have the same value?
False
Suppose 0 = -5*z - 91 - 299. Let g be ((-1)/116)/(13/z). Is g not equal to 1?
True
Let f = -26 - -35. Suppose -4*k = -f*k + 25. Let r(h) = h**2 + h - 2. Let b be r(2). Is k < b?
False
Let x = -5.54 + 6.2. Let r = -0.46 + x. Is r smaller than 0.2?
False
Suppose 6*h - h - 28 = -c, -3*c - 3*h = -60. Suppose 28*y - c = 25*y. Is y bigger than 26/5?
True
Let p be (-2)/((-30)/20 - -2). Which is smaller: -9 or p?
-9
Let z = -240 + 1181/5. Does -3 = z?
False
Let d be (-543)/2*(-32)/56. Let l = 156 - d. Is l at least as big as -1/5?
True
Let k be 4*(-4)/(-32)*0. Suppose -m + 1 = -0*m. Let b = m + 0. Is b greater than or equal to k?
True
Let l be 2/(-8) - 6/8. Suppose 15 = -4*x + 3. Is l greater than x?
True
Let l = 1539 - 1535. Let x(i) = -3*i + 10. Let v(j) = -2*j + 11. Let n(z) = 5*v(z) - 6*x(z). Let o be n(l). Is 1/4 at least as big as o?
False
Suppose -i - i + 4*x - 46 = 0, i + 48 = -3*x. Let o = 31 + i. Is -20/9 smaller than o?
True
Let l be (-520)/30*(2 - -16). Let q be l/16 - 1/(-2). Is -20 smaller than q?
True
Let s = -5283/679 - -48/97. Is s greater than -6?
False
Let d(p) = 6*p - 28. Let z(a) = a**3 + 5*a**2 + 6*a + 4. Let k be z(-3). Let g be d(k). Is -4 bigger than g?
False
Suppose 5*u - 1 = -3*r + 29, -4*u + 12 = 0. Suppose 12 = 5*j + 4*b, 2*j + 0 = b - 3. Suppose -4*z + r*z = j. Which is bigger: 4 or z?
4
Let n(r) = r**3 - 6*r**2 + 4*r - 1. Let c be n(7). Let t = -63 + c. Is 13 at least t?
True
Suppose -3*b + 6 = -0*b. Let d = -35 + 37. Let n be 0 + d/(-6) + 174/144. Which is smaller: b or n?
n
Let u be (-131)/(-6) - (-1)/6. Which is smaller: 12 or u?
12
Let v be (-366)/88 + (34 - 30). Which is smaller: v or -1?
-1
Let r = -74 + 98. Let w = -28 - -30. Which is greater: w or r?
r
Let l(n) be the third derivative of n**4/12 - 3*n**2. Let p be l(-1). Let z be -2*1 + p + 6. Which is bigger: -1 or z?
z
Let t be (6/(-1341))/((-1)/9). Is t bigger than 0?
True
Let c be (30/(-140))/((-5502)/49). Which is greater: c or -1?
c
Suppose 2*a + 144 = -3*d, -4*a + d - 103 = 199. Let j = -45 + -31. Is a at least j?
True
Let v be (-4)/18 - 1275/(-27). Suppose 22 = -5*u + v. Suppose 0 = -3*n + 5*a + 15, -4*n + 12 + 8 = 3*a. Are n and u non-equal?
False
Let m = 15 + -15.15. Let j = -0.04 - m. Let u = j - 0.21. Is 14 not equal to u?
True
Let o(i) be the first derivative of -2/3*i**3 - 5*i + 10 - 13/2*i**2. Let g be o(-6). Which is bigger: g or 2/71?
g
Suppose -4*b - 35 = -11*b. Suppose b*m = 6*m. Which is bigger: m or -5/6?
m
Let j(g) = 16*g**2 + 7*g - 10*g - 15*g**2 - 1. Let p be j(4). Is 5/2 less than p?
True
Suppose 2*z - 3 = 5*z, -3*v + 3137 = -2*z. Is 1046 smaller than v?
False
Suppose -t + 0 + 4 = 0. Suppose 0 = 2*a + 5*f - 26