r: 3 or b?
3
Suppose -5094 = 33*o + 4938. Is -304 less than o?
False
Let q = -1.2 + 1. Let a = 0.5 + q. Let d be (-70)/140*8/(-3). Which is greater: d or a?
d
Let b be ((-2)/(-6))/(12/36). Let s be 18/8*(-5 + b). Is s not equal to -8?
True
Let z = 118.7 + -217. Let r = 98 + z. Which is smaller: r or -8?
-8
Suppose n + 19 = 3*h - 2*h, -2*h + 39 = -n. Let d be (-8)/h + 1227/(-20). Let k = 62 + d. Which is greater: k or 3?
3
Let x(k) = 4*k - 4. Let m be -2 - ((-40)/(-12) - (-6)/9). Let q be x(m). Which is smaller: q or -30?
-30
Let v = -59/84 + 5/42. Let y = -16 - -15. Which is greater: v or y?
v
Let h(m) = 5*m + 20. Let i be h(-5). Suppose 0*u - 12 = 2*u. Is i less than u?
False
Let p(q) = q**3 + 5*q**2 + 3*q + 6. Let i be p(-5). Let u be (-21)/(-9) - 6/i. Suppose -4 = -z + 3*z + 5*o, -3*z = u*o + 6. Which is bigger: z or -9/7?
-9/7
Let d = 474 + -478. Which is bigger: -5 or d?
d
Let g = -336 - -327. Suppose n - 18 = 3*n. Is n < g?
False
Let w(i) = 4*i**2 - 10*i + 5. Let l be w(3). Let a be (-1)/(3 - 5) - l/2. Let c = -1.8 - -2. Which is greater: a or c?
c
Let z = 7186663127/2418 + -2972153. Let y = 1/403 + z. Which is greater: 0 or y?
0
Let h(i) = -i**3 + 8*i**2 - 4*i + 12. Let u be h(9). Let c = u + 106. Which is greater: c or 15/13?
15/13
Let c = 0.17 - -10.33. Let w = c - 12. Which is greater: -1 or w?
-1
Let h = 9 - 9. Let k = 18 + -21. Let t be (-1)/k + 4/15. Is t equal to h?
False
Let k = -3 + -321. Which is smaller: k or -323?
k
Let i(c) = 9*c**3 - 7*c**2 + 15*c + 21. Let m be i(5). Which is bigger: m or 1047?
1047
Suppose 203 = 3*k - v - 0*v, -2*k = -v - 136. Do k and 66 have the same value?
False
Let i = -57 - -33. Suppose 19*b = 72*b. Is i <= b?
True
Suppose -3*r + 7*z = 12*z + 5, 2*r - 3*z + 16 = 0. Which is smaller: 1 or r?
r
Let a = 0 + 3. Suppose -o = 1 + a. Let u(v) = v**2 - 15*v + 53. Let x be u(8). Is o not equal to x?
True
Let a = 1/516 - -29/1677. Let i = 205/156 + a. Suppose z + 8 = 5*y, 0 = -3*y + 4*y + 4*z - 10. Is i < y?
True
Let v(l) be the first derivative of l**4/4 + l**3/3 - l**2/2 + l - 6. Let z be v(0). Let g be (30/4 - 4)/z. Which is bigger: g or 3?
g
Let c = 47 + -47. Suppose g - 5*y = -11, 2*g + 0*y + 2*y - 2 = c. Let p be (2/(-32))/((-1)/(-2)). Is g greater than p?
False
Let o = 2 + -2.22. Let w = o + 0.22. Which is greater: w or 3/2?
3/2
Suppose 3*r + r = 3*h - 29, 16 = -3*h - 5*r. Suppose 6*d = h*d - 24. Let v = d - -7. Is v greater than or equal to -2/7?
False
Let c be (-16)/(-15) - (-10)/(-25). Let t = 50 - 28. Let s = t - 24. Which is bigger: c or s?
c
Let x = 3 - 2. Suppose -11 - x = 2*r. Let s(g) = -2*g - 4. Let z be s(r). Which is greater: 7 or z?
z
Let w = -556 + 2782/5. Which is bigger: w or 18?
18
Let x(w) = 2*w**3 - 11*w**2 - 2*w - 14. Let t be x(6). Suppose 4*b - 14 = 3*b. Are b and t nonequal?
True
Let x(i) = -i**2 + 11*i + 6. Let k be x(8). Suppose r + 2*r = k. Suppose r*n + 21 = 7*n. Is -7 at most n?
True
Let u = 7510 - 7506. Suppose 0 = -d - 2*d. Which is greater: u or d?
u
Let a = -6210974875/2717 - -2285968. Let i = 2/143 - a. Which is smaller: i or -1?
-1
Suppose d + 0*m - 12 = -3*m, 5*m = 2*d - 68. Which is bigger: d or 23?
d
Let y(r) = -r**3 + 2. Let q be y(0). Let t = -430/749 + 2/749. Let c = 2/21 - t. Is q less than c?
False
Let z be 24/(-16)*(-2)/(-3). Suppose 4 = 5*d - 56. Let g be 2/16*d/(-9). Is g < z?
False
Let r = 111 + -108. Suppose 72 = -7*u + r*u. Which is smaller: u or -17?
u
Let l = 2.63 - 2.33. Is 1/4 smaller than l?
True
Suppose -20*a = -25*a + 4*c + 771, -a + 2*c = -153. Which is greater: a or -1?
a
Let b = -6060.84 - -6849.9. Let o = 773 - b. Let v = 16 + o. Which is greater: -0.1 or v?
v
Let q(m) = -8*m**2 - 50 + 0*m**2 + 16 + 7*m**2 + 19*m. Let b be q(17). Which is greater: -2/7 or b?
b
Suppose -4*y + 4 = 2*m + 50, 0 = -5*m - 5*y - 135. Let x = m + 32. Let q = 47/77 + -3/7. Which is greater: q or x?
x
Let d(n) = -3*n**2 - 2*n - 1. Let c be d(-5). Let i be (-4)/57*(-36)/c. Let b = i - -406/21527. Which is smaller: -1 or b?
-1
Let q = -1930 + 1847. Is -83 <= q?
True
Let c be (-78)/(-54) - (2 + (-8)/12). Let q be (3 + 1)/(1/(-2)). Let h be (-4)/14*14/q. Is h greater than or equal to c?
True
Suppose -m - 12 = -4*m. Let x be m - 4*(-3)/(-6). Let g be x/9 + 46/(-126). Which is smaller: g or 0?
g
Let q = 316 - 314. Do q and -6 have the same value?
False
Let x = -4.3 - -3.8. Let q = x - 3.5. Which is bigger: q or -2?
-2
Suppose 4 = -4*g + 4. Which is bigger: g or -1?
g
Suppose 52*d - 50*d = -8. Let a(s) = -2*s**2 - 12*s - 26. Let m be a(d). Are -8 and m nonequal?
True
Let a be -2 - (-5)/((-180)/(-78)). Is -4 < a?
True
Let s be ((-8)/(-230))/((-2)/5). Let m be (-5 - -12) + (-7 - 0). Is s != m?
True
Suppose -3*q - o = 1, 5*o - 5 = -5*q + 10. Suppose -t = 1 - 4. Suppose 12 = 4*j + 4*d, -d + 2 - t = 5*j. Is j greater than or equal to q?
True
Let y(p) = -p**2 + 6*p - 4. Let g be y(6). Let d = -4 - g. Let s = -1271/2799 + 3/311. Is s equal to d?
False
Let n = -1605 + 1594. Is n less than or equal to -39?
False
Let n = -1646 + 1646.2. Which is greater: n or -292?
n
Let l be 1/(-28) - 0/(-4). Suppose 4*u = u. Is u at most as big as l?
False
Suppose -2*h = -1 + 3. Let l = h - -4. Suppose 0*f + l*f = -15. Which is smaller: -2 or f?
f
Let k(z) = 3*z**2 - 67*z - 79. Let m be k(23). Is 2 less than or equal to m?
False
Let k = -725 - -713. Is -11 smaller than k?
False
Suppose 0 = f, 6*n - 2*f = -2*n + 104. Let a = -11 - -21. Is a > n?
False
Let s = -5 - -11. Suppose -5 = s*h - 5. Is -1/23 <= h?
True
Let m = 3512 + -586513/167. Let c = -6653/501 + m. Which is greater: -12 or c?
-12
Let w(h) = h**2 + 2*h - 9. Let v(a) = 2*a**3 - 4*a**2 + 4*a. Let z be v(3). Let n = z - 35. Let j be w(n). Is 6 > j?
False
Let g = 42 - 17. Suppose -5*c = -4*c - g. Suppose -2*l + 5*z = -48 - c, -2*l + 3*z = -67. Is 29 smaller than l?
False
Let g = -65 - -65. Suppose 5*q = q + 2*m + 2, g = 4*q + 3*m + 3. Which is smaller: 2/11 or q?
q
Let k = -150.5 - -12.5. Is 1 <= k?
False
Suppose 2*k = -0*u + 5*u + 72, 3*k = 5*u + 73. Let b = 16 + u. Let p be (b/(-5))/((-15)/(-25)). Are -2 and p equal?
False
Let u be (-882)/28*(-1)/(-4). Is u at least -8?
True
Let u = -8614489 + 14739391209/1711. Let a = u - 8/29. Which is bigger: a or 1?
1
Suppose 2*k = 2*g + 12 + 4, 0 = 5*k + 5*g - 60. Suppose -c - k*c = 77. Which is smaller: -9 or c?
-9
Let v = -6 + 11. Let p = 9 - v. Suppose -2*q - 2 = -p*q. Which is smaller: 3/5 or q?
3/5
Let l = 16 + -13. Suppose -4*k = -l*q - 1, -q - 2*q + 15 = 0. Let h be k/168*-122 + 3. Is h bigger than -1?
True
Let o = -285 - -286.33. Let n = o + 0.67. Which is greater: n or 23?
23
Let r be (-7)/(-21) + (-46)/(-6). Let s = r + -2. Let z be (65/s)/5 + -2. Which is greater: z or -1?
z
Let q(z) = 3*z**3 + 38*z**2 + 23*z - 13. Let m be q(-12). Which is smaller: 50 or m?
m
Let t = -11/133 - -45/19. Which is greater: t or 3?
3
Let r be 1 + (-1 - 19)/(-5). Suppose -2*k = 3*k + 5*a, 3*a + 16 = k. Is k < r?
True
Let o be (-118346)/587030 + 1/5. Is o greater than or equal to 1?
False
Suppose -v - 2*c = 2*c - 19, -5*v = c. Let f be -2 + v/(14/(-34)). Let l = -52 + 53. Are f and l non-equal?
True
Let i(a) = 0*a + 8 - 1 - a - 2*a. Let d be i(3). Let x be 14/(-12) - d/(-4). Is x bigger than -1?
False
Let i(k) = -3*k**2 - 32*k + 14. Let h be i(-11). Suppose 7 = -h*r - 2*m, -13 = -r + 4*r + 5*m. Is r greater than or equal to 1?
False
Let p = 757/6 - 126. Let f = p - -4/3. Is 9 less than or equal to f?
False
Let i = -172.6 - -175. Let d = -13.5 + 11. Let c = d + i. Are c and 0.04 non-equal?
True
Let a = 261.642 + 0.358. Which is bigger: a or 0.1?
a
Suppose -153 = 17*q + 238. Is q < -23?
False
Let k = -134.08 + 132. Is k equal to -2?
False
Let c = -64.1 + 49.1. Which is smaller: c or -2/11?
c
Let g = -128 + 127.9. Is 131/2 at most g?
False
Suppose 2*m - 4*i = -m + 23, i + 3 = -2*m. Suppose -3*y = -0*y - 15. Does m = y?
False
Let s = 8671976/219975 + -18550/419. Let y = s - -126/25. Let m(x) = 2*x + 13. Let g be m(-6). Are y and g non-equal?
True
Let x = 387 - 490. Are -307/3 and x unequal?
True
Suppose -4*z + 11 = -3*z. Suppose 4*h = -3*f - z, 4*f = -0*h + h - 2. Let b be (-54)/(-21) + -1 + h. Which is greater: 1 or b?
1
Suppose 0 = 4*v + 5*n + 2 - 8, -4*n = 2*v. Let u(c) = -c**3 + 6*c**2 + 10*c - 10. Let k be u(7).