 h = -0.84 - -0.04. Is v != h?
True
Let m = 233/363 - -3/121. Which is smaller: 0 or m?
0
Let r = 332 + -185. Let s = -1097/10 + 33381/130. Let h = s - r. Which is bigger: h or 0?
h
Let l be 1*(-3)/(-76)*(-4)/(-5). Do 1 and l have the same value?
False
Suppose 0 = -0*f + 5*f - 240. Let h = f - 47. Which is greater: h or 1/81?
h
Let l = -15.7 + 15.7. Is 155 less than l?
False
Let l be 2/(3 - (-15)/(-6)). Let x be (l + -3)*(4 + -3). Let m(d) = 10*d**2 - 1. Let s be m(x). Is s at least 10?
False
Let w = 0.0977 + -0.0977. Is -2/159 < w?
True
Let q(w) = w + 3. Let v be q(0). Suppose 7 = v*n + 1. Suppose -5*g + 20 = -4*l, 0 = -3*l - 2*g - n + 10. Is -1 at most l?
True
Let v = 0 - -6. Let w be 2/((8/v)/2). Suppose -x - 2*x = -w. Which is bigger: x or 3/8?
x
Let a = 7374/19 + -388. Let b be 56/10 - (-6)/15. Let z(t) = t - 7. Let s be z(b). Is a at most as big as s?
False
Let p be 22 - (0 - 7 - -3). Which is smaller: 109/4 or p?
p
Let m = 66 - 65.2. Let g = -0.9 + m. Which is smaller: g or -1?
-1
Let x = 109 + -108. Which is bigger: x or 22/51?
x
Let z be ((-6)/5)/(238/680). Is z bigger than 5?
False
Let c = 31 + -20. Suppose -3*u + c = 17. Which is smaller: -3 or u?
-3
Let w(d) = -d**2 - 7*d - 3. Let u be w(-6). Let t be (14/6)/(u - (-8)/(-3)). Is t bigger than 4?
True
Let h be -4*(-1)/30*(-155)/31. Are 11 and h non-equal?
True
Suppose 19*i = 21*i - 24. Suppose i = k - 2*m, 2*k - m - 2*m - 25 = 0. Is 14 at least as big as k?
True
Let r = -0.187 + -17.213. Let h = -44 - -61. Let p = h + r. Which is smaller: 2 or p?
p
Let g = 3 + -15. Let w be (-25)/(-30) - g/(-9). Suppose 6*s = s. Is s at least as big as w?
True
Let h = 1.01 - 0.71. Which is greater: h or -0.451?
h
Suppose -3*c + 2*i = -2, 3*c - 4*i + 1 + 1 = 0. Suppose -5*n + 5 = -10*n. Is c less than n?
False
Let f = -1.35 - 0.35. Let l = -0.0348 - -1.0348. Which is smaller: l or f?
f
Let a be 1265*(64/10 + -6). Which is smaller: a or 507?
a
Suppose -5*f + 0 + 20 = 0. Suppose -c + 5*y = -0*c - 10, 0 = -f*c - 3*y - 6. Suppose 5*j + 5*b = j + 9, 5*j - 8 = -3*b. Which is bigger: c or j?
j
Let m(y) = -y**2 + 10*y + 13. Let d be m(11). Suppose -5*l + d = -18. Suppose -3 + 51 = -l*a. Is a smaller than -11?
True
Let y = 0.3 - 0.5. Let q = -0.68 - -59.68. Let d = 59 - q. Is y not equal to d?
True
Let d = -1.292 - -0.992. Which is greater: d or -3/5?
d
Suppose -3*w = 66 - 69. Which is smaller: w or -97/4?
-97/4
Suppose -15*v + 42 = 3*c - 12*v, -4*v + 66 = 5*c. Which is smaller: -6 or c?
-6
Let o = 206 + -288. Is o greater than or equal to -81?
False
Suppose 0 = -j - 17*y + 15*y + 17, -4*j + 83 = 5*y. Does j = 1.7?
False
Let a(n) = 7*n. Suppose -5*i = -2*i - 3. Let t be a(i). Let w = 10 - t. Which is greater: w or 2/7?
w
Let v = -209/18 + 127/9. Suppose -5 = 5*m + 2*a - 7*a, 0 = -5*a - 15. Is m at least as big as v?
False
Let x = -0.7 + -0.3. Let w = -334 + 341. Is w equal to x?
False
Let y = -12444987 - -5089663668354/408973. Let q = y - -53573348/288325965. Let p = q + 2/141. Is -1 >= p?
False
Let q(b) = b**2 - 4*b + 5. Let j be q(6). Let y be 5 + (-5 - 1) + 137. Suppose 0 = -36*r + 44*r - y. Do r and j have different values?
False
Suppose -5*x = 4*j - 2*x - 19, -5*j + 47 = -4*x. Let p = -22973/7 - -3289. Is j bigger than p?
False
Let a be 18/(-12)*9*196. Which is bigger: a or -2645?
-2645
Let o(w) = w**2 - 17*w - 32. Let u be o(19). Let s be 26/4 - (-5)/10. Let i(l) = -l**2 + 7*l + 4. Let a be i(s). Which is smaller: u or a?
a
Let l = -3.98 + 3.88. Are l and -16.1 unequal?
True
Let z be (-24)/(-20)*20/6. Let j be 280/(-49) + z/(-14). Let c be (-2)/(-4) - (-27)/j. Which is smaller: -3 or c?
c
Let i(b) = -b**3 - 7*b**2 - 8*b - 5. Let v be (-2 + 4)*1 - 7. Let w be i(v). Let n = w - -25. Which is bigger: 9 or n?
n
Let n = 1286 + -1289. Let i = -563/4 - -139. Which is bigger: i or n?
i
Let o = 1 + -4. Let z = 1471 + -7359/5. Which is bigger: z or o?
z
Let c = 1540 - 1708. Are c and 1 nonequal?
True
Suppose 49*r + 2*s = 46*r + 6305, 3*r - 2*s = 6289. Is r less than 2100?
True
Let s = 23.1 - 23.2. Which is greater: s or -0.03?
-0.03
Let h be (6 + -3 - 1)*1. Suppose x + 6 = -h*x. Let s be (0/(6/(-2)))/2. Which is bigger: x or s?
s
Let n be ((-2)/4)/((-3)/150). Let s = 24 - n. Which is smaller: -1/7 or s?
s
Let q be (0 + -1 - -1) + 3. Let i(m) = -m**3 - 7*m**2 - 6*m + 22. Let c be i(-5). Suppose q = -b - c*b. Is b less than -1/6?
True
Suppose 7*t - 8*t + 5*d = -15, -5 = -d. Is t > 37?
True
Let u be 426/7455*(0 - 15/(-4)). Is -1 at least as big as u?
False
Let x(q) = q**3 + 5*q**2 + 4*q - 4. Let r be x(-4). Let s be (-758)/(-2232) - r/(-16). Let l = -2/93 - s. Which is greater: 1 or l?
1
Let m = -12229/8 + 6047/4. Is -16 greater than or equal to m?
True
Let u = 666 + -665. Which is smaller: -1/4 or u?
-1/4
Let x = 97.122 + -0.122. Let n = x - 98.1. Which is bigger: n or 1/4?
1/4
Let c be (-83112)/(-1232) + -1 + 13/11. Let p = -68 + c. Is p > 0?
False
Let l be (-2)/(((-40)/12)/5). Let r(o) = o**2 - 2*o + 1. Let k be r(l). Which is smaller: 5 or k?
k
Suppose -3*i + 4*i = -14. Let z = i - -3. Let j = 24 + -34. Which is smaller: z or j?
z
Let g = -1 - 0. Let b = 1332.1 - 1332. Which is bigger: g or b?
b
Suppose -4*l - 60 = -u + 19, u = 3*l + 78. Suppose -2*j + u = 3*j. Let a(v) = 5*v + 64. Let x be a(-10). Is x at least j?
False
Let a = 8 - 22. Let w be ((-12)/(-42))/((-2)/a). Let k(j) = -j**2 + 3*j - 2. Let h be k(w). Which is bigger: 2/25 or h?
2/25
Let y(r) = -r**3 + 2*r + 3. Let n = -9 - -9. Let u be y(n). Let d = u - -1. Does 4 = d?
True
Let q be 2 + -22*1 - -1. Let b = 15 + q. Let f be (-6)/b*14/(-21). Which is smaller: -5/7 or f?
f
Let r = 1221.6 - 1194. Which is smaller: 0.1 or r?
0.1
Let l = -2/33 + -5/99. Let i = 193 - 192. Is l bigger than i?
False
Let c(w) = -w. Let l be c(-1). Let m be (57 - l) + 18/18. Is m > 57?
False
Let n = 508/15 + -34. Which is greater: n or -1?
n
Suppose 4*f + 198 = 374. Is 42 at least f?
False
Let u(p) = -4*p + 4. Let s be u(24). Which is smaller: s or -93?
-93
Let o = 1/46 + 133/230. Which is smaller: o or -25?
-25
Let c be 3/((-6)/(36/6)). Let t(p) = 4*p**3 - 2 - 5*p**2 + 6*p**2 - 3*p**3 + 0*p**2. Let a be t(0). Is a at most as big as c?
False
Let p = 123 - 124. Does p = -82?
False
Let m(z) = 3*z - 2. Suppose -u + 5*a = 16, -9 = 3*u - a - a. Let f be m(u). Is -2 > f?
True
Suppose 4*h + 2*s = 40, 5*h = 2*s + 33 + 26. Suppose -5*k = 2*o - 7*o - 145, 0 = -o - 5*k - h. Is -26 less than o?
False
Let c be 3 - ((-85)/(-5))/(-1). Let a be 14/6 + (-50)/c. Which is smaller: a or 0.1?
a
Let y be (-8)/28 - (-173)/(-7). Let l = 845 - 869. Is l < y?
False
Let a = -71 - -39. Let h = -1 - a. Let s = -35 + h. Do s and 0 have different values?
True
Let x(l) = 58*l**2 - 4*l + 3. Let k be x(1). Let p = 54 - k. Let m = 6 + -8. Which is greater: p or m?
m
Let v be 75/27 - (-2 + 3 - 0). Let m = -11/18 + v. Which is smaller: 1 or m?
1
Let q = 1/7061 + -790843/77671. Which is greater: q or -10?
-10
Let y be 2/10*-2 + 4/10. Suppose -27*v + 37*v - 90 = y. Is 11 less than v?
False
Let l be (-27)/(-6)*52/6. Suppose -5*h - 36 = 3*m, 7 - 13 = h. Which is greater: l or m?
l
Suppose -45 = -5*x - 5*a, -a + 2*a = 5*x - 33. Suppose 2*j - 325 = x*j. Do 0.1 and j have different values?
True
Let p = -47.75 + 47. Let f = -0.65 - p. Which is bigger: f or 1?
1
Let j = 4.2 - 8.1. Let b = -11 - -7. Let k = j - b. Which is smaller: k or -6?
-6
Let z(s) be the first derivative of -s**4/4 - 3*s**3 + 10*s - 7. Let t be z(-9). Suppose -3*i = -14 - t. Are i and 7 nonequal?
True
Let h be 40/70 + 162/(-14). Let d be -8 + 9 + 9/(-11). Is h <= d?
True
Let h(n) = n**3 + 6*n**2 + 2. Let y be h(-7). Which is smaller: -46 or y?
y
Let b be 6/(-378)*-7*-3. Which is greater: b or -0.372?
b
Let w(l) = l**2 - 13*l - 27. Let q(f) = -f**3 - 11*f**2 - f + 5. Let p be q(-11). Let k be w(p). Is k bigger than 22?
False
Suppose -i + 5*i = -3*n + 12, -5*i = -2*n - 15. Suppose -c = 2*c + i. Let h be c/(-3)*(-21)/1. Is h != -5?
True
Let y = -0.64 + -0.26. Let b = 0.7 + y. Let x = -0.1 + 0. Which is smaller: b or x?
b
Let u be (-104)/3 - (-1)/(-2). Let r = -5/3 - u. Let m = 473/14 - r. Which is greater: -1/6 or m?
m
Let x = 5 - 4. Let i = -1/82 - -783/328. Which is greater: x or i?
i
Let s = -42 - -36. Let k be (-6 - (1 + s))*0. Which is greater: 2/