 or b?
f
Let d = -6/821 - -2475/1642. Let m = -0.8 + -3.2. Which is smaller: d or m?
m
Let k = 82163/584 - 19/292. Is 142 not equal to k?
True
Let r(d) = -d - 3. Let a be r(-4). Let z(h) = h + 2. Let f be z(6). Suppose 3*s = 3*o - 3, f*s = 2*o + 4*s - 6. Which is greater: a or o?
a
Suppose 5*r = 2*d + 108, -r + 3*d + 2*d = -40. Are 190/9 and r nonequal?
True
Let x be (3 - (-25)/45) + -4. Which is bigger: x or -1?
x
Let g = -9 - -27. Let u be (0 - 2) + g/7. Let k(b) = 2*b + 14. Let s be k(-6). Which is greater: u or s?
s
Let u(m) = -m**3 + 6*m**2 + 3*m - 8. Let x be u(5). Let f be 72/x*(-6)/(-63). Which is bigger: 2/5 or f?
2/5
Let i be 9/(-12) + (-6)/(-8). Suppose i = -7*w + 4*w - 12. Let m be w/3*4/12. Which is smaller: -1 or m?
-1
Let l(t) = -t**3 + 4*t**2 - 2*t. Let d be l(3). Suppose -2*x + d*o + 9 - 3 = 0, 8 = -2*x - 4*o. Suppose -4*p - p - 20 = x. Is p greater than -5?
True
Let t = -0.839 + -0.041. Let w = t + 0.08. Is -0.1 greater than or equal to w?
True
Suppose -6*d = -8*d - 24. Suppose 0 = -4*s + 22 - 66. Is s greater than d?
True
Let g = 25 + -186. Let p = -821/5 - g. Which is greater: p or -2?
-2
Let w = 94/159 + -20692/34821. Is 1 less than or equal to w?
False
Suppose 8*c - 3*c - 15 = 4*b, -b + 6 = 2*c. Let x be 6/(-8) - (-99)/36. Let i be (8 + -11)/((-13)/x). Which is smaller: i or b?
b
Let l(m) = m**3 - 8*m**2 + 2*m - 7. Let a be l(8). Let q be (5/a)/((-2)/12). Suppose 2 = -p - 0. Are p and q equal?
False
Let i(u) = -3*u**3 + 3*u**2 + 9*u + 2. Let z be i(-4). Is 205 less than z?
True
Let j be 0/(0 - 2 - 0). Let y be (147/(-154))/(75/(-50)). Which is smaller: j or y?
j
Let u be 54*((-84)/88 + 1). Which is greater: u or 1?
u
Let x be ((-11 - -4)/14)/(1/2). Which is greater: 3/136 or x?
3/136
Let l = -5517 + 16775/3. Is 76 <= l?
False
Let w = -0.3 - -0.32. Let f be (-1)/(-1) - 16/(3 + -1). Let s(z) = z + 7. Let r be s(f). Which is greater: w or r?
w
Let v = 1.2 + 9.8. Let d = v - 11.4. Which is smaller: d or 2?
d
Let g = -195 + 183.14. Let v = -0.14 + g. Let f = 17 + v. Are -1 and f equal?
False
Let y be (0 + 1)*(19 - 5). Let x = 6 - y. Is -8 smaller than x?
False
Let x be (220/(-264))/(1/57). Is -47 at most as big as x?
False
Let i = -7 + 13. Suppose -i*o = -2*o + 16. Let s be -3 + o/4 + -2. Is s greater than or equal to -5?
False
Let g = 13 - 8. Suppose -32 = g*z - 9*z. Suppose 5 = n + z. Which is greater: n or -2?
-2
Let l(c) = c**2 - 18*c + 24. Let f be l(6). Let d = f - -67. Which is bigger: d or 20?
20
Suppose 0*k = d - k - 11, -2*d + k = -17. Suppose -5*l = -d*l - 4. Let i be (-7 - l)*(-4)/(-3). Is -3 > i?
True
Suppose 0 = 3*c - 0*c + 15. Suppose -2*n = 2*v + 21 + 1, -4*v - 32 = 2*n. Let j be 49/(-14) + n/4. Is j at most c?
True
Let o = -5439/4 - -1360. Let l = -3 - -2.84. Let p = l + -8.84. Is o != p?
True
Let h = 46 + -50. Let r = -3.8 - h. Let y be (6/(-28))/((-3)/4). Which is bigger: y or r?
y
Suppose -2*v + 6*v = 20. Suppose -4*l + v + 11 = 0. Suppose 4*h + z + 27 + 8 = 0, -4*h = l*z + 20. Does h = -9?
False
Let x be (458/6 + 0)*-7. Let k = x + 541. Is 8 not equal to k?
True
Let m = -2.4 - -2.41. Let j = 23/3 - 8. Is j at most as big as m?
True
Let u be (6 + -6)/((1 - 3)/2). Let x be ((-6)/(-3) - 2) + u/2. Suppose -5*j = -j + 4*d, 2*j + 8 = -4*d. Is x >= j?
False
Let q(d) = d - 8. Let i be q(9). Suppose 0 = 5*t + 4 + i. Let s = -244 + 2198/9. Which is greater: t or s?
s
Suppose -6*l - 268 + 322 = 0. Suppose u + 8 = 2*w, -3*w + 2 = -2*u - 15. Let g = l + u. Which is greater: -2/43 or g?
-2/43
Let i(j) = -j**3 - 6*j**2 + 25*j + 163. Let w be i(-6). Which is bigger: 99/8 or w?
w
Let v(t) = t - 14. Let h be v(15). Let w(s) = -4 + 2 - s + 2 + s**2. Let i be w(h). Are i and -1/2 equal?
False
Let y be -1 + 0 + 1 + 15. Let j = -9 + 24. Let p = j - y. Does p = -1?
False
Let f = -275 + 276. Is f greater than or equal to -6/89?
True
Let b be 0*(-2)/(-4) - -2. Suppose -4*h - 2 = -22, 3*h = -b*a + 23. Suppose 2*n = y + 3, -11 = -6*y + 5*y - 5*n. Are y and a unequal?
True
Let z = -527 - -528. Is 267 not equal to z?
True
Let n be 36/20*2*20/8. Let z(y) = y**3 - 9*y**2 - y + 3. Let h be z(n). Is h smaller than -21/4?
True
Let w(s) = -s**3 + 2*s - 2. Let j be w(1). Is j >= 3/40?
False
Let v(g) = -7*g**3. Let k be v(1). Let r be 2*(1 - (-35)/(-10)). Let u be 5/2*(k - r). Is -3 > u?
True
Let a = -25/81 - -2789/10611. Which is greater: 0 or a?
0
Suppose 6 = -u - 5*g - 4, -4*g = 0. Let k be (u/(-15))/((-4)/(-138)). Let s = -22 + k. Which is smaller: s or 4/3?
s
Let y = 514 - 1024. Let q be (-17)/y + (-2)/10. Is q smaller than 2/11?
True
Let c be ((-40)/50)/(4/(-70)). Let x be (470/15)/(c/6). Which is bigger: x or 12?
x
Let v(j) = 11*j + 44. Let o be (-1)/(8/12 - 1). Let f(r) = -4*r - 15. Let g(h) = o*v(h) + 8*f(h). Let z be g(-12). Which is smaller: -1/4 or z?
-1/4
Let f = 0.21 + 0.09. Let u be (-33)/(-44)*16/78. Which is smaller: u or f?
u
Let t be (-12)/(-7) + (-28)/(-98). Suppose -2*x - 4*g = 2, 5*x + g + t*g = 23. Suppose -x*v + 6 = -8*v. Which is smaller: v or 0?
v
Let m = 11.06 + -0.06. Let f = -24 + m. Let k = -12.9 - f. Is 3 less than k?
False
Let j be 7*2*5/(-805). Which is smaller: j or 0?
j
Suppose -2*w + 8 = k, -2*w + 20 = -0*w - 5*k. Let s(d) = -d**3 + 5*d**2 + 3*d - 7. Let p be s(w). Which is smaller: 34/5 or p?
34/5
Let s be (-156)/10*20/30. Let z = -666/65 - s. Let y be (-3)/(-2) + (-3)/6. Which is greater: y or z?
y
Suppose 0*u = -u. Suppose 10*p - 4*p = -126. Let z be (34/16 - 2)/(p/36). Is u < z?
False
Let r = 0.011 - -3.789. Let g = r - 8.1. Is g at most as big as -1?
True
Let k = -2.7 + 45.7. Let n = -0.3639 - -0.3639. Is n less than or equal to k?
True
Let k = 17.8 + -16.8. Let p = -0.16 - -9.16. Which is bigger: p or k?
p
Suppose 5*c + 8 = y, -y - 26*c = -24*c + 6. Is -90/53 equal to y?
False
Suppose -28*b + 12 = -27*b. Let f = b + -9. Does f = 1?
False
Let h = 3 + 2. Let l = 1.2 - 1.2. Which is smaller: h or l?
l
Let f = 10 - 8. Let x = 39.9 - 42. Let n = f + x. Is 8 less than n?
False
Suppose -6*m + 4 = -4*m. Suppose 5 = w - 2*y, m*w + 5*y - 16 = 3*y. Let b be ((-6)/w)/((-2)/(-14)). Do -5 and b have the same value?
False
Let g = 946 - 966. Are g and 14 equal?
False
Let q = -49 + 51. Suppose 2*d - 41 = -o + d, -o + q*d = -32. Which is smaller: 39 or o?
o
Let m = -233.5 + 185. Let s = m + 9.5. Let k = -42 - s. Is k smaller than -2?
True
Let q(w) be the first derivative of 4 + 15*w - 4*w**2 + 1/3*w**3. Let o be q(6). Which is bigger: o or 0?
o
Let h(x) = -x**2 + 12*x + 3. Let a be 158*(10/(-4) - -3). Suppose 0 = 5*s - a + 19. Let v be h(s). Is 22/5 at least as big as v?
True
Let p be (-3)/3 - 14/12. Let d be ((-8)/1)/(-2 + -1 - -4). Let v be 4/(1/(4/d + 0)). Are v and p unequal?
True
Let u = 0.85 + 102.15. Let d = u - 98. Which is greater: 0.15 or d?
d
Let n = -194 + -32. Which is greater: -225 or n?
-225
Let n = 51/7 + -53/7. Suppose 5*a + 3 = -2. Let y be (a*(2 - 1))/1. Is n not equal to y?
True
Suppose 0 = -y + 7 - 3. Suppose -36 = -6*r + y*r. Does r = 18?
True
Let b = 1 - -2. Suppose -36 = 5*m - 3*q, b*m + 24 = -0*m + q. Let i be (1190/357)/((-2)/6). Which is smaller: m or i?
i
Suppose w - 4*d - 140 = -3*d, -560 = -4*w + 3*d. Suppose -18*q - w + 1166 = 0. Is q at least as big as 57?
True
Let z = -6.94 + 7. Let n = 0.24 + z. Let m = 0.2 + 0.8. Are n and m unequal?
True
Let i(a) = -a - 7. Let l = 10 - 13. Let n be i(l). Are n and -8 equal?
False
Suppose 5*w - 837 = 5*s + 1028, 5*s + w = -1865. Does s = 1?
False
Suppose n + 3*u = 8 - 5, 0 = -2*u + 2. Suppose -4*h + 4*o = -84, -4*h + 5*h + o - 15 = n. Is 18 bigger than h?
False
Suppose -3*x - 12 = -7*x. Let r(c) = c**2 + c - 2. Let b be r(2). Suppose 2*f = -b*p + 11 + 5, 0 = -2*p - 5*f. Is p less than or equal to x?
False
Let a be 1 + 1 - (-1)/((-55)/115). Let y = 26 + -26. Is a bigger than y?
False
Suppose -8*v + 11*v = 12, 3*g = -5*v - 2098. Is -707 at least g?
False
Let f = 1.95 + 0.05. Let c = 615 + -617. Which is smaller: c or f?
c
Let d be (-1050)/(-126)*(-1 - (2 - 1)). Suppose -14 = x + 4. Is d at least as big as x?
True
Suppose -5*o = -5, 3*w + 4*o - 4 = 6*w. Suppose 3*v - 2 - 7 = w. Suppose -1 + 4 = -v*b. Which is smaller: b or -3?
-3
Suppose -3*n - 28 = -4*n. Let c(d) = -31*d + 4. Let w be c(1). Let x = w + n. Are x and -1/6 unequal?
True
Suppose -5 = k