77 at most a?
False
Let t = 1191 - 1176. Let p = -13 + 22. Which is greater: t or p?
t
Let d(s) = -723*s + 898. Let m be d(-10). Is 8127 less than or equal to m?
True
Let h = 3.47 + -5. Let l = h - -1.6. Let a = -4.8267 - -2.8267. Which is greater: l or a?
l
Suppose 3*i - 5298 = 4*s, -3*i - 16 = -34. Which is greater: s or -1321?
s
Suppose -3*f + 14 = -a, -3*f + 2*f = -a - 8. Suppose y + 4*z = -1 - 29, f*z - 15 = 0. Are y and 5 nonequal?
True
Let j = -827/8 + 207/2. Let z(i) = i**2 + 9*i - 4. Let l be z(-10). Suppose l*d = -2*v + 3*d - 12, 2*d = -v - 8. Which is bigger: j or v?
j
Let w = 0.04602 - 1288.04602. Are w and -0.2 unequal?
True
Let x = 0.0299 + -36.0299. Which is bigger: -2 or x?
-2
Let c = -3484 - -3484. Which is smaller: c or 2186?
c
Let g be 11/((-231)/(-414))*7. Suppose 50 = 4*u + g. Suppose -8 = 3*f + 58. Is u < f?
False
Let s be 1/(-4) + (-3)/(-4). Let r be (((-1)/(-2))/(5/85))/((-13)/26). Which is bigger: r or s?
s
Let s = 0.284 - 0.734. Is s greater than 39?
False
Let h(d) = -d**3 + 23*d**2 - 24*d + 29. Let r be h(22). Let f(c) = c**2 + 14*c - 17. Let t be f(r). Let a(j) = -4*j - 10. Let b be a(t). Is -3 <= b?
True
Let a(z) = -z**3 - 5*z**2 + 9*z - 9. Suppose -37*i = -39*i - 22. Let g be (-2)/((-2)/i) + (-4 - -8). Let r be a(g). Which is bigger: 27 or r?
27
Let i(n) = n - 5. Let m be i(6). Let y = -2012 - -4097/2. Let z = -1967/54 + y. Is m at least z?
True
Suppose -k + 4 = 5*o, 0 = -4*k - o - o - 2. Let m = 2871 + -106217/37. Is m at most as big as k?
False
Let k be 36/63 + 6/14. Let c be (2/k)/(17/4097). Let o = c - 15902/33. Which is greater: o or -1?
o
Let m = -165.2 - -45.2. Let b = m - -120.3. Which is bigger: 27 or b?
27
Let z = 7935 - 7446. Which is bigger: z or 23?
z
Let g be 350/(-105)*(-996)/(-10). Let l = g + 324. Does -9 = l?
False
Let k be 52/(-7) + 0 + 3 + (-264)/(-616). Which is bigger: -222/55 or k?
k
Let z = -38.316 - -38.167. Which is bigger: 11.8 or z?
11.8
Let b = 61582/9 + -59468/9. Which is smaller: 234 or b?
234
Let t = -370.2 - -368.2. Is 12123 at most as big as t?
False
Let f be ((-8)/12)/((-1)/(-57)). Suppose -38 = -5*k - 38. Suppose 3*y - 41 = 4*y + 4*c, 5*y + 2*c + 187 = k. Which is greater: f or y?
y
Let o be -2 + (-1220)/6*3. Let j be o/(-63) + (-2)/(-7). Let n = -2829 - -2839. Are n and j non-equal?
False
Let y be 63 - 58 - 0/(-1). Is y bigger than -34?
True
Let n be (-27)/45*114/1152 + 8/(-10). Which is bigger: n or -2?
n
Let y = 285 + -323.22. Let w = 38 + y. Let m = 14.22 + w. Is m less than 3?
False
Let j = 4375/203831 - 28/643. Which is smaller: -1 or j?
-1
Let r = -219 - -218.717. Let n = r + 0.183. Which is greater: 18 or n?
18
Suppose -2*i - 3*i = -470. Let l(c) = 113*c - 8380. Let r be l(75). Which is bigger: i or r?
r
Let m(i) = -i**3 + 8*i**2 + i - 2. Let w be m(8). Suppose -14 = -4*l + w. Let y be 6/l*5*(0 - -1). Is y at least as big as 4?
True
Let y = 203 - 201.985. Let q = 0.015 - y. Is -33 at least as big as q?
False
Let r = -263 + -829. Let d = r + 1116.54. Let u = -25 + d. Is 0.1 < u?
False
Let h = 450533 + -97765484/217. Do h and 1 have different values?
True
Let q = 2198 + -54961/25. Let l = q - 1217/75. Are -18 and l equal?
False
Let i = 25827 + -25827. Is i bigger than -595.6?
True
Let r be (-4*(-3)/(-66))/(-4). Let z(q) = 5*q**2 - 2*q - 1. Let h be z(-2). Let u = -22 + h. Which is bigger: u or r?
u
Let x = 7697 - 15706. Is -8009 <= x?
True
Let y be (1 - 1) + -13 + -3514. Which is smaller: y or -3525?
y
Suppose -5*g + 3 = a, -15 + 6 = 4*g - 3*a. Is -1/538 at most as big as g?
True
Let v be (-586664)/169 - (-12)/(-3). Let h = -3480 - v. Let q be (0 + -10 + 0)/2. Which is greater: q or h?
h
Let s = -44.5 - -50.3. Let p = 12.6 - 18.7. Let y = s + p. Is y > 0?
False
Let y = 253 - 33. Suppose -216*n + y*n + 12 = 0. Which is smaller: n or -51/13?
-51/13
Let s(j) = 6*j**3 + j**2 - 4*j - 4. Let i be s(4). Let h be 50/(-28) - (i/(-65) - -6). Let b = -25/14 - h. Which is smaller: b or -6?
-6
Let a = 142 - 296. Let j = -5.742 - -4.742. Are a and j nonequal?
True
Let f be ((-7)/21)/(2/222)*-6. Suppose a - 3*a - f = 0. Are a and -111 non-equal?
False
Let m = 499 + -495. Suppose 622 + 222 = m*b. Is 211 <= b?
True
Let f = -22.05321 + 0.05321. Let a = 252 - 270.9. Let z = f - a. Which is greater: 0.1 or z?
0.1
Let z(k) = -2*k + 13. Let m be z(5). Suppose 54 = -2*r + m*p, 11*p + 81 = -3*r + 8*p. Let f be (66/9)/(9/r). Which is bigger: f or -23?
f
Suppose 0 = 3*n - 0*n - 153. Let f = -5120.9 - -5121. Which is bigger: f or n?
n
Let z = -147 - -344. Let f = -173 + z. Which is smaller: f or 1?
1
Let z be 50/6*171/(-95). Let w = -5 - 1. Let u be 220/(-14) + w/21. Which is smaller: z or u?
u
Let i be ((-11)/2740 - 31/310)*(-5)/(-15). Is 0 < i?
False
Suppose 13 - 1 = -6*f. Let g = -64.1 + 1.1. Let b = 77 + g. Is f < b?
True
Let q be 60/63 + 2/(-7). Let v be 21/(2079/(-5412))*(-3 + 6/8). Which is greater: v or q?
v
Let n = 0.1 - 0.1. Let j = -268 - -508. Let v = j + -265. Which is greater: n or v?
n
Let k be (-25000)/280*67 - 12/14. Do k and -5982 have the same value?
False
Let v = -1.69 + 1.6. Let q = -14903/3 + 5204. Let y = -237 + q. Does y = v?
False
Suppose 13*m + 4*v - 900 = 9*m, -v = -2*m + 435. Let q(g) = -8*g + 13. Let k be q(-26). Which is greater: m or k?
k
Let x(n) = -2 + 0*n**3 + 9 - 16*n**2 + 24*n + 12 - n**3. Let h be x(-17). Let v = 96 + h. Is v at most as big as -38/9?
False
Let s = -8930/3 - -3115. Let u = -138 + s. Which is greater: 11/2 or u?
11/2
Let y = 6584.2 - 6584. Which is bigger: -3154 or y?
y
Let y be 134 - (9/(-9) + -2). Suppose y*x = 151*x + 182. Let m be -2 - -2 - (0 + 11). Is m < x?
False
Let o = -1988 + 1864. Let t(f) = -34*f + 13. Let l be t(4). Do o and l have the same value?
False
Suppose -5*t - 4 = 11. Let r(x) = -28*x - 36*x + 3 + 65*x. Let n be r(t). Which is bigger: n or -5/8?
n
Suppose 70*w - 2013 = 2887. Which is smaller: w or -28?
-28
Let a = 3750947/381 + -9845. Let l = -389/1524 + a. Which is smaller: l or 113?
l
Let r = 206 + -202. Let v be ((-5)/110*17)/(r/(-8)). Which is bigger: 3 or v?
3
Let q = 106144 - 23139485/218. Is q > -1?
True
Let t = -8 + 8. Let s = -3 - t. Let b = -2657 + 2657.7. Is s at least as big as b?
False
Suppose -3*t - 3*d - 42 = d, -4*d = 4*t + 52. Let p(l) = -l - 10. Let k be p(t). Suppose -2*y - 2*a = -8, -4*a + 14 = 2*y - k*a. Is 3 smaller than y?
False
Suppose -3*s - 40 = 2*s. Suppose -30*o + 24*o - 38 = 2*x, -o = -4*x + 15. Is o smaller than s?
False
Let d(i) = 0 - 3*i**2 - 3 + 4*i + 0*i + 4*i**3. Let r be d(2). Let p be (32/96)/((-2)/(-150)). Is p at most as big as r?
True
Let p(n) = n**2 + 9*n - 11275. Let d be p(101). Let y = 21 + -187. Which is smaller: y or d?
y
Let w be ((-2)/(-6))/(4/(-3996)). Let y = 157 + w. Are -177 and y nonequal?
True
Suppose -26 = -2*i + 5*b - 28, -3*i = 4*b + 3. Which is smaller: i or 6/643?
i
Suppose -b + 0*b = -2. Let j = -1/133 - -165/4256. Is b greater than j?
True
Let f = 19726 + -15032. Which is greater: f or -2/5?
f
Suppose -5*h - 4*t + 315 = 0, -2*t + 305 = 5*h - 0*t. Suppose 4*w = h - 23. Suppose u - w = -4*b, 5*u = 6*b - 4*b + 23. Is b less than -4/19?
False
Let r = -39 - -50. Suppose r = -2*g - 1. Let p be 18/2*(g/10 + 1). Do 3 and p have different values?
True
Suppose -28*k + 17 + 123 = 0. Which is bigger: k or 323?
323
Let o(p) = p**2 - 10*p - 17. Let n be o(12). Let a be (6 - n)*5*-2. Let f = a - -15. Which is smaller: 95/4 or f?
95/4
Let t = -15704 + 62817/4. Which is greater: 1053 or t?
1053
Suppose -v + 12 = -4*l, -105*l - 3*v = -103*l - 22. Is -14/1447 equal to l?
False
Let l = -12/90505 - 332102/90505. Let u = -164/23 + l. Is u >= -11?
True
Suppose 0 = -2*l - l. Suppose -h - 8 - 69 = 0. Let k = h + 75. Which is smaller: l or k?
k
Suppose 313 = v + 2*y, -y + 598 = 2*v - 55. Let z = 35 - -297. Which is bigger: v or z?
z
Suppose 2*f + 20 = -2*s + 74, 4*s - 4*f - 100 = 0. Suppose -5*z + 10*z + w - 7 = 0, -z = -4*w + 7. Let q be ((1 - -12)/z)/(2/4). Are q and s nonequal?
False
Let r = 41728 - 3211193/77. Let m = -170/7 + r. Is -1 greater than m?
False
Let c = 75 - 73. Suppose -5*x + c = -l, -4*x - 2*l - 5 = -15. Let u = -27443/28 - -980. Which is bigger: x or u?
x
Let h = 48.7 + -54.6. Let a = -239.87 - -234. Let j = h - a. Which is smaller: j or 1/3?
j
Suppose 86*b = 84*b. Supp