/18 + -47/72. Which is smaller: b or a?
a
Let n = 1540 - 1451. Is 89 less than n?
False
Suppose -5*o + 0*o + 1 = -3*a, -3*a + o - 5 = 0. Let q be 10/12 + a/4. Suppose -5*x + 5 = 30, -2*x = 2*f. Which is smaller: f or q?
q
Let i = 0.36 - 0.66. Is i greater than or equal to 8/27?
False
Let i = -466/3 + 3160/21. Let j = -275/56 - i. Which is smaller: j or 1/3?
j
Let c(z) = z + 4. Let f be c(-4). Let l = 307 - 472. Let v = l + 663/4. Which is greater: v or f?
v
Let c be (3 - 1)*(-63)/18. Is c at most -11?
False
Let x be 1 + -4 + 7 + 0. Suppose 5*s = s - 3*f - 1, x*f = -2*s + 2. Which is smaller: 4 or s?
s
Let k(s) = s**2 + 2*s + 1. Let d(j) = j**3 - 7*j**2 + 6*j - 2. Let v be d(6). Let q be k(v). Let m = 1262 - 1264. Is q less than or equal to m?
False
Suppose 27*y - 87 = 21. Let g(o) be the first derivative of -o**4/4 - o**2/2 + 4*o + 2. Let n be g(0). Is n not equal to y?
False
Suppose 0 = -2*d + 3*a + a - 8, -d + 21 = 3*a. Suppose -2*q + 6*q = -y + 14, -3*y + 4*q - d = 0. Let z be ((6/(-9))/y)/1. Which is bigger: 0 or z?
0
Let s = 219 - -19. Which is smaller: 239 or s?
s
Suppose -5*t = -4*f - 21 + 103, -3*t + 2*f = 50. Let n be 8/t + 2/(-9). Suppose 5*d - 4*z - 23 - 68 = 0, -z + 26 = 2*d. Is d bigger than n?
True
Let m be (-20)/21*3912/52. Let w = -516181/1729 - m. Let k = 227 + w. Which is smaller: 1 or k?
k
Let f(u) = u + 14. Let i be f(-11). Suppose h - 3*s = i*h, 0 = 2*h - s. Suppose h = -2*a + a. Which is bigger: a or -5/9?
a
Let g(j) = -j**2 - 26*j - 17. Let l be g(-19). Is 116 != l?
False
Let b = 57 + -3. Suppose 5*s + 37 = c - 9, 5*s + b = -c. Let m be 9*(1 - (-6)/s). Which is smaller: m or 4?
m
Suppose -99 = 3*o - 4*v - 14, 5*o + v + 157 = 0. Let s(m) = 29*m - 1. Let y be s(-1). Which is smaller: o or y?
o
Let o = -67873/25270 - -1/5054. Let g = o + 16/7. Which is smaller: -1/3 or g?
g
Suppose 3*w - 35 = -0*w - 5*d, d = -2*w + 14. Suppose -5*n - 16 - 9 = w*b, 0 = b + 5*n + 25. Is 0.7 at most as big as b?
False
Suppose 122*h = 157*h - 5425. Is 160 at least as big as h?
True
Let p = -40 + 42. Suppose -3*l - 8 = 5*n - 4*l, 5*n + 2*l = -14. Let h = n + p. Is 1/10 bigger than h?
True
Let a(s) be the third derivative of -s**6/20 + s**5/12 + s**3/3 - 8*s**2. Let w(m) = 5*m**3 - 4*m**2 - 1. Let v(f) = 2*a(f) + 3*w(f). Let q be v(1). Is q < 5?
True
Let a(d) = -5*d + 11. Let h(s) = -16*s + 34. Let m(o) = -7*a(o) + 2*h(o). Let p be m(5). Suppose -5*k = -p*k + 2. Is k less than 2/3?
False
Let i = -6 + 8. Let p = 3 - i. Let o = -1/37 + 49/444. Is o < p?
True
Let v = 0.0083 + -0.4083. Which is greater: 0.07 or v?
0.07
Suppose 21 - 3 = a. Suppose -i - a = i. Let v(b) = -20*b - 208. Let c be v(-10). Is i at least c?
False
Let i be ((-694)/(-7))/((-38)/266). Is -695 greater than i?
False
Suppose -h + 6 = 3. Suppose 0 = 4*i + 2*n - 38, -i + 4*i + h*n = 36. Suppose -3*c - 12 = -3*x, -x + 16 = -2*c + 5*c. Is x > i?
False
Let t = -10/3 + 19/6. Let q = -286.07 + 286. Which is greater: q or t?
q
Let n = 10 - 14. Suppose 2*i - 4 = 0, -10 = -m + 4*m + i. Let o = n - m. Is o < -0.9?
False
Suppose -60 = v + 3*v. Suppose 4 = -4*s - 4. Let g be s/4*2*(2 - -14). Is g bigger than v?
False
Let i = 4 + 1. Suppose -2*x + t = -15, 2*t + t - 65 = -i*x. Suppose 5*h = -30 - x. Is h at least as big as -8?
True
Let u be (0/1 - -2) + -3. Suppose 46*t = 50*t - 4. Let i be t + 1/((-231)/(-699)) - 4. Which is smaller: i or u?
u
Let d be 4/22 - (-120)/66. Suppose -16 + 12 = d*s. Is s greater than 5?
False
Let c = 5 + -6.5. Let i = 4.8 - 5.38. Let q = 0.58 + i. Is q less than or equal to c?
False
Let g = 96 - 112. Let j = 15.93 + g. Which is smaller: j or -8?
-8
Let z(s) be the first derivative of s**3 - 6*s**2 + 10*s - 12. Let w be z(4). Is 2/5 greater than w?
False
Suppose 0 = -v + 12*d - 15*d + 716, v = 4*d + 751. Is 732 not equal to v?
True
Let m(q) = 32*q - 15. Let c be m(7). Let x be (2/(-6))/(c/42 + -5). Is 0 not equal to x?
True
Let a be (-45)/60 + (-271)/(-4). Which is smaller: a or 66?
66
Let w = -222 + 222.015. Is w < -6?
False
Let i be (90/(-108) - (-7)/30)*-2930. Are i and 1757 equal?
False
Let l = -111 - 144. Which is bigger: l or -254?
-254
Let j be (-1502)/22 - (-63)/21. Let a = j - -65. Which is greater: a or 1?
1
Let y(k) = k**2 - 15*k + 14. Let j be y(1). Which is bigger: j or -2/2131?
j
Let n = 395142302189687 + -2798413589799459288023/7082040. Let i = -395/8431 - n. Let j = i - 1/105. Which is greater: 2 or j?
2
Let s = -1061/2 + 2839/6. Which is smaller: -58 or s?
-58
Let l = 14.87 + -15. Let j(q) = -q**2 + 6*q - 1. Let t be j(6). Is t <= l?
True
Suppose r - 2*a - 67 = 2*r, -a = -5*r - 280. Suppose 8*o + 248 = -4*c + 3*o, 2*c - o = -110. Is r greater than c?
False
Let g(c) = c - 7. Suppose -3*s = -28 + 7. Let r be g(s). Let b be 3/(r + (-2)/2). Which is smaller: b or 1?
b
Let u be 92/5 + (-34)/85. Suppose z + 4*g + 7 = 0, -4*z + 3*g + u - 8 = 0. Let w be (6/10)/(28/20). Is w < z?
True
Suppose 4704 = -53*b - 43*b. Which is smaller: b or -58?
-58
Let b be 5/55 - (-4 - (-129)/33). Which is bigger: b or -5/16?
b
Suppose -378 = -7*k - 7*k. Are k and 20 nonequal?
True
Suppose 5*o - 2*o + 45 = 0. Let y be o + (-2 + 1 - -3). Is -13 not equal to y?
False
Let z = 1256 + -1260. Which is greater: 140 or z?
140
Let o(w) = -133*w + 399. Let a be o(3). Which is bigger: -3/1100 or a?
a
Let g = 8/49 - 373/784. Which is bigger: -3 or g?
g
Let f = -520 - -489. Are f and 15 equal?
False
Let f = -23 - -22.8. Let d be (-6)/(-1)*18/(-135). Are d and f unequal?
True
Let u = -473 - -473. Which is smaller: u or 1.95?
u
Suppose 3*s - 895 = 4*f, 5*s + 204 = -2*f - 211. Which is greater: -226 or f?
f
Let i be 7*5 - (0 - (2 - 1)). Let f be 1/5 + (i/30)/6. Do 2/3 and f have the same value?
False
Let h = 199 + -174. Which is greater: h or 26?
26
Suppose -8*f + 391 = -1361. Which is smaller: -0.1 or f?
-0.1
Let t = 23 + -23. Let n be (t + 0 + -1)*6. Let w be (-8)/n*9/30. Which is greater: w or 1?
1
Let g be 4/1 + 61*2/(-32). Is -4 > g?
False
Suppose 1565 + 365 = 10*s. Is 192 at least s?
False
Let m = 31 - 33. Let l = m + 8. Suppose 3*b - 22 = -1. Which is greater: b or l?
b
Let g = 29150/9 - 3234. Suppose 11*f - 160 = -116. Which is bigger: g or f?
g
Let r(w) = 5*w**2 - 2*w**2 - 10*w - 9 - 4*w**2. Let k be r(-8). Let n be k + -11 + 2/1. Which is bigger: -3/7 or n?
-3/7
Let m = -29.252 + 29. Let n = m - -0.052. Is -1 not equal to n?
True
Let g be ((-12)/76678)/((-15)/35). Is -1 at least as big as g?
False
Let k = -11 - -9. Suppose 0 = -f - f. Suppose 0 = -2*o - f*o. Does k = o?
False
Let o be 4/(-22) + (-7644)/429. Which is bigger: -21 or o?
o
Suppose 27*a - 5*a - 22 = 0. Let f = 11288/15 + -752. Is f greater than or equal to a?
False
Let f = 2.21 + 0.19. Let o = -0.1 - f. Which is greater: o or 0?
0
Let j be -10*(-2)/(-8)*-2. Let f = j - -7. Let r(p) = -p + 14. Let l be r(f). Which is bigger: 3 or l?
3
Let v = 0.285 - 0.085. Is 45 at least v?
True
Let d = 3554/3 + -1184. Do -12 and d have the same value?
False
Let b = -735149/3717 + 1780/9. Is 1 >= b?
True
Suppose 11*b - 36 = -b. Let y be (-13 - -12)*b/4. Do y and 2 have the same value?
False
Let h(d) = -d - 14. Let o be h(-9). Let z(b) = -2*b - 9. Let m be z(o). Let j be ((-15)/12 + m)*-8. Is j at least 0?
True
Let a = -133 - -667/5. Let m(q) = q**2 + 7*q + 8. Let y be m(-5). Let w be (y - (2 + -3))*1. Which is smaller: w or a?
w
Suppose -1254 = -13*q - 1241. Is -2/877 greater than or equal to q?
False
Let q = 741761/291 + -2549. Let o be (8 - -1 - 4) + -5. Are o and q equal?
False
Let h = 2 + -6. Let o be 8/10 - 1 - 370/150. Is o at least as big as h?
True
Let a(d) = -d**3 - 14*d**2 + 2*d + 31. Let n be a(-14). Suppose -n*o - 21 = -33. Which is smaller: 27/7 or o?
27/7
Let n be (-12)/30 - (-23)/(-180)*2. Let t be 1/2 + 61/(-90). Let k = n + t. Which is smaller: k or -1?
-1
Let h be (-12)/10*30/(-9). Suppose 2*f = h*f - 4. Suppose 0 - 8 = f*r. Which is greater: -14/5 or r?
-14/5
Suppose -2*h = -684 + 612. Is 40 < h?
False
Let v = 0.03 + -2.03. Suppose 3*y = -6*y - 720. Let g = -87 - y. Is v bigger than g?
True
Let a = 0.233 - 0.333. Is -454 at least a?
False
Suppose 2*g - 5*c + 97 = -19, -3*c + 218 = -4*g. Which is smaller: g or -54?
-54
Let c = 0.0275 - -0.0725. Is c at most 4/41?
False
Suppose -2*t = -q + 223, 0 = -q - 2*q + 3*t + 66