or x?
x
Let l = -75 + 63.3. Let w = l + -1.3. Let s = w + 13. Is s less than or equal to -1?
False
Let b = 68 + -66. Which is smaller: 13/9 or b?
13/9
Let i be (2*1)/(-6 + 7). Suppose i*f + 10 = 0, 0*p + 22 = -p - 2*f. Let v = p + 22. Is 10 at least as big as v?
True
Suppose -3*v + 6 = -y - 32, -v = 4*y - 4. Which is smaller: v or 0.12?
0.12
Let m(z) = 5 + 3*z + 0 - z - 3. Let c be m(-2). Let l be -2*(7/c - -3). Is 0.4 bigger than l?
False
Let t = -448 + 448. Which is greater: t or -1.79?
t
Suppose -119 - 156 = 5*b. Which is greater: b or -54?
-54
Let r = 10 - 4. Let i be (-15)/5 - 6 - -34. Suppose -2*a - 19 = 3*b + r, -i = b + 4*a. Which is greater: b or -7?
b
Suppose -1 = -11*f + 43. Let h(s) be the second derivative of s**4/12 + 2*s**3/3 + 3*s**2/2 + 3*s. Let d be h(-2). Is f < d?
False
Let c = -34.922 - 0.078. Let n = c + 33.3. Let r = -0.3 + n. Is -4 greater than r?
False
Let c be 2*1/(-9)*(-78)/65. Let q(y) = -y**3 - 5*y**2 - 2*y - 4. Let a be q(-5). Suppose -m + 5 = -a*m. Is m <= c?
True
Let f be (-27)/18*3/((-18)/1396). Let w = 1027/3 - f. Which is smaller: -8 or w?
-8
Let w(g) = -g**3 + 10*g**2 + 10*g + 3. Let a be w(11). Let v be 3/(-2) + (-4)/a. Let m be (48/10)/(2*81/(-60)). Which is greater: m or v?
v
Let h(t) = -t - 4. Let q be h(4). Let b be -1 - q/10 - -1. Let r = 1.312 - 2.312. Which is greater: r or b?
b
Suppose 0 = -3*b + 3*o - 3, 3*b = b - 4*o + 22. Suppose -a - 3 = b. Let y be (-35)/(-5) - (6 - -5). Is a > y?
False
Suppose 0 = q - 4*g + 7, -2 = -2*q - 4*g + 20. Suppose -q = 2*z - 3. Let o be 9/216 - 2/(-6). Which is smaller: o or z?
z
Let z be (0 - -8)*6/12. Suppose -z*x + 5*x + 15 = 0. Let h be (-3)/x*(-10)/(-4). Which is smaller: h or -1/13?
-1/13
Let h(z) = z**3 + 4*z**2 - 4*z + 8. Let x be h(-5). Let a be x/(3/(-2)) + 2. Suppose a = o + 4*l - 20, -4*o - 6*l = -4*l - 10. Which is smaller: -4/21 or o?
-4/21
Let o be (2 + -3)*(9 - 8). Let m be 8/32*o + (-2)/(-8). Is m less than or equal to -1/14?
False
Let t = 1 - 20. Let i = t - -31. Let j = i - 11.5. Is -2 less than or equal to j?
True
Suppose 13*c - 8*c = -80. Which is smaller: c or -13?
c
Let f = 163 + -156.8. Let s = 2.9 - f. Which is smaller: 2 or s?
s
Let t = 3.07 + 44.13. Let s = t + -47. Is -3/10 not equal to s?
True
Let g be (1/(-2))/(6*(-7)/(-504)). Let u be g/4*(-16)/(-12). Let h = 4 + -4.1. Which is smaller: u or h?
u
Let j be (21/(-7))/((-1)/2). Suppose -18 = -j*r + 7*r. Let q = 17 + r. Which is smaller: 2/13 or q?
q
Suppose -5 = 5*n + 10. Let z be (-3 - -2)/(-8) - 195/(-40). Let o = n + z. Which is smaller: 13/4 or o?
o
Suppose -12 = 2*m - 2*q, -6*q - 6 = 3*m - 5*q. Is -6 smaller than m?
True
Let y = -49 + 46. Let o be y - (-2 - -2) - -4. Let r be -1 + 1 + (-2)/(-11). Is o equal to r?
False
Let l = -771 + 779. Is l less than 0.14?
False
Let t = 0.1 + -2.4. Let s = -2.2 - t. Which is greater: 0.03 or s?
s
Let u be 1 - (-2 - (-15)/3). Let a(k) = -k**3 + 2*k. Let n be a(u). Suppose 4*b - n = 3*y + y, -21 = 3*b + 3*y. Does b = -4?
False
Suppose -6*j = -2*j + 4. Let v be j/(-3) + (-7)/21. Is 6 greater than v?
True
Let u = -17 - -22. Suppose 4*k = -2*a - u + 1, 3*k + 4*a = -8. Suppose k = -n + 1 - 2. Which is greater: n or -2/45?
-2/45
Suppose -6 - 8 = -7*g. Suppose 0 = 4*b, -3*f - 5*b + 1 = -g. Is 1 > f?
False
Let l = -7.134 - -7.2. Let g = -29.934 - l. Which is bigger: g or -1?
-1
Let r = 891 - 887. Let p = 93 - 181/2. Is r >= p?
True
Let l = -33 - -47. Suppose -20*j = -l*j - 714. Is j greater than 0?
True
Suppose 4*p + a - 17 = 0, 0 = -13*p + 12*p - 4*a + 8. Is p > -21?
True
Let c be (4/9309)/((-410)/409 + 1). Let d = c - 10/321. Which is smaller: d or 1?
d
Let g = -16 - -16. Suppose 2*j = 5*o - 5 - 14, g = -3*o - 3*j + 24. Which is smaller: o or 1?
1
Suppose 10*a + 42 + 88 = 0. Let i(c) = c**2 + 13*c - 11. Let r be i(a). Does -10 = r?
False
Let s(f) = -f**3 - 3*f**2 + 1. Let u be s(-3). Let w be 6/12 - 14*3/72. Which is smaller: w or u?
w
Let u(k) = -2*k**2 - 7*k - 4. Let g be u(-3). Let i be 0 + 30/(-125) - 0/g. Is i > 1?
False
Suppose 413*k - 4 = 415*k - 4*p, 3*k - 4*p = -8. Let f = -0.2 + -1.4. Which is bigger: f or k?
f
Let y = 407 + -2851/7. Which is bigger: -416 or y?
y
Suppose -r + 4 = -6*r - m, -r = -m - 4. Is 10/179 smaller than r?
False
Suppose -3*y = -5*y. Suppose y = -2*w - 4 - 20. Is w smaller than -1?
True
Let n = -4.78 - -0.78. Is 2/9 equal to n?
False
Suppose -30*i - 6*i - 136 = 152. Suppose -2*g + 18 = -2*n, 6*n - 3*n = -15. Suppose 5*m - 46 = 8*v - g*v, 0 = v + 2*m + 5. Which is greater: v or i?
i
Suppose -34*a - 584 = -210. Which is smaller: -48/5 or a?
a
Let b = -2737 + 2736. Let a be (0 + 1)/(3/18). Suppose a - 4 = -l. Are l and b unequal?
True
Let k(f) = 5*f**3 + f**2 + 4*f - 5. Let a(s) = s**3 - s**2 + s - 1. Let t(j) = -4*a(j) + k(j). Let h be t(-5). Is h at least 2/13?
False
Let p be ((-24)/9 - -3)*-330. Which is bigger: -112 or p?
p
Suppose 22*r + 40 = 128. Let o = 14 + -8. Which is bigger: o or r?
o
Let a be (9/(-15))/((-19)/(-95)). Which is smaller: a or -4?
-4
Let h be 20/(-35)*-24 - 13. Is h <= 1/5?
False
Suppose -3*v - 5*c + 11 = -4*c, 4*c - 12 = -4*v. Let l be 13/5 - (-11)/((-55)/(-2)). Suppose 0*u - 61 = v*w + l*u, 4*w + 2*u + 62 = 0. Which is smaller: w or 0?
w
Let j(n) = -n**2 - 7*n - 4. Let i be j(-6). Suppose 0 = -3*g - 25 - 47. Let x be 36/g + 3/i. Which is smaller: x or -1/2?
-1/2
Suppose 3*a + 46 = 2*i - 17, 3*i = a + 14. Which is smaller: -73/3 or a?
-73/3
Suppose -4*t = 3*z - 61, -3*z = -4*t - 28 - 1. Suppose -23*f = -20*f + z. Is -8 >= f?
False
Let j = 69/2 + -1139/33. Which is smaller: j or -1?
-1
Let u = -77 + 161. Suppose 0 = -7*z + 21*z - u. Which is smaller: z or 1/4?
1/4
Let v be (-7 - -5)/(6/(-15)). Suppose -3*r - 12 = 0, -v*o + 182 = -0*r - 3*r. Which is smaller: 33 or o?
33
Let j = -4 - -4. Let a = -187/6 + 31. Is a > j?
False
Let v(h) = 14*h + 9*h - 1 + 26 - 22*h. Let k be v(-24). Which is smaller: k or 11/7?
k
Suppose -12 = 15*q + 48. Let f be 3 + 24/q - 54. Is f at least as big as -115/2?
True
Let i = -505/4563 + -2/4563. Is 26 less than or equal to i?
False
Let z(p) = p**2 - 2*p - 6. Let u be z(3). Let f be -30 + (-5)/u*-3. Which is greater: f or -1?
-1
Let c = 0.0344 - 9.0344. Is 1 not equal to c?
True
Let q(x) = x**2 - 1. Let r be q(-2). Let s be -3 + 1*(r + -2). Let p(d) = d**2 + 3*d + 1. Let y be p(s). Does y = 2/15?
False
Let d(f) be the second derivative of f**4/12 - f**3/6 - 31*f**2/2 + 46*f. Let x be d(6). Is -4/61 at most x?
False
Let j(p) = -5*p - 4. Let x be j(-2). Suppose 25 = -x*s - 5. Let h be (50/(-6))/((-20)/(-15)). Which is greater: s or h?
s
Let o(d) = -d - 9. Let s = -19 + 10. Let j be o(s). Let q = -71 + 217/3. Which is bigger: q or j?
q
Let p(t) = 1 - 7 - 19*t**2 + 20*t**2 - 5 - 5*t. Let q be p(11). Let r = 219/4 - q. Is 0 less than r?
False
Let v(m) = -m**3 - 12*m**2 - 16*m + 39. Let p be v(-10). Do p and 1/178 have the same value?
False
Let g = 814 - 813.1. Is g greater than or equal to 0.8?
True
Let x be 186/(-96) - (-4)/2. Suppose 8 + 0 = -4*v. Is x less than or equal to v?
False
Let g = 196 - 276. Let j = g - -74. Which is smaller: -7 or j?
-7
Suppose -2*o = -6*o + 84. Let u be (o/7 - -3)*2/4. Is u greater than 48/11?
False
Let s = -43/5 + 46/5. Let t(c) = c**3 + 8*c**2 + 6. Let u be t(-8). Let f = -4 + u. Is f at most s?
False
Suppose 0 = -q + 2*a - 50, 4*a - 8 = -28. Let d = q + 51. Let w be -9 - (-1)/(-3)*3. Is w >= d?
False
Suppose 3*z + 18 = -27. Let w = 0 + z. Let m = 10 + w. Which is smaller: m or 1?
m
Let k = -15 - -15. Suppose -3 + 2 = 3*o - 4*d, 2*o - d + 4 = k. Let m be (-5 + 3/o)/1. Which is smaller: -9/2 or m?
m
Let w(v) = -2*v**2 + 8*v - 6. Let q be w(7). Let y be 3/9 - 97/2. Let o = q - y. Is 1 bigger than o?
True
Let c(f) = 4*f - 14. Let t be c(17). Let w be t/81 + (1 + -1 - 1). Which is smaller: -9 or w?
-9
Let p be (4/(-8))/(-2 - 25/(-10)). Which is smaller: p or 3/37?
p
Suppose 2*i + 2*w = -6, 5*i + 3 = -w - 0. Suppose i = -4*m + m - 42. Let n(c) = 2074*c + 14504. Let u be n(-7). Is u at least m?
True
Suppose -11 = -1837*d + 1836*d. Let b(m) be the third derivative of -m**4/24 + 5*m**3/3 + 2*m**2. Let s be b(0). Which is greater: d or s?
d
Let o = 4 - -1. Suppose l - 2*y + 6*y + 7 = 0, 4*l = -o*y + 16. Let b be (-105)/1225 + 2/(-10). Is l greater than or 