rue
Let j = -5 - -5. Let d(m) = m - 7. Let f be d(j). Let b = -102 + 97. Is b at most as big as f?
False
Let h = -3939 - -2523. Are h and 1 unequal?
True
Let z(i) = -i**3 + 7*i**2 + 7*i - 5. Let o be z(8). Let v = o - -15. Suppose v*h - 3 = 3*c, 5*h - 5*c - 9 = 3*h. Is -3 < h?
False
Let p(o) = 2*o**2 - 37*o + 157. Let r be p(12). Is r not equal to -2/205?
True
Suppose -2*d + 5*p = 2, 4*p = 7*d - 3*d - 8. Let g be ((-2)/(-42))/(d/24). Is g at most -5?
False
Let t(v) = 2*v - 8. Let q be t(7). Suppose -2*o + 3*s = -4*o + 29, o - s - 2 = 0. Is q less than o?
True
Let r = -52 + 33. Let l = 10 + r. Let g = -671 + 1327/2. Which is greater: l or g?
g
Let p be (592/8584)/(((-58)/(-10))/(-1)). Which is smaller: 0 or p?
p
Let c = -11 + 16. Suppose 0 = 24*m - 0 - 144. Is c smaller than m?
True
Let p be ((-256)/576)/((-2)/3). Is p > 429?
False
Let z = 12 + -30. Let a = z + 9. Which is greater: -55/7 or a?
-55/7
Suppose 0 = 5*r - 2*r - 4*t + 3, t = 5*r - 12. Suppose -2 - r = -x + a, -3*x - 2*a = 10. Suppose x = 2*p + p - 3. Which is greater: p or -2/17?
p
Suppose 2*g - 3*g - 10 = -2*w, -4*g = 2*w + 40. Let y be (4/(-7))/(g/35). Let k be 55/30 + 6/(-9). Which is smaller: y or k?
k
Let u be 0*((-8)/(-12))/2. Suppose -2*o - 4*i - 10 = u, -2*o = i + 4*i + 13. Which is smaller: o or 7?
o
Suppose 20 = -5*t - 5*o, -3*t - 8 = 14*o - 15*o. Which is smaller: -0.2 or t?
t
Let r = -0.33 + -2.61. Let b = r - 0.06. Is b less than or equal to 8?
True
Let n = -15 + 11. Suppose 0 = -8*h - 70 + 22. Is n bigger than h?
True
Let x = 1/6536 + 18995/4006568. Which is smaller: x or -1?
-1
Let w be -5 - (-7)/(21/12). Let s = 72 + -73. Is s < w?
False
Let q = -450 + 455. Which is smaller: q or 31/8?
31/8
Let t be 0 + 27/9 + 45. Is t > 43?
True
Let j = 29/215 + -5357/25370. Is j less than -1?
False
Let c = -0.33 + 0.43. Let j(g) = g**3 - 6*g**2 - g + 8. Let w be j(6). Let q = w + -3. Is c at most as big as q?
False
Let k = 275 - 309. Is 2.3 != k?
True
Let k = -1.4 - -2.34. Let h = k - -0.14. Let p = -0.08 + h. Which is smaller: p or 0.01?
0.01
Suppose 5*t + 13 = -f, 9 = f - 4*f. Let y be ((-13)/t)/((-6)/(-24)). Is y > 27?
False
Let d be (-4)/(-6)*12/(-8)*-499. Is 499 equal to d?
True
Let u = -9.8 + 10.7. Suppose 2*j + w + 12 = -2*w, 0 = 2*j - 2*w - 8. Is j less than u?
True
Let o(f) = 34*f**3 + 2*f**2 - f. Let r be o(2). Does 276 = r?
False
Let q = -12 - -12. Is q >= 15?
False
Let k = -0.43 + 0.4. Let t = 540 + -542. Which is smaller: k or t?
t
Let p = 527/2640 + -2/165. Let l = -3362 - -3363. Is l at least as big as p?
True
Let z = -28 + 279/10. Let o = -2/5 + z. Let y be 2/(-10) + (-5)/(-975)*29. Which is smaller: o or y?
o
Let n = -8 + 12. Let k be (6/9)/(n/6). Let b be 5 - 2 - (-115)/(-35). Is b greater than k?
False
Let b be (207/6)/(-3)*-2. Let h = b + -27. Let o be 2 - h/(20/15). Which is smaller: o or 0.3?
0.3
Let n(u) = u**2 - 3*u - 1. Let b(i) = i**2 - i - 2. Let k be b(-2). Let m be n(k). Suppose w + m = 2*w. Is 5/3 at least w?
False
Let l = -110 + 96. Is l smaller than -4/9?
True
Let r be 188/(-126) - 4/18. Let w = -25 - -29. Suppose 16 = -12*x + w. Is r at least x?
False
Let h(l) = l**2 + 12*l + 10. Let z be h(-12). Suppose -4*g - z = g. Which is smaller: g or 2?
g
Let r be -3*(11/3 + -3). Let d be (r/5)/((-192)/59340). Let f = d + -123. Which is smaller: 0.1 or f?
0.1
Suppose 8*g = 270 - 278. Are g and 4/115 equal?
False
Let l(p) = 59*p**3 + 10*p + 9. Let d be l(-2). Is d greater than or equal to -484?
True
Suppose 0 = 4*v - 18 + 6. Suppose 2*o = 4, 3*y + v*o + 7 = 2*o. Is -1 less than or equal to y?
False
Let q be 3 + (-5)/(-10) + (-6)/(-4). Suppose -g + 0*g = -q*d + 8, 0 = -5*g - 2*d + 41. Is 7 at most g?
True
Let x = 19 - 9. Let a(y) = y**3 - 10*y**2 + y - 9. Let r be a(x). Let u be (-14)/(-6) - (5 - (-12)/(-4)). Is u not equal to r?
True
Let o be (4288/24)/((-66)/9). Which is smaller: o or -25?
-25
Let m = -147 - -1024/7. Let y = m - -39/35. Let u be (-28)/32 - 3/(-168)*-7. Is u less than y?
True
Suppose 45 = -r - 105. Let p be (-22)/33*r/4. Which is smaller: p or 26?
p
Suppose -c = -5*f + 10, 3*c = -4*f + 2*c + 17. Let z be 91/21 + (-1)/f. Let m(p) = 3*p - 5. Let w be m(z). Is 7 at least as big as w?
True
Let v = 2.7 - 2. Suppose 355*x + 8 = 351*x. Is x greater than v?
False
Suppose 6*a - 5*a = -2. Let z be 3 - 2*a/4*0. Is -3 greater than z?
False
Let i = -1278.01 - -1278. Let m = -0.4 + 1.4. Which is smaller: m or i?
i
Let n = 24084 + -15486009/643. Are n and 0 equal?
False
Suppose 3*m = o + 2 - 1, 9 = 3*m - 3*o. Let a(l) = l**3 - l**2 - 6*l - 4. Let s be a(4). Let v be (12/50)/((-6)/s). Which is bigger: v or m?
v
Let s = 0 + 0. Let t be (-8)/200*-15 - 1. Is t > s?
False
Let k be (1/((-18)/(-168)))/((-2)/(-6)). Let p = k - 35. Which is smaller: -9 or p?
-9
Let r = 965 + -6766/7. Let d(i) = -19*i + 400. Let s be d(21). Is r < s?
True
Let b(g) = 3*g**2 + 4*g + 4. Let n be b(-3). Which is greater: 20 or n?
20
Let k be 10/(7/((-21)/(-6))). Suppose -5*x + 16 = 2*m - 36, -m + 51 = k*x. Let r be (24/9)/(x/6). Is r < 1?
False
Let m = 50 - 48. Suppose 4*z - 4*g + 36 = 0, -m*z + z - 12 = -2*g. Is z bigger than 0.2?
False
Suppose -j + 4*a + 25 = 0, -59 + 19 = -3*j + 5*a. Suppose j*s - 3*s = 0. Do s and -3/7 have the same value?
False
Suppose -12*z + 32 - 116 = 0. Suppose -u - 4*s = -10, 2*u + 0*u - 8 = -4*s. Let f be (1/u)/(3/36). Which is greater: z or f?
f
Suppose 40 = -9*f + 13*f. Let o = -3.9 + 3.7. Does f = o?
False
Suppose -35*o + 44 - 9 = 0. Is 36/25 greater than or equal to o?
True
Let q be (-128)/(-22) - 10/(-55). Suppose -2*o + q*k + 4 = k, k = 2*o - 4. Suppose 4 = 3*l - o*l. Which is smaller: 5 or l?
l
Let i = 61 - 58. Suppose -1 = i*y + 2*s - 0, 2*s - 11 = y. Let w(h) = h**2 - 2. Let p be w(0). Which is smaller: y or p?
y
Let t be (200/24)/((-2)/(-6)). Let a be 3/5 + 10/t. Let f = -9.1 + 9. Which is bigger: f or a?
a
Let f = -65.9 - -66. Which is smaller: f or -92?
-92
Suppose -z = 3*r - 85, r - 19 - 4 = -3*z. Suppose 3*x = -2*h + 97, 2 = 4*x - 2*h - 104. Is x < r?
False
Let v = -0.245 + 0.345. Are 2/25 and v nonequal?
True
Let u be ((-1)/(0 - 2))/((-44)/88). Is -2/199 at most u?
False
Suppose 8*k - 33 = 5*k. Let j(h) = -h**3 - 19*h**2 - 18*h + 5. Let w be j(-18). Suppose 27 = n - w*r, r + 44 = 5*n - 19. Is k less than n?
True
Suppose 6*l = 5*l + 28. Let u be ((-2)/8)/((-7)/l). Which is smaller: u or -4/37?
-4/37
Let k = 429 + -274. Suppose 5*a - 40 = k. Is 40 greater than or equal to a?
True
Let v = 491.63 + -494. Let t = 0.37 + v. Is 17 at least as big as t?
True
Let t = -35.027 + 0.027. Let w = t + 35. Which is bigger: w or -3?
w
Suppose -6*z - 17342 = 23*z. Are z and -596 non-equal?
True
Let p(z) = -z**3 - 11*z**2 - 2*z + 14. Let n be p(-11). Suppose 2*y = -2*y - n. Let x = 13 + y. Do 4 and x have the same value?
True
Let o(k) = -k**3 + 2*k**2 - 6*k + 255. Let f be o(0). Which is bigger: 257 or f?
257
Let z(c) = c**3 + 5*c**2 - 4*c - 20. Let q be z(2). Let p be 41/117 - (-1)/(-3). Is q at least p?
False
Suppose -3*v + 6*v = 3*f - 42, v = 3*f - 36. Suppose -2*n + 2*c = 5 + 5, n - 5*c - f = 0. Let t = -9 - n. Which is bigger: -2/9 or t?
t
Suppose 2*n = 2*o + 242, -n + 109 = 2*o - 0. Suppose -107 = -5*b - n. Which is greater: 2/11 or b?
2/11
Let h be 74/6 - (-1)/(-3). Suppose 2*x + 35 = 9*x. Suppose -4*q + 6*q - 57 = -x*t, 0 = -5*t + 2*q + 53. Is h less than t?
False
Suppose -5*r + r + 2*f = 42, -5*r - 5*f - 30 = 0. Let t(d) = 4*d + 45. Let p be t(-13). Is p < r?
False
Suppose 11 + 513 = x. Are x and 524 unequal?
False
Let l = -1892/3 + 655. Let o(s) = 7*s**3 + 42*s**2 - s + 19. Let k be o(-6). Which is smaller: k or l?
l
Suppose 2*f = 793 - 183. Is 303 at least as big as f?
False
Let z be -2 + (-20)/(-4) + 0/1. Suppose 0 = 3*h + g - 2*g - 4, -z = -h + 2*g. Is h smaller than 2/29?
False
Let b(w) = -2*w**3 - 13*w**2 - 15*w + 3. Let g be b(-5). Suppose -k + 10*d - 5*d = 10, 4*d = g*k - 3. Which is smaller: 3 or k?
3
Let y(a) = a**2 + 27*a + 136. Let g be y(-6). Which is smaller: 14 or g?
g
Suppose -3*b + k + 2*k + 9 = 0, -5*k = 3*b + 23. Which is smaller: -12/95 or b?
b
Let o = -45 - -49. Let m be 56/3 - o/(-12). Is m at least as big as 18?
True
Let s = 9213 + -3252187/353. Which is smaller: s or -1?
-1
Let x = 4.4 - 4.445. Let p = x - 1.955. Let n = -396 - 