 at most as big as v?
True
Suppose -3*i = 10 + 23. Let a = 37 + 6. Suppose -5*u + 5*y = -u + a, u - 5*y = -7. Which is smaller: i or u?
u
Let i be (1 + (2 - 2))/1. Let u be i + -3 - 187/35. Let a = -57/7 - u. Which is greater: 0 or a?
0
Suppose 16*d + 63 = -3 + 2. Let s(m) = m**2 + 6*m + 4. Let c be s(-5). Is d at most c?
True
Let g = -0.2 - -0.26. Let t = -0.15 + g. Let l = t - 0.01. Is l < 7/4?
True
Suppose q = -5*q - 192. Does -35 = q?
False
Suppose -3*i = 5*y + 59 + 2, -2*i = -6. Let b be 1*(-2 - -1 - y). Suppose 4*f - 20 = -4*d, -5 = -2*d - 4*f + b. Is 0 equal to d?
False
Let w be (-3)/2 + (-20)/(-24). Which is bigger: -6 or w?
w
Let r = -129 - -190. Is 63 > r?
True
Let f be 3 - 50*5/(-10). Let x = -13 + f. Suppose 5*m - 10 = -j - j, -3*j = -x. Are m and 5 non-equal?
True
Let i(b) be the second derivative of b**3/6 - 5*b**2/2 + b. Let s be i(-4). Let q = -11 - s. Is -2 at most as big as q?
True
Let o(l) = 22*l**3 + 5*l**2 + 4*l - 2. Let q(j) = -j**2 - j. Let s(k) = o(k) + 5*q(k). Let g be s(-1). Let a be (-3 + 3 - g) + -2. Are 21 and a nonequal?
False
Let n = -352 - -397. Do n and 324/7 have different values?
True
Let g(x) = -125*x + 245. Let m be g(2). Is m at least as big as -49?
True
Let w be 870/330 + -1 + -2. Let q(l) = l - 2. Let r be q(4). Suppose -2*a + 8 = -r*u, -2*u + 4*u + 3 = a. Which is smaller: w or u?
w
Let l = 9408/17 - 553. Are -1/4 and l nonequal?
True
Suppose 60*f = -5*c + 57*f + 5, -3*c = 5*f - 19. Do c and 91 have different values?
True
Let v be (4/10)/((-9)/3). Suppose 0 = -5*x - 4*y, 27*x - 26*x + y = 0. Which is bigger: x or v?
x
Let r = 47 + -25. Let g = r + -33. Is g <= -12?
False
Let l(a) = -2*a**2 - a - 1. Let s(t) = -t**2 + 14*t - 1. Let h be s(14). Let m be l(h). Let w be (m/6)/((-5)/15). Is -2/5 < w?
True
Let o(a) = -9*a - 27. Let h be 88/(-12) - 6/9. Let b be o(h). Is 44 smaller than b?
True
Let h(j) = 18*j - 37. Let d be h(2). Which is smaller: d or -36/79?
d
Suppose 4*p + 3*j + 43 + 28 = 0, -p = j + 19. Suppose 0 = 47*r - 124*r - 1386. Is r not equal to p?
True
Let q = 3.93 + -6.93. Let k = -0.8 + 3.8. Which is greater: q or k?
k
Let h = -18 + 92. Let a = h - 147/2. Which is bigger: a or 1?
1
Let i = -1712681/522 - -3281. Do 1 and i have the same value?
False
Suppose 0 = 3*s - 3*d + 24, -3*s - d + 3 = 23. Is -7 less than or equal to s?
True
Let s(w) = 31*w. Let l be s(-1). Which is greater: -35 or l?
l
Let x = 1/21 + 9/7. Let l = 6687 - 6685. Which is smaller: x or l?
x
Let j = -503 + 341. Is j at least -161?
False
Let n = -0.0739 - -36.0739. Which is smaller: n or 2/11?
2/11
Let k = -133/2 + 47. Is -21 smaller than k?
True
Let d be 0 + (12/8 - 2). Suppose -160 + 13 = -3*s. Are d and s non-equal?
True
Let c = 2 - 0. Let r = 0 + 2. Suppose -r*i - 60 = c*i. Is i smaller than -13?
True
Let k = -6.12 - -5.02. Is k at least as big as -2/9?
False
Let p be (-1)/2 - (14 + 55/(-4)). Let v be 2/6 - (-3)/45. Which is smaller: p or v?
p
Suppose -26*h = -31*h + 10. Let p be (h + 0)*-3*196/(-42). Which is smaller: p or 30?
p
Suppose -k - 7*k = 16. Which is smaller: k or -0.25?
k
Let m(g) = -g**3 + 7*g**2 + 23*g + 2. Let t be m(-3). Is -8/3 at least t?
False
Suppose -2*d + 6*d = 3*c + 2016, -5*c = 5*d - 2485. Are d and 501 equal?
True
Let v = -133 + 132. Let w = -15719/79 + 199. Which is smaller: v or w?
v
Suppose -4*o - v - 339 = 0, -2*o - 4*v = -o + 96. Let b = 32 + -116. Is b greater than o?
False
Let u(f) = f**3 - 7*f**2 + 3. Let b be u(7). Let s be (8/(-1))/(3/3 - b). Is 4 > s?
False
Suppose 4 - 12 = -4*t, 0 = -4*y + t - 286. Let z = -53 - y. Is 18 equal to z?
True
Let r be 39578/(-3451) + 12 - (-4)/(-34). Do r and -1 have the same value?
False
Suppose -3*m + m - 3*n = 79, -3*m = 3*n + 117. Let l be (1 - 1292724/(-20))/m. Let t = l - -1701. Is -1 < t?
True
Let c(y) = y**3 - 5*y**2 + 3*y + 5. Let r be c(4). Let x be (r - 5)/(16/88). Let s = x + 25. Is s at most 3?
True
Let q be ((-10)/16)/(100/(-800)). Is 168/31 < q?
False
Suppose -3*l - 679 = -5*x, -l = 6*x - 4*x + 219. Is -224 less than or equal to l?
True
Let c = -2703 + 2658.98. Let x = c + 44. Is x equal to -2/7?
False
Suppose -4*k + 2*q - 22 = 0, -5*q + 10 = -5*k - 30. Is k greater than or equal to -3?
True
Let x be (80/145 - 2)*1. Which is smaller: x or 0?
x
Let g = 857 - -439. Is g >= 1296?
True
Suppose -v + 4 = -f, 2*f + 17 = 4*v + v. Let i be 2*f*2*11/(-2222). Is i < 1?
True
Let h = 8 + -5. Suppose -15 = -5*v + 5*b, h*v - 4*b + 0 = 9. Let k be ((-1)/v)/((-5)/(-75)). Is k bigger than -6?
True
Let f = 20 + -15. Let m = f + 13. Let w = m - 17. Do w and -8 have the same value?
False
Suppose 5*b + 0*i = 2*i + 263, 5*b + 4*i = 269. Let j = 53 + -1. Which is greater: j or b?
b
Let g = -18 - -44. Let u = 29 - g. Suppose -2*w - 3*n = -w - 8, u*n = -3*w + 12. Is -1 <= w?
True
Suppose -18 = -4*w + b, -5*b + 13 = 5*w + 3. Suppose 5*i = -3*d - 32, -w*d - 24 = i - 4. Suppose -5*g = 4*y + 9, 5 = y + 1. Which is smaller: g or i?
g
Let a = -155/14 + 60/7. Let t = 1019/184 + -45/8. Which is greater: a or t?
t
Suppose 6*n = 3*n + 3. Let r be (7 + (n - 4))*2. Let k(b) = b**3 - 7*b**2 - 8*b. Let v be k(r). Which is smaller: v or -1?
-1
Suppose 4*k + 6 - 18 = 4*q, 0 = 5*k - 15. Are q and 2/1811 equal?
False
Let j = -12494/69 + 541/3. Is j < -2?
False
Suppose 10 = 5*i - 0. Suppose -i*d = 2*d + 4, 86 = 4*t - 2*d. Suppose -2*u + t - 3 = 0. Are 8 and u unequal?
True
Let p = -284 - -283.61. Let s = -5.9 + 6. Which is smaller: s or p?
p
Let w = 411/2822 + 2/1411. Which is greater: w or 0?
w
Suppose -2*l = -7*l - 30. Let z = 2 - l. Let c = z - 8. Which is bigger: c or -3/10?
c
Let s = -57 - -97. Let p = -41 + s. Is p equal to -7/15?
False
Let g be 3/(-5) + 69/15. Suppose 2*r - g*r = 0. Which is smaller: r or -1/12?
-1/12
Suppose -1105 = 40*p - 105*p. Let i = -8051/4 + 2029. Do i and p have different values?
True
Let t = 1434 - 1435. Are -575 and t equal?
False
Let q be 145/(-10)*(-18)/45. Which is smaller: -1/2 or q?
-1/2
Suppose 5*w - 14 = 3*y, y = 2*w - 2 - 3. Let l be ((-4)/5)/(6/(-15)). Let i be 2 - l/(-4)*-2. Is w at least as big as i?
True
Let i(c) = c**2 - 6*c - 6. Let w(r) = r**3 + 8*r**2 - r - 3. Let t be w(-8). Let a be i(t). Suppose 2*y + 3*y = -60. Is a >= y?
True
Let h(y) = 31*y - 10. Let a be h(0). Which is bigger: 18 or a?
18
Let d = 9877 - 9877. Let z = -3 + 0.5. Let s = 11.5 - z. Which is smaller: s or d?
d
Let r = -15 - -76. Let c = r + -60.89. Is c less than 2/5?
True
Suppose -5*k - 18 = o + 2*o, -6 = -2*k. Let n(h) = h**3 + 12*h**2 + 11*h + 6. Let b be n(o). Let c = -0.23 + -0.07. Which is greater: c or b?
b
Let q = -7418171/33 - -225148. Suppose 0*o + o = -355. Let g = q + o. Which is smaller: g or 0?
g
Let m be -9 - 8/((-16)/18). Which is smaller: m or -1/300?
-1/300
Let x(o) = 102*o - 7. Let s be x(13). Are s and 1318 nonequal?
True
Let x be (2/6)/(-4 - (-1519)/378). Suppose 10 + 1 = -g - 2*k, -4*k - x = -2*g. Is g less than -1/4?
True
Let y be 149*(-8)/80 + 4/10. Suppose -4 + 46 = -3*g. Which is greater: y or g?
g
Let m = -3.14 + 4.1. Let z = -0.14 - m. Which is smaller: 1 or z?
z
Suppose -v = 3*a - 142, 3*v + 5 = a - 59. Is 48 smaller than a?
True
Let a be 358*-3*5/60. Which is greater: a or -90?
a
Let a = 0.0439 - 0.0439. Let w = -10 + 12.4. Does w = a?
False
Let y = 144/385 + 2/77. Is -0.11 at most y?
True
Suppose -u = -6*u - 5. Suppose 9*g - 11*g - 10 = 0. Which is smaller: g or u?
g
Let l be (-176)/(-66)*(-3 + (-68)/(-16)). Which is bigger: -2 or l?
l
Let d = -10 - -70/9. Which is greater: -2 or d?
-2
Let t = -55165106/365655 + -3/24377. Let d = -151 - t. Which is smaller: d or 0?
d
Let v(q) = q**2 + 4*q - 4. Let l be v(-4). Let t be (-195)/(-10) - 2/l. Let z be t/(-50) + 12/5. Is z at most 1/4?
False
Let u = -75.75 - -76. Let j = -0.35 + u. Which is bigger: -55 or j?
j
Let s be (315/1134)/(1/(-2)). Is -2 at most s?
True
Let m(z) = 16*z**3 + 12*z**2 - z. Let j be m(-2). Is j > 3?
False
Let r(s) = -s**2 + 12*s - 27. Let l be r(13). Let u be (1/7)/(8/l). Which is greater: u or -1?
u
Suppose 0 = 5*o + 6 + 4. Suppose -5*k + 8 = -5*v - 3*k, -2*v + 4*k - 16 = 0. Suppose -3*p = -v*p. Which is greater: p or o?
p
Let j(b) = -4*b**3 + 2*b**2 + 2*b - 11. Let l(r) = 5*r**3 - r**2 - r + 12. Let w(g) = 6*j(g) + 5*l(g). Let d be w(-6). Does -13 = d?
False
Let s be 1