er: 1 or p?
p
Suppose -45*g - 77 = 148. Is -20 at least as big as g?
False
Let g = -113 - -111.4. Let j = -46 + 47.64. Let b = g + j. Which is smaller: 1 or b?
b
Let s = -35672540/320634083 + -58/130711. Let z = s - 446774/831567. Let i = 2/113 - z. Is -0.09 < i?
True
Let s(j) = 2*j**2 - 2*j - 4. Let o be s(3). Suppose -o*n = -11*n - 12. Let a be -4 + ((-2)/(-21) - n). Are a and 1 equal?
False
Suppose -4*p - 76 = -408. Let h = -3329/39 + -11/78. Let w = h + p. Are -4 and w nonequal?
True
Let n = -113.138 + 113. Let p = n + 0.188. Is p smaller than 2?
True
Let l = 24 + -18. Let z(v) = 127*v - 4. Let o be z(l). Let n = o - 25012/33. Which is greater: -1 or n?
n
Let l be (-3)/((54/(-4))/(-9)). Let m be l/(-3) + (-66)/(-9). Which is bigger: 7 or m?
m
Let r be 3538/(-183) + (-4)/(-3). Is r at least -9?
False
Suppose -38 = 5*r + 22. Let c be ((-2)/(-8))/((-3)/r). Which is smaller: -1/43 or c?
-1/43
Let g be -138*(38/(-6) + 7). Is 1 <= g?
False
Let d be ((-1080)/(-14))/2 - (-186)/434. Which is smaller: d or 504/13?
504/13
Let f be (-2 + 3 + -1)/1. Suppose f = -4*o + o - 3. Suppose 10*i - 33*i - 5 = -5. Which is smaller: o or i?
o
Let s = 0.156 - -0.014. Let g = -14 + 13. Which is greater: g or s?
s
Let c(j) = j + 6. Suppose 0 = -5*h - q - 27, 4*h - 3*q - q + 36 = 0. Let k be c(h). Suppose k = -0*d - 6*d + 12. Which is smaller: d or 16/5?
d
Suppose -11 = 352*r - 363*r. Which is smaller: -4/69 or r?
-4/69
Let h = 241 + -238. Let d be (-1 + 2)/1 - -3. Suppose d*i = -3*b + 17, -h*i = 4*b + 1 - 12. Is b < -3/4?
True
Let w = -0.1 + 0.2. Let s = 8 + -4. Let n be (s/1)/(6/21). Which is smaller: n or w?
w
Let a be -6 - 764/(-760)*6. Is 0 smaller than a?
True
Let s = -53.65 - -54. Which is greater: 3 or s?
3
Let l be (-137)/(-20) - (-1)/(-4). Suppose -5*m = -0*m + 2*g - 235, -4*m - g + 191 = 0. Let j = 57 - m. Which is smaller: l or j?
l
Let m = 1 - 2. Let c = -162 + 2429/15. Which is greater: c or m?
c
Let g(o) be the second derivative of o**4/6 - 2*o**3 + 31*o**2/2 - 14*o. Let m be g(7). Is 45 equal to m?
True
Suppose -6*y + 80 = -y. Suppose 4*z = -4 + y. Suppose 4*v + 8 = -m, 0 = 2*m - v - 5 + z. Is m bigger than 1/16?
False
Let p = 1473.03 + -1455. Let g = p + -18. Let t be 2/6 + (-4)/(-6). Is t greater than g?
True
Let h be ((-340)/36 - 1) + -2. Let v = h + 38/3. Does 0 = v?
False
Let m = -2 - 0. Let q = -3 - m. Does -3 = q?
False
Suppose -3 = -z + 1. Suppose d + 5*v = 3*d + 15, d + v = 3. Let m be 5 + d - -1 - z. Is -6 at least m?
False
Let x = 50 - 46. Let k be (-4*2 - -3) + x. Do -14/13 and k have different values?
True
Let v(u) = 79*u - 21. Let x be v(-3). Does x = -260?
False
Let g(m) = -m - 5. Let n be g(-4). Let p be (-1)/(-15) - 2/5. Which is bigger: p or n?
p
Let r be 1*(1 + 0)*-40. Suppose 0 = 11*u + 74*u - 85. Is r smaller than u?
True
Suppose 4*z + 0*v + 8 = -5*v, -3*v - 12 = 0. Suppose 0 = x - 0*x - 2*u - 4, -8 = -z*x + 2*u. Which is smaller: x or 7/5?
7/5
Let d = -11 + 21. Suppose d*p = 8*p + 12. Which is smaller: p or 4?
4
Let n = -27 + 22. Let d(v) = -3*v - 13. Let h be d(n). Which is bigger: h or 0?
h
Let a(c) = -2*c + 14. Let p be a(5). Suppose 0 = -4*o - p*k - 32, 0*o = o + 4*k + 17. Is o greater than or equal to -6?
True
Let c = -7 + 6. Let r be (8 + -4)*c + -20. Which is smaller: r or -23?
r
Let q be 1 + 4/6 + 29/(-3). Is -14 < q?
True
Let u = -1630 + 2368. Is 2/3 smaller than u?
True
Let k = -88 + 104. Suppose -14*h = -k*h + 2. Which is smaller: h or -2/91?
-2/91
Suppose 107*a + 3*i - 3 = 106*a, -4*a + 1 = i. Let g = 113 - 3953/35. Is g > a?
True
Let z be ((-58)/(-8))/((-1)/(-4)). Suppose -6*i + 4*u = -196, i + 9*u - 49 = 12*u. Which is smaller: i or z?
i
Let a(x) = -24*x**3 - x**2 - x. Let z be a(-1). Suppose -2*f - p + z = 2*f, 5*p = -4*f + 40. Suppose f*y = -y - 72. Do -13 and y have different values?
True
Let l = -1 + 1. Let y be (-23338)/(-2142) - 1/3. Let p = y + -94/9. Which is smaller: p or l?
l
Let h be (-1117)/223 + -14 + 6 + 13. Is 1 > h?
True
Let t = -3/403 - -1771/21359. Let z = 1/706968 + -123013333/636978168. Let k = z + t. Do 0.1 and k have the same value?
False
Let i(x) = -x**2 - 3*x + 3. Let v be i(-3). Let u be v/5 - 340/25. Are u and -14 non-equal?
True
Let m = -1601.97 + 1602. Is -16/3 not equal to m?
True
Let n be 4/26 - (-160)/(-26). Let m(u) = -u**2 - 10*u - 9. Let y be m(n). Which is greater: 13 or y?
y
Let g = -119/3 - -1072/27. Do -25 and g have different values?
True
Let x be (-4 - (1 + -2))*18/(-6). Let p be (1 - x/6)*0 - 49. Is -49 at least p?
True
Let a be 4 + (0 - 44/(-12))*-1. Let k(i) = 3*i - 8. Let b be k(4). Let v = b + -4. Which is smaller: v or a?
v
Let h = -86.5 - -86. Let u = 3 - 3.1. Let g = h + u. Which is smaller: -0.2 or g?
g
Let s = -12.44 - 0.26. Let a = s - -12.8. Which is bigger: 23 or a?
23
Let s = -4.8 - -4. Let z = 1 + s. Let h = z - 0.2. Is -2 less than h?
True
Suppose 15*t - 6 = -3*w, 3*t - 7*w + 6 = -10*w. Let o = 1307/9 - 145. Which is greater: o or t?
t
Let l(j) = j - 15. Let w be l(0). Let i = 1073 + -1088. Is w < i?
False
Suppose 9*v + 193 = -275. Is -51 less than or equal to v?
False
Let f(u) = -7*u + 1. Let r be f(1). Let q(a) = 2*a**2 - 22*a - 57. Let n be q(13). Which is smaller: n or r?
r
Let s(b) = -b**2 + 12 + 9*b + 5 + 2. Let a be s(9). Is a smaller than 20?
True
Let z be -3 - (-10 + (-153)/(-17)). Let s(n) = n**3 + 2*n**2 + n + 2. Let d be s(-2). Suppose -m + 3*c = 0, -2*m + m - c = d. Which is smaller: z or m?
z
Let b = -181 + 180. Which is greater: b or 205?
205
Let o = -855 + 384. Do o and -471 have different values?
False
Suppose 13 - 3 = 2*a, 0 = r - a - 40. Let d be -5 + r/10 + 0. Are -1 and d equal?
False
Let a be (-42)/3 - -7 - -8. Let f be (-40)/(-19) - (2 - 0). Which is greater: f or a?
a
Suppose -5*o = -4*z + 15, -25 = -0*z - 5*z. Suppose s - 4 - o = 0. Suppose 0 = s*c - 0*c + 25. Is -2 at least c?
True
Let o = 48098/7 - 6890. Which is bigger: -18 or o?
-18
Let o = -15.9 - 59.1. Let q = -53 - o. Let g = q - 20. Which is greater: -3 or g?
g
Let f(k) be the third derivative of -17*k**6/120 - k**3/6 + 4*k**2. Let z be f(1). Let l be 1/(-3) + 3/z. Is -1 less than l?
True
Let y = -177 + 172.27. Let m = 4.6 + y. Is m at most as big as 2?
True
Let s be (-11)/(-22) - 1280/(-93). Let t = -85/6 + s. Which is greater: -0.1 or t?
t
Let o(y) = -2*y - 4 + 3*y + y**2 + 2*y. Let r be o(-4). Let l = 1898 + -30369/16. Which is smaller: l or r?
l
Let o = 101 - -793. Let j be o/30 + (-3)/(-15). Is j < 29?
False
Let j be (-3)/(-10)*-5*4. Which is greater: -32/5 or j?
j
Let k = -385 + 386. Which is smaller: -3 or k?
-3
Let p be 2*(-1)/3*1718850/2050. Let j = p + 559. Which is smaller: 1 or j?
j
Let k = -421/8925 + 11/175. Which is smaller: k or 0?
0
Let k = 1.3 + -4.3. Let h = k - 1. Is 0.2 greater than h?
True
Let m be (-8)/(-2) - 10242/2562. Let n = m + -35/61. Which is bigger: n or -2?
n
Let n = 3 + -5. Let p(r) = -r**2 + 9*r - 14. Let y be p(7). Suppose y = 4*x - o + 12, 4*x - 5 - 7 = -5*o. Is x at most as big as n?
True
Suppose -20 = -4*s, -5*f - 5*s + 78 = 233. Which is bigger: -37 or f?
f
Let r = 92/277 + 1/831. Is 410 <= r?
False
Suppose -t + 3*b = 4*b - 1, -27 = -2*t + 3*b. Is t less than 26?
True
Let i = 40 - 38. Let d be (50/440)/(i/24). Which is greater: 2 or d?
2
Suppose 3*t = 4*t + 9. Do t and -12 have the same value?
False
Let d = 21 - 12. Let h = d + -8. Let p be 2/10*25/(-10). Which is greater: p or h?
h
Let d be -3*(-6)/(-9) + 7. Suppose -d*i + 10 = 5*v - 10, i - v = 4. Suppose -h - j - i = h, -5*h = -j + 3. Which is bigger: -1/11 or h?
-1/11
Let y be ((-126)/12)/(3/(-6)). Let p be 0*(y/6)/7. Let n = 0.05 - 3.05. Which is greater: p or n?
p
Suppose q + 5*v - 4 = -0*v, q = -v. Let t = 470/7 + -67. Which is greater: q or t?
t
Let s = -47.08 - -1.08. Let p = s - -46. Which is smaller: -60 or p?
-60
Let t = 472916/73 + -6478. Is 0 bigger than t?
False
Let w(b) = -b**2 + 8*b - 7. Let l be w(7). Let r = 1 + l. Let k = -3 + 5. Is k < r?
False
Let k(w) be the first derivative of -w**3/3 - 7*w**2/2 - 5*w + 5. Let t be k(-5). Suppose 2*l - t = -5*v - 3*l, -3*v = -5*l + 5. Is 2/13 equal to v?
False
Suppose 30 = -7*b - 12. Let y(d) = 2*d**3 + d**2 - 2*d. Let r be y(-2). Let t = r - -3. Which is smaller: t or b?
b
Let t be 3454/77 - (-3)/21. Which is smaller: 44 or t?
