se
Let f be (-10)/(-15) - 97/(-3). Which is smaller: 31 or f?
31
Let g be -4 + 59/(-20) + 7. Is g smaller than 16?
True
Let i = 4 + 1. Let k = -268.9 - -269. Is k at least i?
False
Suppose -4*h + d = 17, 4*h + 3*d + 13 = -0*d. Let c = -7 - h. Let m = c + 5. Is 0 at least as big as m?
False
Suppose -4*x + 4*k + 2 = 22, 2*x - 25 = -5*k. Let i = -8 - 0. Are i and x equal?
False
Let t(r) = -r + 19. Let o be t(18). Let h be -3 - o - (4 - 34/8). Which is smaller: -4 or h?
-4
Let g = 56 + -53. Let v be (10 - g)*-1 + -5 + 2. Which is bigger: v or -11?
v
Let t(a) = 15*a + 14*a - 28*a. Let b be t(-4). Which is greater: b or -11?
b
Let a = -1415/4 - -15237/44. Which is bigger: a or -6?
-6
Suppose 10*h + 702 = -368. Which is bigger: -0.1 or h?
-0.1
Let j be ((-4)/10)/((-18)/50). Let b = -0.0035 + -0.0965. Which is greater: b or j?
j
Suppose 3*v + i = -4*i - 151, 5*v + 3*i + 273 = 0. Let t be (-23 - v)/(2/(-3)). Which is smaller: t or -49?
t
Suppose -4*w = -6*w - 36. Let b be 2/10*18/w. Which is smaller: b or 1?
b
Let v = -795 + 724. Are -65 and v nonequal?
True
Let d be (1 - (-6)/(-4)) + (-922)/(-12). Let l = 1157/15 - d. Let r be (-4 - -1)*(-2)/3. Which is bigger: l or r?
r
Let d be 3 + (2 - 19) - -1. Let g(x) = -x**3 + 2*x**2 + 6*x - 5. Let i be (14/5 - 2)*5. Let s be g(i). Is s at least as big as d?
True
Let b = 10.9 - 5.7. Let l = -5.4 + b. Which is smaller: -12 or l?
-12
Let l = -1595/4 - -403. Which is greater: 5 or l?
5
Suppose -t = -8*i + 4*i, 0 = -3*i. Let h(m) = -m**3 + m**2 - 7. Let f be h(t). Which is greater: f or -8?
f
Let x be -1 + -4 - (-706)/((-1)/1). Is x smaller than -711?
False
Let q = -191 - -208. Is 16 < q?
True
Suppose -6*u = -u. Suppose -3*o = -6*o. Let i(y) = y**3 + y. Let c be i(o). Is u equal to c?
True
Let l(o) = -o**2 - 2*o + 2. Let i be l(1). Let x = 0 + i. Let b be (6 - -2)/((-2)/x). Do b and 3 have different values?
True
Let f = 0.2 + -0.1. Let h = 2028 + -2015. Is f != h?
True
Suppose 0 = -2*w - 2*c, -9 = 5*c - 2*c. Is 23 less than w?
False
Let y(h) = -h**3 + h. Let w be y(1). Suppose 4*v - 3 = -4*x - v, 4 = -4*v. Let b be 12/(-30) + x/5. Is b at least as big as w?
True
Suppose f + 6 = -2*f. Let y be -4*(4*(-12)/8)/(2 + -8). Which is smaller: y or f?
y
Let w = -1 - 1. Suppose 5*i - 4*c - 18 = 0, -3*i + 3 = 2*c + 1. Suppose 5*r + i = 4*r. Is w at most r?
True
Suppose -60 - 17 = -11*r. Suppose -3*b - 2*a + 40 = 0, 2*a - r*a + 23 = 2*b. Suppose -2*t + 3*t - 13 = 0. Which is smaller: b or t?
t
Let b(n) = 45*n**2 + 19*n - 19. Let s be b(1). Let o be 34/(-4) - 2/4. Let v be o/s + 28/(-10). Which is greater: -4 or v?
v
Let u = 1087/19 - 57. Suppose -f = 4*f. Suppose -2*g - 5*j = 7, -4*j + f*j = -4*g. Which is greater: g or u?
u
Let o = -22 - 2. Let d = -28 - o. Do -1 and d have the same value?
False
Let i = 138.5 - 113.5. Do i and -0.03 have the same value?
False
Let j be 1/((-1)/3204*6). Does -534 = j?
True
Let l(o) = -o**2 + o + 3. Let t be (-30)/(-12)*6/5. Let d be l(t). Let i be 1/30*(-9)/d. Is 0 at least as big as i?
False
Let u = 455528/35 - 64424/5. Let j = u + -130. Is j greater than 50?
False
Let w be (10 - 2*1/(-2))*-1. Let x = 0 + w. Which is smaller: 1 or x?
x
Let i = -4095/17 + 241. Let h(r) = r**3 + 9*r**2 - 7*r + 4. Let o be h(-9). Let l = o + -68. Is l <= i?
True
Suppose 0 = 4*p - 2*v + 32, v + 16 = -2*p + 3*v. Let z be (17 + p)/((-3)/(-4)). Let b be z*((-5)/(-20) + 0). Is 0 smaller than b?
True
Let s = 0.0078 - 1.0078. Let w = -16.3 - -17. Which is greater: w or s?
w
Suppose 0 = 6*c + 4 - 40. Let o be 4/c*42/(-182). Is 1 at most as big as o?
False
Suppose 4*a - 4*v - 52 = 0, -4 = -4*a - 5*v + 30. Let l = -3 + 4. Which is smaller: a or l?
l
Suppose -291 = -16*i - 115. Let u be 1/1*1 - -26. Let y = -17 + u. Is i at least as big as y?
True
Let v = 58.066 - 58. Let x = v - 0.166. Do 30 and x have the same value?
False
Let w be 1 + -1 + (-8)/(-18). Suppose 12*m - 6*m = 6. Let k(q) = q**3 - 2*q**2 + 1. Let x be k(m). Which is smaller: x or w?
x
Let z = 47903/12 + -3995. Which is bigger: z or -4?
z
Let i = 2 + -4. Let y = 153 + -146. Is i bigger than y?
False
Let s = -4 - -17. Let g be 23/92 - 61/4. Let b = s + g. Which is smaller: b or -8?
-8
Let s = 1056 + -1491. Is -435 not equal to s?
False
Suppose 2*s + 2*s - 20 = 0. Let n = 755 + -756.964. Let i = 0.036 - n. Which is bigger: i or s?
s
Suppose 26*i - 36*i = -40. Which is greater: 36/11 or i?
i
Let r = -31 + -5. Let n = r + 902/25. Is 0 less than n?
True
Suppose 16 = -4*u + 4*g, 6*g + 4 = -2*u + 4*g. Let t(f) = 4*f**2 + 3*f - 3. Let n be t(-3). Let v be (u/(-14))/((-18)/n). Is -2/3 at most v?
True
Let p = -1/16673 + 21874981/83365. Let k = -1281/5 + p. Is 5 at most k?
True
Suppose 37*b - 40*b + 236 = 2*z, 2*z = -10. Is b < 250/3?
True
Let l = -0.77 + -0.23. Is l greater than or equal to -15?
True
Let k(j) = -18*j - 21. Let i be k(-4). Is 51 > i?
False
Let t = -5 + -3. Let z be 1/(-4) - 58/t. Suppose -x + 3 = -4. Is x greater than z?
False
Let b be 25/18 - (7 - 8). Let y = b - 8/9. Let v = 37 - 34. Which is smaller: y or v?
y
Let s be 6 - ((-258392)/(-28712) - -4) - -7. Which is greater: 1 or s?
1
Let i(l) = -l + 41. Let m be i(23). Let a be (-6)/m - (-46)/(-42). Which is smaller: a or 0?
a
Let y = 471 - 497. Let t(w) = -3*w**2 + 2. Let v be t(-3). Let i = y - v. Which is smaller: i or 0?
i
Let r be 2/5 - (-4)/(-10). Let n be ((-142)/639 - (-4)/(-9))*(-6)/16. Is r > n?
False
Let u = 13/57 + 2/19. Let f be (-146)/(-6) - 1/3. Suppose -4*d + 4*z = -0 + f, -4*d + 21 = 5*z. Is d not equal to u?
True
Suppose 0 = i + 1 + 1, -w = -3*i - 91. Which is bigger: 171/2 or w?
171/2
Let k(f) = -3*f**2 - 211*f - 284. Let z be k(-69). Is 0 at least as big as z?
True
Let f be ((-1)/(-1) - 4)/(87/(-5)). Which is smaller: f or 1?
f
Suppose -s + 10 = t, -5*s + 13 = -2. Which is smaller: 0.4 or t?
0.4
Suppose -15*d = -42*d - 1242. Are d and -44 equal?
False
Let y(i) = 67*i**2 - 7*i - 7. Let p be y(-2). Does 275 = p?
True
Let m = -12 + 15. Suppose q - 2*s = 2*s + 3, -2*q = -m*s - 16. Let w be (-256)/2376 - (-2)/q. Is 1 bigger than w?
True
Let g(b) = b**3 + 46*b**2 + 90*b + 86. Let q be g(-44). Are -6/5 and q nonequal?
True
Let l be (-1)/(-7)*3594/(-12). Let c = l - -85/2. Which is smaller: -15 or c?
-15
Let s = -264.94 + 265. Which is greater: 19 or s?
19
Suppose 3*p - 2*o - 3 = -10, 3*p = 3*o - 12. Let w = -730 + 5121/7. Is w != p?
True
Let r = -2718 - -1743. Are -976 and r nonequal?
True
Let k(q) be the third derivative of -q**6/120 - q**5/5 + 11*q**4/24 - 13*q**3/3 + 2*q**2. Let j be k(-13). Do j and 3/4 have the same value?
False
Suppose 16*t = -483 - 493. Which is bigger: -59 or t?
-59
Let t = -703/5 - -141. Let z = -22.6 + -0.4. Is z <= t?
True
Let r = 0.5 - 0.4. Let q = 2.56 - 2.09. Are q and r unequal?
True
Let f = 20 + -18. Let p be ((-32)/424)/(f + 0). Are -1 and p non-equal?
True
Let m = -0.2 + 0.21. Let a = -0.17 + m. Let o = 4.16 + a. Are o and 1 unequal?
True
Let j = 76.8 - 80.8. Do 1/2 and j have the same value?
False
Let t be (4/(-5))/((-2)/5). Let d = 13/1724 - 4963487/12068. Let z = 412 + d. Is z equal to t?
False
Let c be (-15)/(-9) + (-458)/(-6). Let j = c - 103. Which is greater: j or 1?
1
Suppose 42 = 2*r - 12. Let q = 13 - r. Let b be ((-40)/q)/(-2)*-14. Which is smaller: b or 21?
b
Let q(s) = -2*s + 8. Let r be q(9). Let b be -1 + (-1 - 24/r). Let w = 0.8 + -2.8. Which is smaller: w or b?
w
Let p(j) = 4*j + 45. Let x be p(-11). Suppose x = n + 5. Are -4 and n non-equal?
False
Let v = -848 + 848.1. Suppose -5*s + 0 = -10, 11 = 3*u + s. Which is smaller: u or v?
v
Let d be 66 - -2 - 9/(-3). Let y = d + -42. Are y and 29 non-equal?
False
Let w = -1.9302 - 0.0698. Does w = -3/44?
False
Suppose 0 = b - 6*b. Suppose -2*z - 6 = o, b*o - o = 4. Let n be 0/2 + (z - 0). Which is bigger: n or -7/6?
n
Let n(y) = -3*y**2 - y + 6. Let z be n(-4). Let c = z + 2548/67. Which is greater: c or 0?
c
Let d = -440 - -8362/19. Let q be -1*3/9*3. Which is smaller: d or q?
q
Let k(c) = 136*c - 398. Let u be k(3). Let j(o) = o**3 + 6*o**2 + 5*o - 2. Let g be j(-4). Is g at least as big as u?
True
Let z = 365/8 - 46. Let i be 31/4 + (-6)/(-24). Suppose 0 = i*s - 13*s. Is z equal to s?
False
Let z(m) = m**2 - m. Let a be z(1). Suppose -8 = -2*i - a*i. Let t be i - (4/12 - -4). Which is bi