4). Which is smaller: 68/23 or o?
o
Let r be -2*((-8)/6 + 2). Let i = -9/20 + 1/5. Which is smaller: r or i?
r
Suppose 0 = 3*f + 5*t - 1 + 7, 4*f - 5*t = -8. Suppose 3*j + 3 = 0, 3*n + j - 14 = 60. Suppose l + 5*u = -n, -l + 1 = -u - 4. Is l <= f?
False
Suppose 22*o + 39 - 39 = 0. Is 2/1139 not equal to o?
True
Let v(m) = 2*m**3 - 19*m**2 + 14*m - 15. Let q be v(9). Let d = q + -26. Is 11/4 at least d?
False
Let f = 16.15 + -10.7. Let g = f + -6. Which is bigger: 1 or g?
1
Let z = 1 - 2. Let f(y) = -y**2 - 6*y + 3. Let x be f(-6). Suppose 2*m = 6, 5*v + 5 = v + x*m. Which is greater: z or v?
v
Let m(p) = -1. Let d(v) = -2*v**2 + 12*v - 12. Let s(z) = d(z) - 3*m(z). Let n(g) = -g**2 - 10*g - 10. Let h be n(-8). Let k be s(h). Is k at least -9?
True
Let o be (-2 - -5)/((-57)/(-361)). Are 21 and o non-equal?
True
Let z(d) = 5*d**2 + 4*d. Let k be z(-3). Suppose -25*i + 9*i = -512. Which is bigger: i or k?
k
Suppose -5*j + 5*s + 611 = 8*s, 0 = 4*j + s - 486. Do j and 1 have different values?
True
Let w = -687 + 688. Is w greater than 4.3?
False
Suppose -12*i + 3926 = -3610. Is 628 at most i?
True
Let q(m) = -m**3 - 7*m**2 - 8*m - 8. Let x be q(-6). Let l be (-4 - (-6 - -3))/(x/9). Is l at least -2/7?
False
Suppose 43 = 13*d + 745. Is d smaller than -2/3?
True
Let j = -460 + 461. Let r be 46/(-112) - 8/(-28). Which is bigger: r or j?
j
Suppose -4*f - 1 = -5*f. Suppose -b = z + b - 5, -2*z - b + f = 0. Which is smaller: z or -8?
-8
Let k = -451 - -559. Is 1 smaller than k?
True
Let q(y) = -y + 9. Let n be q(0). Let k be -58 + (12/(-9))/((-3)/n). Is -54 at least k?
True
Suppose 3*l - 276 + 2154 = -5*j, -j - 628 = l. Is -631 at most as big as l?
True
Let a = -1954 + 7603/4. Which is smaller: a or -54?
-54
Let b = 0.78 - 0.08. Let h = 0.3 + b. Which is smaller: h or -6?
-6
Let j = -23450 - -164558/7. Let y = 59 - j. Which is greater: y or 2?
2
Suppose -5 = 18*d - 23. Let k be -2 + 2 + -2*1. Let n be k/7 + 24/21. Which is bigger: d or n?
d
Let h = -531/2 + 1257/4. Is 48 != h?
True
Let t = -1323 - -1153. Which is smaller: t or -2?
t
Let n = -85 - -85.81. Let s = n + -0.8. Let h = 143 + -1861/13. Which is smaller: h or s?
h
Let k = 747.969 + -749. Let b = k + 0.031. Suppose -2*z + 2*o + 10 = 0, 3*z - 2*o = 14 + 1. Which is smaller: b or z?
b
Let h = -34 - -37. Suppose -h*a + 2*a - 1 = 0. Which is smaller: a or -16/11?
-16/11
Let w = -262 - -1826/7. Let c(j) = -4*j - 46. Let u be c(-11). Which is smaller: u or w?
u
Let t = -4 + 3. Let d = -321355 + 3531530/11. Let g = 307 + d. Is t smaller than g?
True
Let x = -2 + 1. Let a be 1/(2 + 162/(-82)). Let c = 42 - a. Which is greater: c or x?
c
Let a = -25 + 47. Let q = -20 + a. Let l be 155/420 + q/(-7). Is 1 bigger than l?
True
Suppose -t - 2 = 3*q, 2*t + 5*q - 1 = -3. Suppose 12 = -k + t*k. Suppose -k*b = -0*b. Is b at least as big as -4/13?
True
Let k = 4.67 - -64.33. Which is bigger: -9 or k?
k
Suppose -23*j + 4725 = -8*j. Which is smaller: 314 or j?
314
Let t = 136438/65 - 10466/5. Let n = 364/5 + -4382/65. Let d = n - t. Is d greater than or equal to 0.1?
False
Suppose 3*c + c - w - 59 = 0, 0 = 5*w - 25. Which is greater: c or 15?
c
Let w = -715 - -418. Let o be 12/(-10)*w/195. Let j = o + -38/25. Is j less than or equal to -1?
False
Suppose 11890 = 122*b - 40*b. Is b >= 145?
True
Let h be 4/(-2)*-176*(-6)/36. Let u = h - -58. Is u at least -65?
True
Suppose 3*p = 2*q + 12 + 7, -3*p = 4*q - 7. Suppose 3*y = -2*y - p. Let v = 0 + y. Which is bigger: v or -2/7?
-2/7
Suppose 2*c - 4*d = -7*d - 76, -3*d = -12. Which is bigger: -46 or c?
c
Let d(u) = 3*u**2 - 2*u**2 + 7 - 1 - 3 - 3*u. Let l be d(2). Which is smaller: 12 or l?
l
Suppose 10 = -o + 4*v, -2*v - 26 = o - 28. Do o and 76 have different values?
True
Suppose -4*i + 34*i + 1230 = 0. Are -40 and i equal?
False
Let p be (46/(-46))/(29/66). Which is smaller: p or -3?
-3
Let m = 4.618 + 1.512. Let a = m + -6. Which is smaller: a or 2?
a
Let l = -42 - -42.21. Let j = l + -0.33. Is j smaller than 1?
True
Let i(f) = -f**3 - f**2 + 2*f - 1. Let g be i(-2). Let j be 56/70 - (-68)/(-90). Which is smaller: j or g?
g
Let h = 362.9 + -363. Suppose 0 = -4*u + 2*i - 0*i - 24, 2*i + 16 = -4*u. Is h >= u?
True
Let z(c) = -c**2 + 17*c + 18. Let i be z(18). Let v = 0.2 + -4.2. Let h = -3 - v. Is h < i?
False
Let r(c) = -2*c**2 + 16*c + 20. Let q(b) = -b**2 + 8*b + 10. Let j(m) = 5*q(m) - 3*r(m). Let w be j(9). Which is smaller: -3/2 or w?
-3/2
Let n(k) = -12*k + 61. Let u be n(4). Do u and 0 have the same value?
False
Suppose -2*s + 28 = -28. Let j = s + -37. Let h be (-8 - 2) + 1 + 0. Is h != j?
False
Let s = -389 - -389.7. Is s at least -45?
True
Let l be 6*((-1)/(-6))/((-2)/(-4)). Suppose -t + l = w, -3*w + 0*w - t + 8 = 0. Are w and 3 unequal?
False
Let w(a) = a**2 - 9*a + 5. Suppose -2*v + 115 - 39 = 4*r, -100 = -4*r + 4*v. Suppose 2*f - r + 1 = 0. Let i be w(f). Which is smaller: 16 or i?
i
Suppose -48*k - 18 = -39*k. Let v = -6 + 1. Let j be v/195*k*-3. Is j greater than -1?
True
Let a = -284 + 282.54. Which is bigger: a or 1?
1
Let n be 11/(-212)*11 + (-3)/(-6). Let l = n - -369/14204. Is -1 greater than l?
False
Suppose 990 = 66*w - 84*w. Is -54 less than or equal to w?
False
Let q = -345 - -140. Which is bigger: q or -1/3?
-1/3
Suppose -2*p + 3 + 7 = 0. Suppose 5*r - 12 = -h, -3*h + p = -5*r + 29. Is 7/2 < r?
False
Suppose 0 = 16*u + 89*u - 192885. Is u at most as big as 1838?
True
Let v = -319936/3145 + -45/629. Is -103 at most v?
True
Let t be (((-232)/(-6))/(-2))/((-2)/(-3)). Let h(b) = -8*b + 3. Let w be h(4). Are w and t unequal?
False
Let l = 772 - -220. Is l less than 991?
False
Let j = 4 - 0. Suppose 0 = -j*l - 4*q, -4*l + l = q. Suppose -3*h - 1 = g, -2*g + 6 = -l*h - 2*h. Which is smaller: -1/2 or h?
h
Let p be (-3)/(-18) - 1/(-2). Let m = -3968 - -3964. Are p and m nonequal?
True
Let n = 20 + -12. Let s be 17*1 - (8 + -7). Let y be (-2)/s - (-5)/40. Is y not equal to n?
True
Let t = -133 - -135.69. Is -0.1 != t?
True
Let y = 7.7 - 7.72. Which is smaller: y or 1.9?
y
Suppose p + 17 = 2*p + 5*m, 0 = 4*p + 5*m - 53. Let j(k) = 4*k**2 - 4. Let w be j(-2). Is w greater than or equal to p?
True
Let l be -3*(-1 + 4/6). Let y = -946474/61 - -15516. Is y equal to l?
False
Let g be (-8)/(-84)*12*49/(-14). Which is smaller: -54/17 or g?
g
Suppose 2*d + 3*z = -64 + 508, 0 = 2*d - 5*z - 460. Suppose 7*p = -8*p + d. Is 18 at least as big as p?
True
Suppose 2*d - 4*d = 0. Suppose -s - 2*y - 3 = 0, d = 5*y + 5 + 15. Suppose -11 = 3*z - s*h, 3*z - 2 = 2*z - 4*h. Is z less than or equal to -2?
True
Let p be (-19 + 18)*(44 + -1). Are p and -7 non-equal?
True
Let u be 286/4 + 8/(-16). Let h = u - 63. Is h greater than or equal to 9?
False
Let a = 0.393 - 0.483. Which is greater: a or -0.5?
a
Suppose 30*h - 40*h + 260 = 0. Let x = -80 - -57. Let c = x + h. Which is smaller: 5 or c?
c
Let k = 488 + -486. Is 0.59 at least k?
False
Let s = 0.26 + -0.15. Let k = 0.89 + s. Is k < -2/5?
False
Let y = 33 - 80. Let x = 46.85 + y. Which is smaller: 2 or x?
x
Let c(h) = -h**2 + 18*h + 9. Let l be c(13). Let k = l + -73. Which is smaller: -2/13 or k?
-2/13
Let a(g) = g**3 - g**2 + 3*g. Let n be a(0). Let v = 8793/17 - 517. Are v and n unequal?
True
Let s = -5 - -8. Suppose 0 = -l + 2*i + 44, 0 = -s*l - 2*i - 59 + 191. Let h be (4/l)/((-1)/(-2)). Do h and 0.1 have the same value?
False
Let l = 452 + -454. Is l equal to 5/6?
False
Suppose 2*n + 2*n - 3*u = 18, 0 = -5*n - 2*u + 11. Suppose -3*c + 5*c + 32 = 2*h, 3*c - h = -40. Let t be (c - 0)*(-2)/15. Is n less than t?
False
Let f be 396/(-135)*(-5)/6. Suppose 0*c + 20 = -5*a + 5*c, c - 3 = 2*a. Which is bigger: f or a?
f
Suppose -13*m + 245 = -678. Which is smaller: m or 141/2?
141/2
Suppose 4*l + 22 = 126. Let w = l + -36. Are w and -9 non-equal?
True
Suppose -34*n - 149 = -115. Which is bigger: n or -1/732?
-1/732
Let t(i) = i**2 - 57*i + 307. Let r be t(51). Do r and -2/1857 have the same value?
False
Let b = -135.7 - -126. Let k = b + 9. Let z = -1351 - -2703/2. Is k >= z?
False
Suppose 4*d = -3*l - 36, -d + 4*l - 2*l = 20. Let y be (d/216)/((-2)/(-3)). Suppose 5*r + 3*t - 6 = 0, -3*r - 4*t + 9*t - 10 = 0. Are r and y non-equal?
True
Let u be 134/14 - 52/91. Suppose -u = -3*l + 33. Let f be (-48)/l + 0 - -3. Is f at most as