t z be (-1 - 282/(-7)) + 40/(-140). Which is bigger: z or 7?
z
Let a(u) = u**3 + 7*u**2 + 5*u - 4. Let k be a(-6). Suppose -2*w - k = -0*w. Is w greater than or equal to 5/11?
False
Let k = 51 + -53. Let n = k + -3. Are -1 and n unequal?
True
Suppose -10 = -0*y - 2*y. Suppose -y*x = -5*v + 220, -4*x - v = 2*v + 176. Let g = x - -221/5. Is -1 less than or equal to g?
True
Let v(w) = 4*w - 14. Let d be v(4). Suppose d = -l - 4*u - 0*u, 8 = 2*l + 2*u. Is 5 less than l?
True
Let b(d) = -17*d**3 - 172*d**2 - 8*d - 6. Let h be b(-10). Which is bigger: -125 or h?
-125
Let y = 21 - 29.5. Let z = 4 - y. Let p = 12 - z. Which is greater: p or 1/2?
1/2
Let o = 0 + 9. Let p = o - 9. Let w = -3 + 2.8. Do w and p have different values?
True
Let y = -152.95 + 153. Which is greater: y or -0.4?
y
Let m be ((-6)/(-3) - -1) + 4. Let t(c) = c**2 - 8*c + 8. Let a be t(m). Does a = -5/24?
False
Let a(g) = -100*g - 34. Let x be a(6). Is -632 greater than x?
True
Let b = -16048/19 - -844. Which is bigger: -2 or b?
b
Suppose 0 = -5*f - 9*f + 336. Are 119/5 and f non-equal?
True
Let c(f) = 4*f**2 - 12*f - 13. Let p be c(-3). Suppose 6*z = 2*z - 328. Let v = z + p. Which is greater: v or -22?
-22
Let g be 83088/117 - (-6)/(-39). Let b = g + -23428/33. Does b = 1?
False
Let d(u) = -u**2 + 6*u - 9. Let s be d(6). Let p(w) = 12*w - 142. Let q be p(13). Let l = q + s. Are l and 4 non-equal?
True
Let t = 591 - 339. Let c be 1 + 3 + (-784)/t. Which is smaller: c or 2?
c
Let k = 28.52 + -28. Let x = k + -0.02. Let f = x + -0.7. Is f >= -2?
True
Let q = 386 + -385.82. Is q bigger than -9?
True
Let h(u) = u + 1 + 3*u**3 + 6*u**3 + 0*u. Let w be h(-1). Let t(m) = m**2 + 5*m - 15. Let c be t(-6). Is c smaller than w?
False
Let h = 11 - 39. Is 2/7 at most h?
False
Suppose 5*b - 52 = 4*b + n, 2*b - 116 = -4*n. Let f = -21 + b. Does f = 34?
False
Let c(i) = -5*i + 3. Let z be c(6). Let d = -7 - z. Let b = 13 - d. Which is bigger: b or -6?
-6
Let o = 0.5 + -0.3. Suppose -3*d - 3*c + 6 = 0, -7*d + 4*c = -4*d - 13. Let y be -4 + 95/85 + d. Which is greater: o or y?
o
Let b = -47/3 + 97/6. Is b at least 1315?
False
Let n(c) = 6*c**2 + c. Suppose 5*y + 14 = 3*m, 0 = -2*y - m - 4 + 5. Let v be n(y). Suppose -10 = -3*w + a, -3*w + v*a = a - 22. Which is greater: -5 or w?
w
Suppose 0*c = 4*c + 24. Let f be (-2)/(-6)*c/(-28). Let p = 0.07473 - -0.02527. Is f greater than p?
False
Let w = 221.7 - 218. Which is bigger: w or -1/4?
w
Let o = -327 - -2619/8. Suppose n = -0*n + 1. Which is bigger: o or n?
n
Suppose -4*d + 0*d = 8, -c + 3*d = -6. Suppose c + 4 = -4*f. Let i be f/((-3)/3*3). Which is bigger: i or -2?
i
Let r be (-1)/4*-20*-3. Let m(d) = -3*d**2 + 6*d + 2. Let g be m(5). Let t be (g/r - 3)*12. Which is smaller: -2 or t?
-2
Let z = -1.4 - -0.4. Let l = 10 - z. Let b = 21 - l. Is 0.1 less than b?
True
Let z = 0.003 - -1.497. Let x = 0.4 - 1.4. Is x greater than z?
False
Let n(q) = -q**2 + 6*q - 2. Let p be n(5). Suppose -9*s + 62 + 154 = 0. Suppose 0 = -0*y - 4*y + s. Are p and y nonequal?
True
Let a = 1/10524 - -1357589/73668. Which is bigger: a or 18?
a
Let s = -0.1 - 1.7. Let h = s + -2.2. Which is smaller: h or -3?
h
Suppose -u = -3*y + 13, 0*y + 4*y = -5*u + 30. Let w be -9 + y/((-15)/(-6)). Are -1 and w non-equal?
True
Suppose -7*d = -3*d - 4. Let v(i) = -i**2 - 4*i - 1. Let c be v(-4). Let t be 1*(c - (-12)/9). Which is bigger: t or d?
d
Let y be (-2)/(-6)*((-4)/1 - -1). Suppose 2*n - 3 = 1. Let m be n + (0 - (y + 1)). Do 2 and m have the same value?
True
Let o = -566.9 + 556.9. Let z(w) = -3*w**3 + 3*w**3 + 7 + 6*w**2 + w**3 - 6*w. Let p be z(-7). Which is smaller: p or o?
o
Let v = 393 + -118. Is 274 > v?
False
Suppose w = 3*d + 406, -2*d - 6*w - 269 = -5*w. Is -6 greater than or equal to d?
True
Let j be (-16)/72 - (-2919)/54. Which is smaller: j or 55?
j
Let s be 2/9*(-40935)/(-20). Let l = s - 456. Which is smaller: -1 or l?
l
Let o = 280 - 6161/22. Which is greater: o or 0?
0
Suppose -5*b + n + 21 = 3*n, -n = -5*b + 27. Let g be (-40)/(-2) + -5 + b. Which is smaller: g or 0.1?
0.1
Suppose 689 + 851 = 14*w. Let n be ((-12)/w)/((-12)/90). Do n and 0 have the same value?
False
Let t = 70468 - 280479/4. Let g = 346 - t. Let c be 2/4*(-1 - 1). Is c bigger than g?
True
Let x = -2/271 + -249/2981. Let y = -11 + 12. Are y and x equal?
False
Let n be 3/(-2) + (-854)/(-244). Is n equal to 58/31?
False
Let f be (-280)/105*(45/116)/(-5). Is f less than -1?
False
Let u be -1 + 0/(-1*1). Let l be 1*3 + (-5 - -2) + 3. Let y be 6/(-45) - (-1252)/390 - l. Is y > u?
True
Let v(g) = 11*g**2 - 8 - 5*g + 2*g**2 - 12*g**2. Let x be v(5). Which is greater: -7 or x?
-7
Suppose -2*r - 31 = r + 5*h, -h = 4*r + 13. Let m be (77/(-33))/(r/(-12)). Is -12 < m?
False
Suppose -4*o = 2*j - 4, o - 5*o = 3*j - 10. Let z be 1/j*(-2 + (-30)/12). Let k = -0.3 + 0.4. Is z greater than k?
False
Suppose 9 = -w - 20. Let x be (-1)/(w/(-2) + 1). Let f = 143 + -143. Which is smaller: x or f?
x
Suppose 2*t - 7*t + 45 = 0. Let d = t + -6. Suppose -1 + 0 = d*g + i, -g - 4*i = -18. Is -1/3 bigger than g?
True
Suppose w + 3*w - 24 = 0. Suppose -k + 0 = -2*a - w, 0 = -2*k + 3*a + 11. Let t be (-16)/(-140) + (-4)/(-14). Is k less than t?
False
Let y = 0.9282 - 57.4382. Let b = y + 58.9. Let x = b - 2.4. Which is smaller: x or 2/11?
x
Suppose 0 = -2*a + 10, -2*t - 2*t - 3*a = -27. Let v be 3/7 + 0 + t - 2. Is 0 less than v?
True
Let q = 20 - 25. Let z be (q/60)/(17/(-8)). Which is smaller: z or 0?
0
Let c = -98 + 95. Let j be (27/(-6))/(c/32). Is 49 >= j?
True
Suppose -10*h + 25*h - 90 = 0. Is -58 less than or equal to h?
True
Let a = 244 - 246. Which is greater: a or 64?
64
Suppose 227*s = 225*s - 634. Which is greater: s or -1?
-1
Let v = -0.0386 - -5.0386. Which is greater: v or 3/16?
v
Let x = -1.4 + 1.3. Let r(z) = 9*z**3 - z**2 + z + 1. Let s be r(-1). Is x <= s?
False
Let t = -6 + 9. Suppose t*q - 39 = -3*f, 2*q - 20 - 11 = -3*f. Is 1 < q?
True
Let r = -198 + 303. Suppose -40 = 2*y + 4*d, -4*y = -d - 7 + r. Is y at most as big as -25?
False
Let u = -9 + 8. Let k be u*2/(-8)*3. Which is greater: 1.3 or k?
1.3
Let g(x) = -9*x + 9. Let i(m) = -4*m + 4. Let y(w) = 3*g(w) - 7*i(w). Let c be y(1). Let j = 5 + c. Is 6 smaller than j?
False
Let s be 20/(-8)*(-8)/(-20). Is s < -4/35?
True
Suppose -2*q - 2*q = 0. Let m = 480 + -1925/4. Which is bigger: m or q?
q
Let y = -113 + 2826/25. Let v = 4 - 3. Which is smaller: y or v?
y
Let v be 5/4*2 + (-34)/(-68). Suppose -5*g - 3 = -0*r - 4*r, -v*g - 2*r = -7. Which is smaller: g or 12/11?
g
Let a be (-2)/4 + (-43)/2. Let o be 4/a - (-272)/(-198). Is o at most -3?
False
Let l = 6 - 3. Suppose 3*v + 39 = l*f, v + 15 = f - v. Is 9 at most as big as f?
True
Let q = -29 + 29. Let x be q/(-5*4/(-20)). Is 1/24 not equal to x?
True
Let q(x) = x**3 + 12*x**2 + 6*x - 10. Let c be q(-8). Suppose 8*h + h - c = 0. Which is greater: h or 21?
h
Suppose -4*f = -3*z + 32, 27*f - 22*f + 37 = 3*z. Which is smaller: f or 2.4?
f
Let o = 618 - 706. Which is smaller: -91 or o?
-91
Suppose 9*d - 66 - 1068 = 0. Are d and 125 equal?
False
Let b = 754 + -797.9. Let i = b - -44. Is -4/3 greater than or equal to i?
False
Let o be (565/772)/(7/4). Let h be (-597)/(-1737) - 3/9. Let q = h + o. Are q and 0 nonequal?
True
Let o = 15.4 - 12.4. Is -31 at most as big as o?
True
Let i be (3 - 2)/((-2)/6). Let y be 18/12*2/(-3). Let x = y + -2. Is i > x?
False
Let v = 1.7 + -1. Let d = -0.8 + v. Which is bigger: -1 or d?
d
Let w(k) = k**3 + 2*k**2 - k. Let n be w(-2). Suppose -3 = u - 4*j + 5, -2*j = -u - n. Suppose -b = 3*q - 4, 5*b - u*q + 6*q - 33 = 0. Which is greater: 3 or b?
b
Let t(n) = -4*n**2 + 10*n - 20. Let v be t(5). Let o = v - -101. Is 33 >= o?
True
Let x be (-3)/170*1*(-20)/(-5). Let f = x + 281/5185. Which is bigger: f or -1?
f
Let k(m) = -2*m**2 + 82*m. Let r be k(41). Which is greater: r or -65?
r
Let c = -25 - -26. Suppose 2*n = -c - 11. Let l be n/(-33) - (-52)/(-44). Is -1/12 less than l?
False
Let d be 2/(-18) + 10/90. Suppose 0 = -3*h - d*h + 78. Which is smaller: 28 or h?
h
Let f(m) = m**2 - 4*m + 5. Let b be f(3). Which is bigger: b or 11/5?
11/5
Let s = 461 - 462. Are 4/119 and s nonequal?
True
Let o = 3.1 + 2.9. Let j = o + -17. Which is greater: -2 or j?
-2
Suppose y = -4, -3*o - 101 = -