onequal?
True
Let t be -5 + 1 + 0 + 3. Is 4/193 < t?
False
Suppose -10 = -f - 6. Suppose j - 18 = -4*a, -j - 2*j + f*a + 6 = 0. Let r = -7 + j. Which is smaller: -5/8 or r?
r
Suppose -3*p - 12 = -51. Suppose -4*j = -2*a - p - 7, 4*j - 40 = 3*a. Which is greater: -21 or a?
a
Let k(p) = -p**3 + 16*p**2 + 15*p + 18. Let f be k(17). Let v = -1 + 17. Let w = v + f. Is 0 less than or equal to w?
True
Let b = 3345/8 - 412. Let q be 1*(1 - (-33)/(-24)). Let k = b - q. Is 7 less than k?
False
Suppose 4*v + 3*k = 57, 7*v - 39 = 5*v - 5*k. Is v > -1.9?
True
Let v = 1180.1 + -223.1. Which is smaller: v or -2/3?
-2/3
Let y = 10278/5 + -2056. Suppose 4*d = 2*q + 3*d - 8, -q - 2*d = -4. Suppose 5*i - 5*s - 20 = 0, 0 = i - 0*i + s + q. Which is smaller: i or y?
y
Let k = 358 - 357.9. Is k greater than or equal to -86?
True
Let t = -34.2 - -34.7. Is t > -0.1?
True
Let l(r) = -4*r - 1. Suppose 5*a + 12 = 4*a + 4*o, -2*a + o - 10 = 0. Let k be l(a). Which is bigger: k or 16?
16
Let s be (22/68)/(-6 - 190/(-30)). Are s and 1 non-equal?
True
Let z be 5 + 692/(-144) - (-2)/8. Suppose 0 = 5*j + 10, -1 = -3*c - 2*j + j. Which is bigger: c or z?
c
Suppose 5*o = -8206 + 8306. Is -3.6 not equal to o?
True
Let d(l) = 21*l - 28. Let c be d(5). Which is greater: 388/5 or c?
388/5
Suppose 8 = -3*k + 38. Suppose m = f + 17, 0 = -2*f - 1 - 7. Which is smaller: k or m?
k
Let i = 0.99 - 0.59. Which is smaller: i or 0.23?
0.23
Let k = 191/4 + -48. Let g be -1 + -1 - (-28)/14. Which is smaller: k or g?
k
Let z = -115 - -32. Let p = 85 + z. Which is smaller: 23 or p?
p
Suppose -f = 4*x - 5, 2*x + 3*x = -5*f + 25. Let h(l) = -l**2 + 7*l + 2. Let u be h(8). Let t be (8/12)/((-70)/u). Which is smaller: t or x?
x
Let y = 0.0148 + -0.1148. Which is smaller: y or 0.117?
y
Let o = -793 + 799. Let h(c) = -c**2 + c. Let l(p) = 2*p**2 - 8*p + 6. Let w(j) = -h(j) - l(j). Let g be w(o). Which is smaller: g or -3?
-3
Suppose g + 2014 = 615. Which is smaller: -1398 or g?
g
Suppose 0 = 1150*x - 1148*x - 4. Let u = -2/3 + 1/6. Which is smaller: u or x?
u
Suppose 67 - 1473 = -19*w. Which is smaller: w or 73?
73
Let j be ((-2)/20)/((-20)/40). Let a = 3 + -1. Suppose -7 = -m - 2*m + a*k, 3*k = 4*m - 11. Which is greater: m or j?
j
Let n(v) = -3*v**2 - 104*v - 71. Let m be n(-34). Let o = 27 + -30. Is o equal to m?
True
Let d = -38 + 17. Let q(o) = -o**3 + 10*o**2 - 17*o - 14. Let a be q(8). Let m = a - d. Which is smaller: -5 or m?
-5
Suppose 68 = -h + 70. Let b be ((-5)/(-2445))/(h/12). Are 1 and b equal?
False
Let t be (-24)/(-36)*(-9)/(-2). Suppose 0 = -o + t*o + 528. Let y be -1 + o/135 + 3. Which is smaller: -1 or y?
-1
Let k be -85 + 78 + 47/7. Which is greater: -121 or k?
k
Let z be (-399)/114 + 13114/3740. Is z not equal to 0?
True
Let r = 0.03 - -0.03. Let s = -225.94 - -225. Let g = r - s. Is 1/7 < g?
True
Let z be ((-344)/(-258))/((-172)/6). Is 0.5 not equal to z?
True
Let s = -365.13 - -364. Which is greater: 2 or s?
2
Let l = 0.699 - 0.8. Which is smaller: l or 1?
l
Let b = -3 - -44. Let c = -29880/7 - -4228. Let x = c + b. Which is smaller: -1 or x?
-1
Let j be -5 - (3 + 3 + -11). Is -2/1019 greater than j?
False
Let f = -1599 + 1609.93. Let n = 0.07 + f. Let l = n - 8. Are l and 2 equal?
False
Suppose m + 96 = -3*m. Let v = -7622 - -7621. Which is smaller: m or v?
m
Let b = 6 + -11. Let t be (-184)/(-12)*-1*3. Let a = -50 - t. Which is bigger: a or b?
a
Let s be (2 + -1649)/3 - 0. Let m = s + 1121/2. Let h be ((-2)/3)/((-4)/78). Is m < h?
True
Let a(r) = r**2 - 5*r + 1. Let n be a(2). Let q be (0 - 24/(-28))/n. Let v = q - -212/1645. Which is smaller: 1 or v?
v
Let t = -2.02 + 0.02. Let k = 1096.05 + -1096. Is t at least k?
False
Let s(q) = q**2 + 4*q + 3. Let k be s(-2). Suppose -100 = 6*f - 28. Let u be (f/(-8) - 3/4)/12. Which is smaller: k or u?
k
Let v = -207/7 + 899/42. Which is smaller: v or 3/4?
v
Let j be (3/(-18))/((-3)/15). Let d = 0.32 + -4.32. Which is greater: j or d?
j
Let g be -6 - (99/(-27) + -2). Let z(a) be the second derivative of a**5/20 + a**4/2 + a**3/6 + 5*a**2/2 - a. Let d be z(-6). Which is smaller: g or d?
d
Let l(k) = -k**2 - 6*k - 4. Let a be l(-3). Suppose 1 = j - s, 17 = a*j + s + 6. Let n = -38/3 - -13. Is n less than j?
True
Suppose -12*o + 9*o + 9 = 0. Suppose -5*c + 2*p = 361, -o*c + 2*c = p + 75. Is c greater than or equal to -72?
False
Let i(n) = 26*n**2 - n - 1. Let b be i(-1). Suppose 5*y - b = 29. Let t = -17 + y. Which is greater: -8 or t?
t
Suppose 0 = -c - 5*q, c - 2*c - 15*q + 11*q = 0. Let h = -739/18 - -83/2. Does c = h?
False
Let a = -1 + 0. Let h = 95 - 95. Suppose 4*m = -4*j + 16, h = 2*j - 7*j + 10. Which is smaller: m or a?
a
Let u be 7/((-105)/(-10)) - (-155)/(-120). Let n be 5/(-4) + 12/(-16). Which is smaller: u or n?
n
Let b(q) = q**3 - 7*q**2 - 5*q + 31. Let p be b(7). Which is greater: 0.16 or p?
0.16
Suppose 6*g = 4*g + 2. Let h = 113 + -7343/65. Which is bigger: g or h?
g
Let a = -70 + 90. Suppose -5*t - a = -15*t. Are -13 and t unequal?
True
Let g = -429 - -429. Is g at least -19/25?
True
Let t = 121 + -135. Is t at most 2/9?
True
Let p be (-2 - -1) + (-3 - -2). Let t be 3 - ((-206)/(-3) - -1). Let z = t - -66. Which is smaller: p or z?
p
Let o(w) = 41*w**2 - 4*w - 21. Let m be o(-3). Is m smaller than 359?
False
Suppose 3*r - 4*o - 79 = 0, -2*r + 4*o + 61 = 3. Let d be (-4)/14 + -38*12/r. Is -23 greater than or equal to d?
False
Let z = 149 - 148. Is 2/461 at most z?
True
Let o be 3/(-2)*1*(4 - 6). Suppose -o*p + 180 = 2*p. Is p bigger than 37?
False
Let w = 29.7 + -31. Let x = -1.3 - w. Which is smaller: -3/5 or x?
-3/5
Let b = 190703/8572 - -6/2143. Let g = b - 24. Is -3 not equal to g?
True
Suppose -3*p + 14 + 4 = 0. Let y(c) = -6*c + 2 + p - 1. Let n be y(4). Which is bigger: -16 or n?
-16
Suppose 5*g + 5*c + 9 = c, -2*c - 7 = 3*g. Let m = g + 9. Let v = 91/15 + -17/3. Is m at least v?
True
Let t be ((-15228)/(-180))/((-165)/(-50)). Which is smaller: 25 or t?
25
Suppose -5*u + 4*v - 308 = 0, -5*u - 317 = -v - 0*v. Which is greater: u or -66?
u
Suppose 2*x + 2 = -14. Let h be (51/(-9) - -6)/(16/24). Which is smaller: x or h?
x
Let k = -1.07 + -2.93. Is 12 > k?
True
Let j = -9014511 + 7391897991/820. Let r = j + 1/205. Is -1 at least r?
True
Suppose 133 = 5*l + 533. Which is bigger: -79 or l?
-79
Let o be (-5)/(3*(-4)/12). Let j(k) = -k - 1. Let m be j(o). Let d = -4 - m. Are -3 and d equal?
False
Let l(o) = -7*o + 21. Let g be l(5). Let j = g - -11. Which is smaller: -7 or j?
-7
Let s = -896 - -896.2. Let h = -0.88 + 0.08. Which is greater: h or s?
s
Let k be ((-405)/(-216))/((-1)/(-2)*-2). Is -3 at most as big as k?
True
Let q be 588/3597 + 3 + 105/(-33). Let t = -14065/41 - -6128199/17876. Let h = t + q. Is h not equal to -15?
True
Suppose 2*u + 3*v = -5, 3*u + 6 = 2*u - 5*v. Which is smaller: -3/106 or u?
u
Suppose 3*j - 297 - 558 = 0. Is 288 at least j?
True
Let r be (-3)/9 - (-8)/(-12). Let j be -5 - (3 + -7) - 5. Let k = -5 - j. Which is smaller: r or k?
r
Suppose -49 = 8*t - 65. Let m be ((-10)/(-7) - 0) + -2. Is m less than t?
True
Let g = 55 - 51.1. Let f = g + -1.9. Let d = 4 - f. Which is smaller: -0.1 or d?
-0.1
Let r(i) = i**3 + 4*i**2 - 3*i + 4. Let l be r(-5). Let n = 955 + -961. Is n at least as big as l?
True
Suppose 0 = 6*f - 10*f + 20. Let p be f/10*12/(-171). Which is smaller: p or 1?
p
Let n = 0.9 + 4.1. Let i = 1.3 - 7.3. Let c = n + i. Are -1 and c nonequal?
False
Suppose -27*y = -13*y - 322. Are y and 21 unequal?
True
Let u = -29 + 34. Let f(s) = -s**3 + 5*s**2 - 4*s + 3. Let h be f(u). Which is smaller: 0 or h?
h
Let m(w) = -w - 4. Let x = -14 - -42. Suppose j = 3*r + 12, 10*r - 5*r + x = -j. Let v be m(r). Which is greater: v or 1/27?
v
Let z = -35 + 21. Let q be (-5 + 8 + -5)/(1*-2). Let x be q/2*(-4)/z. Which is smaller: x or 1?
x
Let g = -27 - -26.15. Let i = g - -1.75. Which is greater: i or 2/5?
i
Let j(t) = -t + 20. Let x be j(-6). Suppose -x*n + 27*n = 0. Let f be (4/10)/((-3)/(-5)). Is n at most as big as f?
True
Suppose 2*s = g - 0*s - 19, 5*g = -s + 139. Suppose 130*t - 91*t - 975 = 0. Which is smaller: t or g?
t
Let t be 9 + -9 + -8 + 9. Which is greater: t or -3/212?
t
Suppose 5*r = l + 24, 2*l + 2*r + 3 = 3*r. Let n be (55/(-15) - -1)/(126/(-27)). Is n greater than l?
False
Supp