 n?
p
Suppose 0 = 2*p - n - 318, -p + 37 + 125 = -2*n. Let k be -2*632/16*(-6)/3. Is k at least p?
True
Let w(c) = -2*c**2 - 6*c + 2. Suppose -4*v + 11 = i - 9, -5*v + 22 = 2*i. Let z be w(v). Which is bigger: -108 or z?
z
Let a = 3640224/24985 - 2768/19. Is a != 1?
True
Let z = -94 - -27. Let w = -73 - z. Let o = -6 - w. Do o and 41 have different values?
True
Let l = 9131 + -4747. Is l >= 4384?
True
Let t = -2688 - -2687.341. Which is smaller: -3 or t?
-3
Let a = 17.15 - 15.15. Is a smaller than 17.07?
True
Let f = 1658452/3098325 - 175/327. Is f at most 0?
False
Let l be 273/(-9)*159/53. Which is smaller: -78 or l?
l
Let b = -1179835/5928 - -607/741. Suppose -2562 = 22*q + 1794. Let w = q - b. Which is greater: 0 or w?
w
Let k be (-957)/297 - 5/((-15)/9). Is k < 2/5431?
True
Let x be 32/(-80) + 3/(-5). Let c = 3334946306/83 + -40181816. Let w = c + 1740. Is w equal to x?
False
Let a = 3.34 - 0.82. Which is smaller: -0.1 or a?
-0.1
Let k = 2027/2 - 1100. Which is smaller: k or -86?
k
Suppose -3*u + 0 = -5*k + 132, -5*k - 2*u + 112 = 0. Let r = k - 14. Suppose r*c + 10 = -20. Is c smaller than -2?
True
Let o = 211 - 151. Let r = 3480 - 3586. Let v = r + o. Which is greater: -0.1 or v?
-0.1
Let i(l) = -15*l**2 + 6*l - 6. Suppose -d + 5*d - 3*u - 117 = 0, -4*d + 123 = -5*u. Let z = d - 26. Let j be i(z). Which is smaller: -3 or j?
j
Let n = 144/31 - 22772/4929. Is n equal to -1?
False
Let z = -0.177 - 266.823. Let n = z - -327.5. Let t = n - 60. Which is smaller: t or 1/5?
1/5
Let g = 709984 - 7816494/11. Is g less than or equal to -607?
False
Let u = -6787 - -6788. Is u != -3/418?
True
Let i = 1143 - 12575/11. Which is smaller: i or 2?
i
Let u be 50/15*720/(-160). Let v be -4*3 - (2 + -2). Is v != u?
True
Suppose -2*i = -15*j - 162, -59*j + 54*j - 60 = 0. Let l = 9 - 16. Are i and l unequal?
True
Let w(b) = b**2 - 31*b + 3. Let f be w(16). Let l = -6872/29 - f. Which is bigger: l or -5?
l
Let r be 2544/6572 - 4/10. Does r = -26?
False
Let p = -99 - -298. Let u = 176 - p. Is -25 > u?
False
Let u be (-313866)/2632*((-5)/12 + 1). Is u less than -69?
True
Let b = -251 + 248.83. Let w = b - -1.57. Do w and -0.9 have different values?
True
Let s = 91.053 + -1.753. Let k = -90 + s. Suppose 5*j - 3*t - 9 = -49, -j - t = 0. Which is smaller: k or j?
j
Let j be (-1159062)/(-9660) - (-6)/20. Which is bigger: 120 or j?
j
Let g = 3 + 0. Let k = 1117/517 + 1/47. Do g and k have the same value?
False
Let d(c) = c**3 + 5*c**2 - 2*c + 1. Let v be d(-5). Suppose 20*j = 21*j - 5*t + 27, -5*t + 24 = -2*j. Suppose j*z - 8*z = 2*w - 83, -v = -z + w. Is 15 > z?
False
Let o = 4685/4 - 1171. Let t = 288.0016 - 0.0016. Is t greater than or equal to o?
True
Let x = 109.3 - -1.7. Let t = x + -29. Let l = t + -152. Which is smaller: 1/4 or l?
l
Suppose -8*h = -0*h - 48. Suppose h*b - 207 = 351. Which is greater: b or 94?
94
Let y = 288 + -290. Let a(c) = 138*c + 126. Let t be a(y). Which is smaller: t or -148?
t
Let g be 6/15 - (-3)/5. Let r = -197.41 + 273.41. Is r less than or equal to g?
False
Let s = -715/8 - -3567/40. Do 1995 and s have different values?
True
Let y(b) = -7*b**2 + 2*b + 3. Let n be y(5). Let k = -111 - n. Let i be (34/k)/(76/39 - 2). Do -12 and i have the same value?
False
Let p = -296371/7186279765 + 7/100955. Let t = -138748/128770047 - p. Is 1 < t?
False
Suppose -140 + 54 = -2*u. Let t = u + -7. Let w be (69/8)/(t/48). Which is greater: w or 11?
w
Let r be -58*(4 - 3) - 10/2. Let s be (0 - -21)/(2/(-6)). Is r equal to s?
True
Let w = 0.1421 + -0.2821. Which is bigger: -101 or w?
w
Let q(m) = m**2 - 8*m + 84. Let i be q(-17). Suppose -5*p = 4*c + i - 37, 4*c - 2*p = -444. Which is bigger: c or -114?
c
Let c = 4 + -1. Let n be ((-34)/(-2))/(c/(-2) - -1). Let o(f) = 5*f + 12. Let z be o(-9). Which is greater: n or z?
z
Let w = -6266 + 25065/4. Is 34/77 < w?
False
Let d be (-180)/780 + 10/(-13). Which is bigger: -5/2382 or d?
-5/2382
Suppose -14582 = -165*t - 170*t + 10878. Which is smaller: 97 or t?
t
Let w(r) = -r + 1. Let y(q) = -4*q + 38. Let d(g) = -6*w(g) + y(g). Let c be d(15). Let v = 1177/19 - c. Which is smaller: -1 or v?
-1
Let y be ((-276)/207)/((-2)/(-6)). Let f be (-3 - (-2835)/413) + y. Which is bigger: 1 or f?
1
Let a be 1/(-1) + 94 + -90. Suppose -14 = 3*w + 7*s - 3*s, 2*s = -a*w - 22. Do w and 1/23 have the same value?
False
Let o = 4.098 + -3.978. Is o equal to -22/17?
False
Let y(x) = x**3 + 3*x**2 - 504*x. Let t be y(-24). Is -5/1466 at least t?
False
Let u = -2142 - -327725/153. Let a = u - -103/153. Does 2 = a?
False
Suppose 0 = 4*w + 4*n + 8, -4 = -21*n + 25*n. Which is smaller: w or -1079?
-1079
Let l(z) = 2*z**2 + 20*z. Let s be l(-10). Let b be ((-8)/(-198) - s)*26/(-156). Is 1 > b?
True
Let s = 388.316 + -388. Let n = s - -222.684. Which is smaller: 1 or n?
1
Suppose 0*z - z = -3*t - 2, -18 = -4*z + 2*t. Suppose -l + 1 = f - 3*l, 1 = -f + 3*l. Suppose -f = z*s + 10. Which is bigger: -9 or s?
s
Let d be ((-308)/(-33))/7 + (-88855)/(-231). Suppose -6*g = 3*z - 2*g + 1166, -2*z = -3*g + 766. Let f = d + z. Which is smaller: f or 0?
f
Let g(v) = v**3 + v**2 - 2*v + 40. Suppose -3*i - 3*j = 3, -i - 3*j = -0*i + 3. Let b be g(i). Let k = b - 35. Is 3 at least k?
False
Let m be 1 - -1 - (354/472)/((-6)/8). Is 1749 less than or equal to m?
False
Suppose 4*h = -4*y - 40, -h = -3*y - 41 - 9. Let z(p) = -p**3 - 16*p**2 - 15*p - 2. Let a be z(y). Let x = -573/275 - -18/25. Which is bigger: x or a?
x
Suppose 25*h + 6727 = -6*h. Let g be (-62)/h - 46/14. Which is smaller: 0 or g?
g
Let a be 64/(-29712)*(-3)/(-14). Let p = a + 5385/2279158. Are p and 0 unequal?
True
Let x = 6/1663 + -3488/44901. Which is smaller: 1/16 or x?
x
Suppose -8*z + 279657 = -11*z - 20*z. Which is smaller: -12158 or z?
z
Let k = 9287 - 9286. Are -1/3773 and k equal?
False
Suppose 0 = 19*h - 17*h. Let o = 19030/55169 - -5/1283. Which is bigger: o or h?
o
Let b = 157 - 225. Let q = -47 + 114. Let h = b + q. Is 40 at least as big as h?
True
Suppose c + 4*f - 7*f - 10 = 0, c = f + 2. Let i be (1 - c)/(-12*10/(-400)). Which is bigger: i or 13?
13
Let j = -1153 + -7693. Which is smaller: j or -8847?
-8847
Let s be 1/((-38)/(-140) + 0). Let g = s + -1351/114. Let a = 3573944 + -3573943. Which is greater: g or a?
a
Let c(h) = -h**3 - 61*h**2 - 54*h - 3300. Let y be c(-61). Which is bigger: -957 or y?
y
Let t be (((-15)/(-6))/(-5))/((-2)/(-84)). Let r be (t/(-28))/((-6)/(-16)). Suppose k + 90 = 5*w, -r = -3*k + 13. Do 20 and w have the same value?
False
Let b be (34 + -23 - 10)/(-7). Is -206 greater than or equal to b?
False
Let i be ((-63)/(-9) + -9)*((-11)/(-2) + -6). Which is bigger: i or -3/253?
i
Let n be 2/4 - (10 - 25/2). Let w = -0.139 - -8.199. Let x = -8 + w. Do n and x have different values?
True
Suppose -a = -1 - 4, -4*o + 4*a = 564. Is o > -1491/11?
False
Suppose t - 5*t = 2*j + 40, -3*t + j = 40. Let l be ((-5301)/420 - t) + 3/5. Which is smaller: l or 0?
l
Let g(z) = -z**2 + 64*z + z**2 - 44 - z**2 - 50*z. Let p be g(5). Which is greater: -208 or p?
p
Suppose 4588 + 10394 = -11*c. Which is bigger: -1361 or c?
-1361
Let a be (-208623)/1773 + (0 - (-8)/(-6)). Let p be -17*(-1 - -8*1). Do p and a have the same value?
True
Let z be (-3 - 12890/(-4295))*164/(-123). Do z and -1 have the same value?
False
Let q = -0.05 - -0.05. Let d = -524/429 - -14/11. Is d less than or equal to q?
False
Suppose f + 4*u - 16 = 182, 2*u = 3*f - 552. Let c = 181 - f. Is c smaller than -52/9?
False
Let l = -0.3534 - -37.7534. Which is smaller: l or 17?
17
Let r(l) = l**3 + 17*l**2 - 587*l - 68. Let q be r(-34). Which is smaller: q or 261?
q
Let j be 27/(-12)*8/(-3). Suppose 2*c - 2*z = -76, 40*c + z = 45*c + 170. Let t be -5 - j/81*c. Which is smaller: t or -2?
t
Let n be 1*(10 + -5 + -4) + -1334. Do n and -1332 have the same value?
False
Suppose -5*q + 10*q + 5*j - 17345 = 0, 2*q - 6936 = -4*j. Let y = 350463/101 - q. Is 0 != y?
True
Let m(r) = -2*r**2 + 14*r - 14. Let z be m(6). Let j(h) = -10*h - 18. Let o be j(z). Suppose -8*f - o*f + 40 = 0. Is f greater than or equal to 3?
True
Suppose 13*o = -211 + 757. Suppose o*c - 46*c - 68 = 0. Is c at least as big as -95/6?
False
Suppose -3*i - v - 430 = 0, 6*i + 2*v = 4*i - 288. Let g = -129 - i. Do 16 and g have the same value?
Fal