r i?
i
Let x be 4 + 1 - (-4 - -4). Let k = -1328 - -1332. Is x at most as big as k?
False
Let o(x) = 10*x + 2. Let g be 4 - (4 - 4) - (-1 - -4). Let z be o(g). Which is smaller: z or 9?
9
Suppose -5*d + 38 = 28. Let k be -1*d*((-630)/4)/7. Which is greater: k or 1?
k
Let u = -873 + 876. Let g be (2/10)/((-4)/(-70)). Is u equal to g?
False
Let l(a) be the first derivative of -a**3/3 + 2*a**2 - 2*a - 4. Let m be l(3). Is -1 equal to m?
False
Let n be (3 + -3 - 10) + 0. Let v be 5/n*-4*1. Let z be v/(2 - 58 - -3). Are -1 and z equal?
False
Let i be 59/(-36) + 18/216. Which is bigger: i or -0.1?
-0.1
Let r = 19 + -11. Let x be (-36)/r*4/(-174). Which is bigger: 1 or x?
1
Let d = -44/3 + 136/9. Which is greater: d or -0.9?
d
Suppose 3*b = -3*y - 18 + 3, 0 = 5*y - b + 7. Is -33/17 > y?
True
Let a = -35 + -243. Does -278 = a?
True
Let d be -7*(4 + -8 + (-208)/(-56)). Which is smaller: d or 6?
d
Suppose 4*o = 3*a - a - 4, 5*o - a + 2 = 0. Let v(j) = -9*j**2 - 2*j - 2. Let z be v(-1). Let c be z/(-141)*4/(-6). Which is smaller: o or c?
c
Let d = 6492/5 + -1298. Let a = -0.1 - -0.04. Are a and d equal?
False
Suppose -4*o + 108 = -0*o + 2*p, 0 = 3*p. Let s be 245/9 - (-16)/(-72). Is s bigger than o?
False
Let l be 7 - (3 - (0 + -1)). Suppose 4*o - 14 = -c, -l*c + o = 2*c - 49. Is c < 10?
False
Let u = -5625/17 - -331. Suppose 2*k - 3 + 6 = -h, 0 = 5*k + 4*h + 12. Is k at least as big as u?
False
Let v = -265/6 + 42. Which is bigger: v or -3?
v
Let p be (-6 - 3/(-1)) + 3 + -1. Which is smaller: -3/145 or p?
p
Suppose 2*r + 0*r - 56 = 0. Suppose -y - 2*j - r = 0, 16 = -4*y + 5*j - 31. Which is bigger: -19 or y?
y
Let s = -82 + 89. Suppose -s*f - 3 = 32. Do f and -6 have the same value?
False
Let z(g) = -g**3 + 6*g**2 + g + 2. Let c be z(6). Let l = c - 6. Suppose l*d + d - 5*t = -31, -4*t + 12 = 4*d. Is d bigger than -8/7?
False
Suppose 38*j + 20 = 18*j. Which is greater: -2/1985 or j?
-2/1985
Let a = -7.3 - -0.8. Let o = 0.5 + a. Which is smaller: 0 or o?
o
Let c = 11.73 - 745.73. Is c > 1?
False
Let j = -1421 - -1033. Is j less than or equal to -2?
True
Let y = 970/3 + -323. Do 13/9 and y have the same value?
False
Let l(q) = q**3 - q**2 - 2*q - 1. Let n be l(-2). Let r = n + 9. Let m = 0.01 + 2.99. Which is bigger: m or r?
m
Let v be 141 - (-19 + (-32)/(-4)). Is v equal to 2?
False
Let m be (0 + (1 - -6))*(-2)/12. Let p(s) be the third derivative of -s**6/120 + s**5/10 - s**4/24 + 5*s**3/6 + s**2. Let c be p(6). Is m >= c?
False
Let a be (-10 - (-2718)/333) + 2. Which is smaller: -0.1 or a?
-0.1
Suppose -r + 16 + 4 = 0. Let d be 5*8/r - 2. Let a = d + -9. Which is bigger: -7 or a?
-7
Suppose 0 = -3*v - u - 24, 2*v - 24 = 5*v + 2*u. Let t = -1 - v. Suppose 9*j - t = 2. Which is greater: j or 3?
3
Suppose -35 = -4*a + 5*s, a = 3*s + 7 + 7. Suppose -4*u - 1 = -3*u, 2*w + a*u + 23 = 0. Let p = 12 + w. Is p > 6?
False
Let l = 493/4 + -124. Let w be 4/(-10)*(1 + 4). Let j be w/9 + (-16)/9. Which is smaller: j or l?
j
Let c(y) = 17*y + 46. Let a(h) = 8*h + 23. Let u(p) = -13*a(p) + 6*c(p). Let w be u(-11). Which is smaller: w or -1/7?
w
Let u = -11611 - -31384817/2703. Let l = 2/159 + u. Suppose 0 = 6*y - 2*y. Is l smaller than y?
False
Let g(x) = -x**3 - 2*x**2 - 2. Let o be (2/(-3))/(-1)*3. Let t(w) = -w**2 + 2*w - 2. Let f be t(o). Let s be g(f). Are s and -3 equal?
False
Let k = 5/264 - 923/20856. Is 0 > k?
True
Let i = 693 + -718. Is i at most as big as -23?
True
Let g(f) = f**3 + 6*f**2 - f - 1. Let u be g(-6). Suppose -9 = -l + 5*y, u*l = -y - y - 9. Are l and -1 unequal?
False
Let j be ((-2)/(-8122))/(3 - (-5)/(-2)). Which is greater: 1 or j?
1
Suppose 26 = 2*u - 4*k, -2 = -k + 2*k. Let w(r) = r**2 - 8*r - 6. Let q be w(u). Is q greater than 0.01?
True
Let f = 22224/7 + -3182. Suppose -23031 + 23087 = -7*l. Which is bigger: l or f?
f
Let h = 441 + -439. Is h > 12/23?
True
Let m be (1 - 1)/(-1 + 3). Let s = 4403/5 + -882. Which is smaller: s or m?
s
Suppose -46*h = -50*h + 44. Which is smaller: h or 37/3?
h
Suppose y = -40 + 42. Let x be 9 + -16 - (-3)/(2/y). Which is greater: -21/8 or x?
-21/8
Let v = 1945 + -1937.7. Which is smaller: 4 or v?
4
Let k(n) = -n - 15. Let m be k(-9). Let h be 1/((-4)/(168/m)). Let d be (6/(-4))/(-3)*1. Is d bigger than h?
False
Let u = 735.14 + -729. Let l = u - 0.14. Let r = 5.9 - l. Does r = 0.1?
False
Let u = -9/83 + -951/415. Let l be (-66)/(-8) - 48/32. Let w = l - 181/28. Is w < u?
False
Suppose -3*j - 2*w - 19 = 17, -3*j - 39 = w. Let n(k) = -k**3 - 6*k**2 - 2*k - 6. Let h be n(-5). Let u be (-178)/14 - (-6)/h. Which is bigger: u or j?
u
Let k = -143 + 144. Is k smaller than -2/763?
False
Let o be (2 - 11/3)/((-10)/30). Is 50/11 <= o?
True
Let b = -0.051 + 6.851. Let u = -0.8 + b. Let t = u + -6.2. Are t and 7 unequal?
True
Suppose 0 = w + 5*j - 14, w - 5*j = -4*j - 4. Suppose 5*u + 8 = u. Let t be u/6 + 22/30. Are w and t equal?
False
Suppose -w = 5*i - 454, -4*i + 5*w = -385 + 45. Which is smaller: 96 or i?
i
Let w = 0.645 + -78.645. Are w and -6 non-equal?
True
Let z = 1 + -2. Let i be (2 - 6) + ((-2)/(-1) - 4). Let v be (i/(-63))/((-1)/((-9)/(-3))). Is v <= z?
False
Let r = 287 + -179. Let d be -1 - (-4 - (-356)/r). Which is smaller: 0 or d?
d
Suppose 3*q - 2*s - 12 = 0, 2*s - 12 = -3*q + 3*s. Let j(r) = -4*r + 4 + q*r + r + 7*r + r**2. Let o be j(-7). Which is bigger: o or 1?
1
Let q be (0 + 30/325)/(1/5). Do -0.2 and q have different values?
True
Suppose -4*j + 2*b - 3*b + 37 = 0, -5*j - b = -45. Let f = 172.1 - 184. Let i = f + 12. Which is bigger: i or j?
j
Let c be 56/336 + 10/12. Which is smaller: 1/1472 or c?
1/1472
Let h = 99/206 + 2/103. Let a = -9 - 2. Which is smaller: h or a?
a
Let b be 5 - ((5 - 3) + 0) - 4. Let l be ((-12)/5)/((-1)/5). Let t be 1/2*l/16. Is b less than t?
True
Let p = -4 - -4.02. Let a = 5.02 - p. Let h be (-9)/(-4) + (6 - 8). Is h >= a?
False
Let y be 2/(-2) + (-2 - -1). Let l be -1*8 - (y + 1). Let j be (14/6)/(-7)*21 - -1. Is l >= j?
False
Let d(j) = -j**2 - 3*j - 1. Let k be d(-3). Is k greater than -5/117?
False
Let y = -421/66 - -45/22. Suppose 0 = 7*l - 11*l + 4. Which is bigger: l or y?
l
Let m(a) = 2*a**2 - 3*a - 2. Suppose 3*z + z = 180. Let j be (-100)/36 - 10/z. Let b be m(j). Which is smaller: b or 24?
24
Let l be 1 - 1504/(-56) - 7. Which is smaller: l or 21?
l
Let g be -1 + 4 - 4/4. Suppose 0 = g*c - 6*c + p - 3, -2*c = p - 3. Let a = 137/9 - 15. Are c and a nonequal?
True
Let q(k) = -3*k + 157. Let x be q(52). Which is bigger: x or 3/47?
x
Let z = 73 - 72. Which is smaller: z or -3.5?
-3.5
Suppose -2*n - g = -0*n + 249, 5*n = 3*g - 650. Let w = n + 192. Suppose 0*o = -5*o + w. Which is bigger: 14 or o?
14
Suppose 0 = 2*d + 2 + 12. Let i be (5 + d/2)/(-6). Are i and 4 unequal?
True
Suppose 3*c + 5*y - 2 = 0, -5*y - 14 = -c - 0*y. Suppose 0 = -c*b - 5*m - 23, m + 17 = -b - 4*m. Let u = -1.9 - -2.1. Is u at most as big as b?
False
Let k = 2 - 0. Suppose 167 = 7*g + 454. Let u = 44 + g. Is u at most as big as k?
False
Suppose -r - 2 = -0, 0 = 5*f + 3*r - 39. Let z(j) = j + 7. Let c be z(f). Is c at most as big as 16?
True
Let t be (2/(-4))/(1/14). Suppose -5*j = 2*p - 144 + 404, 4*p = 4*j + 208. Let d = j - -45. Is d equal to t?
True
Suppose i + y - 8 = 0, i + 18 = 2*i + 3*y. Let f be (-5 - (-55)/3) + (-4)/i. Which is smaller: f or 13?
f
Let s be (-8)/(-2) + -5 + 6. Let m be (s + -2 - 4)*23. Is m != -24?
True
Let b = 2.02 - 0.17. Let n = -0.15 - b. Is -1.3 at least as big as n?
True
Let a = 2.32 - 2.29. Is a at least -9/4?
True
Let b = 2581 + -1475. Are b and 1106 unequal?
False
Let f(t) = t**2 + 35*t + 12. Let r be f(-36). Is r less than 50?
True
Let z(h) be the third derivative of -h**4/24 + 2*h**3/3 + h**2 - 6*h. Let y(g) = -2*g - 5. Let v be y(-4). Let i be z(v). Is i not equal to -2/55?
True
Let g(o) = -o**3 + 6*o**2 - 6*o - 7. Let a be g(4). Which is greater: a or 1.5?
1.5
Let k = 14 - -22. Let b = k - 36. Do b and -1/69 have different values?
True
Suppose -38*s + 226 = -572. Is 163/8 equal to s?
False
Suppose -2*a - 4*s + 2 = 0, 1 = -a - s - 3*s. Suppose 0 = -2*w - 10, 3*b - 5*w = -29 - a. Which is smaller: -20 or b?
-20
Let y be ((-12)/8)/((-6)/292). Let s = 72 - y. Do s and 2/15 have the same value?
False
Let t = 12 + -21. Let g be -1*(159/t - 3). Let c = 