
Suppose -b - 13 = -18. Suppose 0 = l - b, -3*l = 3*a - 21. Are a and 12/23 non-equal?
True
Let z = 3519/13066 + -33/139. Which is greater: 4 or z?
4
Let b be (3/(-2))/(8/16) - -652. Let i = 386 - b. Is i greater than -263?
False
Suppose 0 = -61*p + 39*p + 55*p - 2079. Which is bigger: p or 37?
p
Let a = -99.9 + 95. Suppose -26 = 146*v - 159*v. Which is smaller: v or a?
a
Let l be (4/(-35))/(6/(-15)). Let z be (-93)/(44/80 + (-7)/28). Let p = z + 310. Is p equal to l?
False
Let u = 8 + -6. Let x = u - -6. Let a = -1100 - -1100. Is x at least a?
True
Let d(v) = 2*v - 3. Let s be -10*(6/(-5) - -1). Let o be d(s). Let g be ((-9)/6)/((-105)/147). Is o less than g?
True
Let o = 758 - 760. Let x = -8/5 - o. Let t = -4 - -6. Do x and t have the same value?
False
Let i = -53 + 87. Let b = i + -59. Which is greater: b or -29?
b
Let l be 12/96*-12 + 3. Does l = -428?
False
Let v = 51133/390 + -1704/13. Which is smaller: -2/5 or v?
-2/5
Let f = -14.681 + 14.681. Let u be 24/118*3/(-9). Which is bigger: u or f?
f
Let x = -48.8 + 49. Let q = 35 - 32. Suppose -3*k - 5*s - 22 = -6*k, -k + 6 = -q*s. Which is smaller: x or k?
x
Let t(w) = w**3 - 6*w**2 + 4*w - 1. Let p be t(5). Let y(f) = 31*f + 78. Let l be y(-11). Let c = -268 - l. Is c > p?
True
Let t = -30 - -35. Suppose 3*o - 14 = -5*w, t*w = o - 25 - 13. Let u = 33 - o. Which is bigger: u or 21?
21
Let u be (-24)/(-16)*32/6. Suppose 3*h - 3*g + 4 + u = 0, 2*h = 5*g - 11. Is -20/13 smaller than h?
False
Let o = -24308 + 452736501/18625. Is 1 less than or equal to o?
False
Suppose -85*y + 577 = -84*y. Let m = 576 - y. Let n be (-3)/(-15) - 34/20. Which is smaller: n or m?
n
Suppose -255 - 1525 = -445*p. Suppose -2*q = 3*q + 40. Is q > p?
False
Let x(g) = g - 9. Let p(k) = k - 7. Let r(n) = 3*p(n) - 4*x(n). Let d be r(6). Suppose -10*h + d*h + w = 5, -5*w = 0. Which is smaller: h or -2?
h
Let l = 65269 + -454213/7. Which is bigger: l or 380?
l
Let a = 4/16427 + -15654951/82135. Let b = -37147/195 - a. Is b at most -1?
False
Suppose -94*m + 736895 = -293533. Which is smaller: 10963 or m?
m
Let g = 12419 - 11202. Is g smaller than 2/13?
False
Suppose 131*q - 134*q = -6. Let w be (-2 - -8)/q + (-30)/(-50). Which is smaller: w or -3?
-3
Suppose 321*j - 637181 - 1227592 = -282564. Is j < 0?
False
Let a(t) = 5*t + 5. Let d be a(6). Suppose 0 = 5*i + 3*s - 187, 50*i - 5*s - 15 = 49*i. Are d and i unequal?
False
Let s(d) be the second derivative of d**5/20 + 2*d**4/3 - d**3/3 - 8*d**2 - 5*d. Let j be s(-8). Let y be 2/40*4/(-2 - j). Are 1 and y equal?
False
Let z be 348/39 + 62/806 - 311. Let q(u) = 61*u + 4. Let y be q(-5). Is z greater than y?
False
Let i be 86 + -12 + -17 - -13. Which is smaller: i or 85?
i
Let w be 16/40 + 792/(-30). Suppose 0 = -5*p + 3*r - 8*r - 130, r = 5*p + 130. Is p less than w?
False
Let l(i) = -2*i**2 - 57*i - 26. Let d be l(-28). Suppose -74 = d*t - 62. Let k be (21/(-6))/((-3)/t). Does k = -7?
True
Suppose -11*q = 4*q - 6556 - 4754. Which is greater: q or 757?
757
Suppose 0 = j - 27 - 20. Suppose 4*q + 82 = 2*l - q, l - q = j. Suppose -3*y = -6*y + l. Are 16 and y nonequal?
True
Let h = 13.67 + -10.27. Let i = -0.02 + 3.02. Let d = h - i. Is d greater than or equal to -6?
True
Suppose -178 + 2408 = 10*b. Let r = b - 224. Which is greater: r or 8/33?
8/33
Suppose 20*m + 31 = -32 - 37. Let k be -1 + (0 - 1)*-2. Is m greater than or equal to k?
False
Let k be (-8764)/(-2) - (0 + (-2 - 0)). Let h = k + -17229/4. Let l = -81 + h. Is -3 bigger than l?
True
Let u = 68887 + -68923. Let j = -21 - -3. Which is smaller: u or j?
u
Let k(g) = -9*g**3 - 4*g**2 - 2*g + 4. Let v be k(-2). Suppose -v = 15*b + b. Do -0.4 and b have the same value?
False
Suppose 0 = -12*i + 15 + 21. Suppose i = 10*x - 11*x. Let u be (6/(-2))/x + -71. Which is bigger: -71 or u?
u
Let c = -0.01863 - 19.03137. Is 0.1 at least c?
True
Let o = -10844 - -10856. Which is smaller: o or 11?
11
Let w(l) = -l**2 - 2*l - 4. Let p be w(-2). Let x(o) = -o**2 + 13*o + 19. Let c be x(13). Suppose -5*v - 2*u + 6*u = c, -4*v = u + 11. Does p = v?
False
Let h be 8/3 + (-3)/(-9). Let u be 155/(-1)*(-5 - (h + -7)). Let a be (u/10 + 1)/(2/(-4)). Which is smaller: -34 or a?
-34
Suppose -112*x + 131*x = 0. Let z = -985 - -83723/85. Which is smaller: z or x?
z
Let x be (-6)/12 + 22/4. Let r(o) = 2*o**2 - 8*o + 10. Let q be r(2). Suppose q*a + 3*b - 12 = a, -2*a + 2 = -5*b. Is x less than a?
True
Let h be 10/65 - 63/(-13). Let w be -6 + -1 + (h - 2). Which is smaller: w or -13/5?
w
Let p(s) = -s**3 - 26*s**2 - 25*s. Let g be p(-25). Suppose g = -5*x + 5*z - 270, 0 = -4*x + 9*x - 4*z + 273. Are -57 and x non-equal?
False
Let u(l) = 603*l - 480. Let x be u(3). Is 1330 > x?
True
Let q = -156507/47 + 3330. Let g be (-4)/(-14) + 244/28. Let y be 9/3 - g/3. Which is smaller: q or y?
y
Let n = -867 - -865. Which is smaller: n or 66?
n
Suppose -3*v = 2*i + 371, -3*i = -6*i + 5*v - 528. Let d = i + -39. Which is bigger: d or -219?
-219
Let g = -4.7 - -5. Let y = -0.061 - -0.0366. Let t = y + -0.4756. Is g at least as big as t?
True
Suppose -f + 3*z + 10 = 2*z, 3*f - 2*z = 25. Suppose 251 = -3*v - 5*i, 3*i - 383 = f*v - v. Let q = v - -91. Is 3/25 equal to q?
False
Let n(f) = -36*f**3 + 38*f**2 - 67*f - 3. Let w be n(2). Does -273 = w?
True
Let n be (-102)/(-867) - (-1372)/(-8772). Let h be -2*(-2)/(3 - 7). Which is smaller: h or n?
h
Let t = -40.91 + -0.09. Let y = 41 + t. Let k = -2.14 - -0.14. Which is bigger: y or k?
y
Let f = -67 - -80. Let k = f - 13.041. Which is greater: -2/5 or k?
k
Let q = -17 - -17. Suppose 5*r + 10 = -3*d, -d - d = q. Let h be (r/(-8))/(3/18)*-7. Which is bigger: 0.1 or h?
0.1
Let g be 1/(-5)*(-4)/(-2). Let z = -3.81 - 88.19. Let k = -97 - z. Is k < g?
True
Let r = 14 + -13. Let w be ((-14)/1421)/((-3)/(-27) + (-96)/378). Which is smaller: r or w?
w
Let p(b) = 117*b + 352. Let s be p(-3). Let g = 3 + 1. Let d be (-1)/((-3 + -2 + g)/s). Which is bigger: -1/24 or d?
d
Let i(q) = q + 9. Let d be 88 - (9/3 - (-2)/(-2)). Let c = -94 + d. Let z be i(c). Which is bigger: z or -3/22?
z
Let g = 22.2 - 20. Let r = g - 1.2. Let d = -3.64 + 0.64. Which is smaller: r or d?
d
Let z = 2824 - 2824. Is z < 4606?
True
Let d = 473/3 + -156. Let j = 0.211 + 158.789. Let c = j - 159.2. Is d greater than c?
True
Let z = 207.47 + -204. Let i = -3.57 + z. Are 87 and i non-equal?
True
Suppose 17*t + 90*t = 389373. Which is smaller: t or 3638?
3638
Let a be (-20)/(-18)*(-1430)/(-143). Suppose 4*l - 1 = 43. Is a less than l?
False
Let b = 18 - 29. Let g be 2/b - (-1 + (-3228)/(-33)). Let i = g + 75. Is -20 < i?
False
Let f = -1296.066 + 1296. Is f greater than -7?
True
Let p = 865/340106 - 1/3302. Which is smaller: 1 or p?
p
Let x = 11954 + -11954. Is -9/88 > x?
False
Let d = -4786 + 4785.8. Which is smaller: 39/7 or d?
d
Let u = 2860 - 22885/8. Is u equal to -18?
False
Suppose -a - 7 = 0, v = 2*a - 0*a + 886. Is v at most 0.2?
False
Let q(a) = -5*a + 3. Let s be q(1). Let g be ((-4)/(-279)*-6)/(s/(-6)). Is 1 at least g?
True
Suppose 2*p + 4*f - 3*f - 15 = 0, 2*f - 36 = -5*p. Suppose -2*h - 14 = 5*z, -2*z = 5*h - p - 1. Which is smaller: h or 2/11?
2/11
Let d = -60961/12 - -5080. Let a = 1 + -1. Let p be (0 + a)*-1 + 0. Is d at most p?
True
Let z(l) = -3*l**2 - 161*l - 1971. Let v be z(-20). Let n(p) = -44*p + 1. Let a be n(-1). Which is bigger: v or a?
v
Suppose 2*u = 5*g - 5, 0 = -16*u + 14*u - 5*g + 25. Suppose 20 = w + 4*r, 4*w + 0*r + r - u = 0. Which is bigger: -3/113 or w?
w
Let v = -658 - -835.3. Let i = v + -7.3. Is i >= 0?
True
Let d = -1.2369 + 1.3369. Is d greater than -532/37?
True
Suppose 5*x + 5586 = 4*d, 5*d - 5*x - 3825 = 3150. Which is smaller: 1390 or d?
d
Let a = -37.78601 - -0.54701. Let d = a - 0.761. Which is bigger: d or 2?
2
Suppose -2 + 0 = -q - 2*v, -5*q + 3*v + 10 = 0. Let y be 13/q - ((3 - 4) + 4). Suppose 9*c - 2 - 34 = 0. Is c at least y?
True
Let p = -0.101 - -0.199. Let j = -0.198 + p. Is -9.8 bigger than j?
False
Let w(x) = -4*x**2 + 4*x + 18. Let i(h) = -h**2 - h. Let s(l) = -5*i(l) + w(l). Let f be s(-7). Suppose -f*j = -3*j - 27. Are 26 and j equal?
False
Suppose 42*m - 26 = 66*m - 2. Is m less than or equal to -25/168?
True
Suppose 344*i - 339*i - 180 = -5*w, -4*i = -5*w - 144. Suppose -46 = -f - 2*p, 3*f - 5*p