 or b?
-3
Let p(h) = 8*h + 13. Let m(z) = -4*z - 7. Let a(k) = -11*m(k) - 6*p(k). Let f be a(-8). Which is greater: f or 32?
32
Suppose -5*r - 9 = -14*r. Let b be 65/(4 - -1) - r. Which is smaller: 15 or b?
b
Let h = -7 + -11. Let s = -11 - h. Let x = 14 + -8. Is s at most as big as x?
False
Let v = -0.8 + 2.6. Let n = 617 + -617.2. Let s = v - n. Which is smaller: 1 or s?
1
Let z = 1 - 1. Let v = z + 1. Let b = 10 - 12. Which is smaller: b or v?
b
Let o = 2885/1148 + -69/28. Which is bigger: o or 1?
1
Suppose -69*n = -76*n. Do n and 26 have the same value?
False
Let y = -32170/3 - -10548. Let b = y - -177. Let h = b - 2. Which is smaller: h or -1?
-1
Suppose -5*p + 288 = -8*p. Let m = 93 + p. Suppose f + 4*f = 0. Is m at least f?
False
Let d be (-143)/2 + (-55)/(-110). Which is bigger: 0 or d?
0
Let i = 558 + -356. Which is greater: 203 or i?
203
Let j be (173 + -7 + 16)/((-2)/6). Which is smaller: j or 1?
j
Let i = 0.24957 - 0.29957. Let g(u) = -u**2 - u - 1. Let o be g(0). Let r = -1 - o. Do r and i have the same value?
False
Suppose -67 = -4*f - 7. Let z be -4 + 66/f - 399/(-15). Which is smaller: 28 or z?
z
Let b(x) = 7*x - 1. Let q be b(1). Let o be -1*((-45)/(-3))/(-3). Suppose -j + q = 5*l, 0 = 4*l + j - o. Is l greater than 2?
False
Suppose 2*x - 163 = 43. Let o = 1749/17 - x. Which is greater: -1 or o?
o
Let i(w) = -67*w**3 + 4*w**2 - 3. Let b be i(1). Is b > -66?
False
Let i be ((-7)/2)/((-6)/24). Let z be 0/(-3) + (-4)/i. Let s = 111 + -110.9. Is s at most as big as z?
False
Let m be 688/1634*(-2)/(-4). Let q be -3 - (-2)/(-10)*-17. Which is smaller: m or q?
m
Let m = -87.72 - -95. Let k = 7 - m. Let b = -0.08 - k. Does 2/7 = b?
False
Let z(n) = n + 5. Let u be z(-5). Let m be (8/(-32) - 19/(-220))/((-9)/60). Which is smaller: m or u?
u
Suppose m = 6 - 0. Let n(x) = -43*x + 19*x + 16*x - 8. Let g be n(-2). Is m at most g?
True
Suppose -5*o - 2*k + 7*k = -485, 0 = -2*o + 4*k + 196. Suppose -2*p - o = p. Which is smaller: -29 or p?
p
Let u be 1 - 3/(-15)*-7. Let k be (-1 - -22)/3 - 3. Suppose m + 3*m - k = 0. Is u != m?
True
Suppose 200 = -23*t + 27*t. Which is greater: t or 51?
51
Let l(b) = -b**3 - 15*b**2 - 5*b + 35. Let j be l(-13). Which is smaller: j or -239?
-239
Let b = -103 - -147. Suppose 0 = 4*m + 4*v - b, 0*v = -2*v + 6. Suppose m + 2 = -5*w. Which is bigger: w or 0.1?
0.1
Let n = 3.287 - 0.287. Let c = -9 + 16. Which is smaller: c or n?
n
Let l(j) = j**2 + 3*j - 3. Let z be l(-4). Suppose 2*f = 924 - 920. Does z = f?
False
Suppose -3*p + 18 = -2*z - 0*z, 0 = -2*z. Suppose -46 = 3*i + 2*l - 0*l, -2*i + l = 19. Let x be i/(-18) + 38/p. Which is bigger: 3 or x?
x
Let i(s) = 5*s**2 - 2*s. Let x be i(4). Is 72 < x?
False
Suppose -2*i = -8 - 6. Suppose i*b + 2*b = 126. Which is greater: b or 13?
b
Suppose 4*t + 170 = j, -65 + 237 = j - 5*t. Is j at least as big as 162?
True
Let t = 14/5 + -3. Let a(f) = 5*f**2 - 6*f. Let j(i) = 14*i**2 - 18*i + 1. Let q(n) = -17*a(n) + 6*j(n). Let r be q(-7). Is t at least r?
True
Let h = 235 + -238. Which is smaller: h or -88?
-88
Suppose -463 = -5*u + 727. Let s be -8*9/(-288) - u/(-8). Are 29 and s unequal?
True
Suppose -o - 3*q = -12, -3*o - 27 + 43 = 4*q. Is 4/295 greater than o?
True
Let w be (-1)/6 - 1295/798. Which is smaller: w or -3?
-3
Let n(p) = -p**2 - 7*p + 7. Suppose -8*s + 10*s + 16 = 0. Let j be n(s). Which is greater: j or -2/11?
-2/11
Let l = -6/4945 - 23459/1043395. Which is greater: -1 or l?
l
Suppose 5*x - n = -840, -5*x - 26*n - 870 = -21*n. Do -335/2 and x have the same value?
False
Let w = 13 + -12. Let k = w - 2. Let q = 0 - k. Is 4 smaller than q?
False
Let k = 0.27 + -0.07. Let n = -1609 + 1590.02. Let z = n + 19. Is k greater than or equal to z?
True
Suppose l - 3*l - 3*f - 5 = 0, 3*l + 3 = -3*f. Suppose 0 = y - 4*y + 2*z + 4, l*z = 5*y. Is y greater than 0.2?
False
Suppose 3*o = 5*j + 860, 113*j - 4*o = 108*j - 855. Is -175 at most j?
True
Suppose x + 550 = 5*o, 0 = o - 5*o - 2*x + 426. Are o and 110 equal?
False
Let h = -20 + 30. Let c be h/(-25) + 96/140. Which is smaller: 0 or c?
0
Let o be (-148)/58682*(0/1 + 1). Which is bigger: o or 0?
0
Let x(u) = -9*u + 40. Let w be x(-4). Which is bigger: w or 78?
78
Suppose 5*m = 3*p + 1, p - 4*p = -4*m - 4. Let b = 8 - p. Is b > 1/18?
False
Let i be (2 - -2)*-1 - (-6 - 34). Let q be (i/(-126))/((-5)/(-7)). Which is bigger: q or -3.1?
q
Let u be -12 - (-1 - (-2 + 1)). Let t(c) = -8*c**2 + 9*c + 24. Let a(v) = -2*v**2 + 2*v + 6. Let y(r) = 9*a(r) - 2*t(r). Let n be y(-3). Is u equal to n?
True
Suppose 20 = -5*t, -3*a + 27 = -3*t + 9. Suppose -a*j + 37 - 10 = -3*q, -q - 74 = -5*j. Which is smaller: j or 12?
12
Let q be ((-4)/(-6))/((-8)/(-180)). Let v = -7 + q. Let t = 8 - v. Which is bigger: t or -2/35?
t
Let b be (-3)/13 + (-3 - -2). Suppose -12 = 60*x + 108. Which is bigger: x or b?
b
Let j be 8 + ((-9)/3)/(-3). Let g(h) = 24*h + 3. Let n be g(-2). Let w be (n/80)/(j/(-12)). Is 5 >= w?
True
Let r(i) be the first derivative of i**4/4 - 10*i**3/3 + 11*i**2/2 - 11*i - 4. Let s be r(9). Which is bigger: 8 or s?
8
Let v(g) = g**3 + 8*g**2 + 7*g - 8. Let j be v(-7). Let t be ((-50)/100)/(2/12). Which is greater: t or j?
t
Let g be 6/2 - (-2810)/(-940). Suppose 5*k - 3 = 3*b, -2*b - 2 = 3*k - 6*k. Is k greater than g?
False
Suppose 2*r = -3*r + 30. Suppose 18*k - 21*k - 27 = 0. Let n be k + r/2 - -1. Which is bigger: -6 or n?
n
Let i = 2.4 + -3.2. Let r = 0.8 + i. Which is greater: r or 3/13?
3/13
Suppose -90 = -54*x + 59*x. Is -73/4 equal to x?
False
Let w = -0.28 - 0.09. Let i = 15.37 + w. Let o = i + -20. Is o < 1/3?
True
Suppose -2 = 11*c - 2015. Is 182 > c?
False
Let l(v) = v**2. Suppose 2*s + 10 = -2*d, 5*s + 19 + 6 = 0. Let w be l(d). Let z be 144/406 - 6/21. Are z and w unequal?
True
Let j be (-1071)/27 + (-2)/(-3). Let l = j + 52. Is 13 smaller than l?
False
Let o = 28 + -18. Suppose 0 = 5*d - 2*d - 57. Suppose -2*j + d = -3. Is j less than o?
False
Let a = 0.8 - 0.1. Let s = 76.7 + -6.7. Let j = s - 69.9. Which is greater: j or a?
a
Suppose -3*h + 6 = -2*g - 0, -4*g - 5*h + 10 = 0. Let i be 14/(-7) - (1 - g - 4). Which is smaller: -1/6 or i?
-1/6
Let q = -380 + 381.16. Are -3 and q equal?
False
Let z be 3/(-33) - 19364/77. Let x = z + 251. Is x smaller than -0.4?
True
Let u = -3/7079590 - 17965976653/63716310. Let t = -282 - u. Is 0 at least t?
True
Let l = -18 - -17. Let q be l/(-2) - (-153)/(-34). Which is smaller: 4/5 or q?
q
Let a = 16398/7 - 2349. Are a and -7 unequal?
True
Let p be -6 + (4 + -3)/1. Is p > -15?
True
Let l = 211 + -1685/8. Let o(c) = c**2 - 11*c + 19. Let w be o(9). Which is smaller: w or l?
l
Let p be (20/(-16))/((-1)/4). Suppose 0 = v + 3*b - 6, -p*v - 3*b = 2*b. Is v at most -2?
True
Let l be -24*(-12)/72*(-2)/244. Which is smaller: l or -8?
-8
Let f be -9*5*(-10 - -9). Let n be 1176/f - (-4)/(-30). Let h = 27 - n. Is -1 smaller than h?
True
Suppose 0*h + 2*h + 35 = -3*k, -15 = 2*k + 3*h. Suppose 0 = -2*t + 12 - 40. Which is smaller: t or k?
k
Let m(d) = d + 8. Let y be m(-6). Suppose y*q - 1 = q. Let n = 2/419 + -864/5447. Are q and n equal?
False
Let y(a) = a**3 + 5*a**2 - 2*a - 3. Let u be y(-5). Suppose u + 0 = -v. Let f(r) = -r**3 - 6*r**2 + 9*r + 10. Let w be f(v). Do w and 0.2 have the same value?
False
Let k = 175 + -110. Which is smaller: 60 or k?
60
Let p = -45.892 - -46. Let b = 0.108 - p. Which is smaller: b or -1.6?
-1.6
Let u be 684/(-90)*7/(-2). Is 27 bigger than u?
True
Suppose -12*m - 12 = 5*i - 14*m, -m = -1. Let n be ((-2)/27)/((-3)/(-90)). Which is smaller: n or i?
n
Let k = 28 + -13. Let q be -4 + 55/15 - k/1. Is -16 not equal to q?
True
Let b(n) = n + 1. Let u be b(-5). Let w = 0 - u. Suppose -21 = -w*r - 9. Which is greater: 0 or r?
r
Let z = -52.8 - -8.8. Let t = z - -42. Is 1 greater than t?
True
Suppose -60 + 58 = -2*x. Which is greater: x or 14?
14
Suppose 0 = 62*r - 64*r - 14. Let j be 8/(3 + r + 5). Is j < 8?
False
Let g = 416 + -380. Which is greater: 143/4 or g?
g
Let q(m) = -7*m + 59. Let i be q(19). Let g = i - -77. Is g != 15?
True
Let v(t) = -7 - t - 2 + 7. Let q be v(-2). Does q = 2/57?
False
Let p = -737.6 + 736. Which is bigger: -0.22 or p?
-0.22
Let i(b) = 48*b + 285. Let l be i(-6). Which is greater: l or -0.033?
-0.033
Let m = 161 - -22. Let z be 4