e
Let c be (8/(-20))/((-10)/(-195)). Which is greater: c or -7?
-7
Let j(y) = -2*y - 4. Let n be j(-4). Suppose 0 = g + n*k + 8, -3*k + 2 - 8 = 0. Suppose 9*c + 33 - 51 = 0. Is g greater than or equal to c?
False
Let r = -10058/3 + 3371. Is 17 equal to r?
False
Let x(p) = -2*p - 6. Let v be x(-7). Let y be (7 + -2 - 6) + 7/v. Which is greater: 2/7 or y?
2/7
Let n = -0.64 - -0.64. Let s = -12 - -11.8. Is s <= n?
True
Let m(i) = -2*i - 5. Let b be m(-4). Let h(l) = 3*l**2 - 25*l - 5. Let t be h(8). Let x = t - -15. Is x <= b?
True
Let v(g) = 24*g - 94. Let u be v(3). Which is bigger: -21 or u?
-21
Let b = 502 + -537.7. Let i = 30 + b. Let s = i + 6. Are -1/6 and s nonequal?
True
Let c(m) = m**3 - m**2 + 12. Let u be c(0). Let t = 15 - u. Suppose -5*g + 20 = 0, 0 = 2*y - 0*g - t*g + 12. Is 0 smaller than y?
False
Let a be 11/(-44) + 258/8. Is a smaller than 33?
True
Let o be -1 + -2*(-8)/4. Let q be ((-2)/o)/(4/(-42)). Let x be (q/7)/(-2 + 1). Is x greater than or equal to 1/14?
False
Let s(t) = -1. Let d(j) = -4*j - 2. Let r(c) = d(c) + 8*s(c). Let v be r(-5). Let h = v - 7. Are 5 and h equal?
False
Suppose 0 = 3*z + z - 12. Suppose -4*p - 19 + z = 0. Let y(l) = -4*l**2 - 67*l + 15. Let k be y(-17). Which is bigger: p or k?
k
Let t = 8 - 5. Suppose -4*u - f - 4 = t, -5*f = -25. Let k be (1/u)/(-14 - -12). Which is smaller: -1 or k?
-1
Let v be 22/2 - (-9 - -8). Suppose 3*u + v = -5*a, 4*u - 19 + 6 = 3*a. Suppose 0 = 5*g - n + 8, 1 = g + n - u. Is g less than 0.4?
True
Let r(n) = -n**2 + 3*n + 5. Let x be r(4). Let p be (2 - x)/((-10)/(-20)). Let d be (p - 0)*(13 + -10). Which is smaller: d or 9?
d
Let x = -398 + 398. Let m = 273 - 16105/59. Is x at least m?
False
Let h = -1639.01 + 1631. Let r = 8.2 + h. Does r = 0?
False
Suppose 0 = -12*l - 11*l - 460. Which is bigger: l or -17?
-17
Let k = 2295 - 2902. Which is smaller: -608 or k?
-608
Suppose -2*x + 0*x = -44. Suppose -29 = 4*w - 0*w - v, -2*v - x = 2*w. Let q = -12 - w. Which is greater: q or -5?
q
Let l be (-1)/6 - 26/(-24)*2. Suppose 0 = -d - l*b - 5, 4*d - 4*b + 43 = -37. Which is smaller: -7 or d?
d
Let m = -334 - -233. Is -101 greater than m?
False
Let b = -1.43 - -1.4. Let z = -0.47 + b. Let u = -8 - -6. Which is smaller: z or u?
u
Let v be 5/(-4) - -2 - 7/28. Let o = -46 - -416/9. Is v at most as big as o?
False
Let m(l) = 21*l + 61. Let b be m(5). Do 165 and b have different values?
True
Suppose -244*r = -249*r - 50. Which is smaller: r or -12?
-12
Let l = 0.183 + -15.183. Is l < -3?
True
Let f = -1034 - -1069. Are 35 and f unequal?
False
Let j be (-6 + 3)/((-189)/18). Is j < 8.7?
True
Let w(k) = -k + 1. Let r be w(-9). Let a be 4948/(-23)*r/(-8). Let b = a + -269. Is 0 less than b?
False
Let k(o) = -3*o**2 + 5*o - 2. Let j(q) = q**2. Let v(g) = 4*j(g) + k(g). Let s be v(-9). Is s at most 33?
False
Let p = 9 - -21. Let j = -26 + p. Is j >= -4?
True
Suppose -p + 3*p - 147 = -5*i, 0 = -2*p - 2*i + 144. Which is bigger: 66 or p?
p
Let u = 62 + 20. Which is greater: 2 or u?
u
Suppose 3*q - 15 = 0, 25*d = 20*d + 5*q - 30. Let u be ((-3)/37)/((-3)/(-6)). Is u less than d?
False
Suppose -4*v - 12 = 0, 4*x + 3*v - 6*v - 709 = 0. Is 174 smaller than x?
True
Let v = -3 + 0. Let n be (0 - 3/12*-3) + -1. Which is greater: v or n?
n
Suppose 0 = -4*y - 4*c - 108, 4*c + 121 = -3*y + 39. Let f be ((-28)/(-3))/(2/(-6)). Do f and y have the same value?
False
Let g be (-3 + -1)/(-1)*(-105)/(-14). Which is bigger: 28 or g?
g
Let i = -564 + 565. Is i less than or equal to 21/19?
True
Let f = -92 + 95. Let t be (392/(-231))/(2/3) + f. Which is smaller: 0 or t?
0
Suppose 3*y = -0 + 15. Suppose 0 = -8*a + a + 217. Suppose -51 = -5*d - a. Is y less than d?
False
Let v be 0/(1*(-4 - (-1 - -2))). Which is smaller: v or 3/91?
v
Let j be (-16)/(-10) - (-4)/10. Suppose 1 - j = c. Let l = -1/44 + 47/132. Is l at most as big as c?
False
Suppose 12*h + 28 = 16*h. Suppose -h = -d - 5. Is 4 > d?
True
Let a = -1060 - -1059. Is -3/163 < a?
False
Suppose a - 5*g = 11 + 37, -3*a - 3*g = -144. Let t be (72/a)/(6/4). Is t < 10/13?
False
Let p(c) = 7*c - 87. Let j be p(5). Is j greater than or equal to 0?
False
Let c = 0.2 - 0.2. Let f = 3.8 + -3.8. Let d = c + f. Is 0 less than or equal to d?
True
Suppose 4*g + 2 = -3*z - 5, 6 = -3*g - 3*z. Let f be 7/7 + 2*g. Let l be (-4 - -4)/(-1 + f). Is 5/4 greater than or equal to l?
True
Suppose 0 = 5*i - 2*r + 7096, 0*i + 1428 = -i - 4*r. Let o = 5749/4 + i. Is 17 bigger than o?
False
Let d = 0 - -0.2. Let l = 11.8 + d. Suppose 0 = -5*j + 5. Which is bigger: l or j?
l
Let g be 2*(-1)/(-2)*2. Let j be 2/7 + (-190)/(-70). Suppose -j*p - 2*c + 1 = -0, g*p - 8 = -5*c. Which is greater: -1/16 or p?
-1/16
Let q be (-20)/8*10/1. Let v = 22 + q. Let z be 1 + 63/(-15) - v. Do z and -1 have the same value?
False
Let u be 16/20*10/4. Let r = u - -6. Which is bigger: 6 or r?
r
Let y(r) = -r**2 - 13*r - 3. Let l = -8 + -5. Let v be y(l). Let x be (2 + v)/((-2)/(-2)). Do -1 and x have the same value?
True
Suppose 17832 = 393*l - 405*l. Which is greater: -1487 or l?
l
Let p(r) = -2*r + 6. Let j be p(6). Suppose 0 = -88*x + 81*x - 42. Let y be ((-165)/20 - x)*2. Are y and j non-equal?
True
Suppose -4*t + 9 = 65. Let u be ((-13)/t - 1)/((-1)/2). Which is bigger: u or 7?
7
Let t = 1.76 - 1.46. Let s = 29.9 - 32. Let h = s - -2. Which is bigger: t or h?
t
Let d = 1006 - 1027. Which is smaller: d or -27?
-27
Let f(c) = 3*c + 1. Suppose -k - 3*b - 4 = 0, 2*b = -0*b - 6. Let p be f(k). Is p != 16?
False
Suppose 4*i + 289 = -h - 1167, 4*i + 1460 = -2*h. Which is bigger: i or -364?
i
Let p(u) = u**3 + 10*u**2 - 13. Let g be p(-10). Let x(d) = -d**3 + 2*d + 1. Let f be x(0). Is f greater than or equal to g?
True
Let k = 0.07 - -0.53. Let l = k - 0.4. Let u = -1789 + 1788. Is l smaller than u?
False
Let f = -97 + 95. Is f at least -2?
True
Suppose -11*t + 204 + 280 = 0. Which is greater: t or 48?
48
Let a be (232/10)/((-255)/(-25)) + -2. Which is greater: -1 or a?
a
Let l = -247 + 217. Does l = -3?
False
Let m = 28 - 29. Is 1/75 greater than or equal to m?
True
Let d(k) = 15*k + 701. Let a be d(-47). Is -15/8 bigger than a?
True
Suppose -2*i = -6*l + 4*l, -l = -2. Let q be (-435)/(-50) - 1/5*25 - 3. Which is smaller: q or i?
q
Let w = 131 + -143. Let t = 0.33 - 0.03. Which is greater: w or t?
t
Let z be (1 + 3/(-6))*(-148)/6. Which is smaller: -12 or z?
z
Let l = -1459 - -2991/2. Let h = -35 + l. Is -2 at least as big as h?
False
Suppose 0 = 4*i - 4, i = -6*q + q + 571. Let n = -572/5 + q. Let h be 8/(-7 + -137)*8/10. Which is bigger: n or h?
h
Suppose 0 = -647*f + 652*f + 25. Is -0.9 less than or equal to f?
False
Let r(b) = -2*b - 7. Let c be (-6)/(3 - (-3)/(-2)). Let k be r(c). Let j = -3.1 - -5. Is j bigger than k?
True
Suppose -4*q = 3*m, 4*q - 3*m = 7*q. Suppose q = 2*d - 2 - 2. Suppose s - 5*s - 12 = 3*b, d*s + 34 = -5*b. Is -6 >= b?
True
Let i be 6/15 + (-164)/60 + 2. Do 148 and i have different values?
True
Let v = 501.0388 + -501. Is 0.1 smaller than v?
False
Let s be (-10)/(-4)*-8*4/(-20). Suppose 0 = s*q - 2*v + v + 2, q + 5*v = 10. Is q >= 1/53?
False
Suppose 113*x = 105*x. Is x greater than -2/1673?
True
Suppose 2*k = -m - 4*m + 10, -20 = -4*k. Suppose 3 = 3*s - m*s + 2*z, 0 = -s + 3*z - 10. Let u = -2/429 - 20/429. Which is smaller: s or u?
s
Suppose -4 = -11*f + 9*f. Suppose -64 = -f*y - c, 80 = 2*y + 6*c - c. Are y and 28 unequal?
True
Let c(w) = 6*w**2 + 5 - 1 - 2 + 0 + 10*w + w**3. Let r be c(-3). Let v be ((-1)/26)/(2/(-8)). Is r at least as big as v?
False
Suppose -7*i + 29 = 5*k - 4*i, -2 = k - 2*i. Suppose -42 + 2 = -k*d. Let c = 13 - d. Which is smaller: 0.5 or c?
0.5
Let k be -8*2*(-21)/(-189). Is k equal to -1?
False
Suppose 1 = -2*x + 11. Suppose y = x*y - 384. Let d be (-4)/(-6) + y/(-9). Which is smaller: -11 or d?
-11
Let h be 19 - 1*(-7 + 3). Suppose 0 = -n - h - 0. Which is smaller: -21 or n?
n
Let n be (-1756)/(-351) + -12 + 23 + -16. Which is smaller: n or 1?
n
Let i = 510 + -500.16. Let f = 10 - i. Let c = f + 0.24. Are c and 3 non-equal?
True
Let b = 1228 - 1227.76. Let w = -15.34 - -15. Let q = b + w. Are q and 11 nonequal?
True
Let p = -1107 - -1111. Let d be -4 + 2 - (-14)/3. Is d < p?
True
Suppose -10 + 34 = 3*r. Let a = r - -10. Is 17 not equal to a?
True
Let z b