ter than j?
True
Let y = 0.71 - 0.61. Which is bigger: y or -8/3?
y
Suppose 4*r + 6 = 6*r. Suppose 0*y - 27 = -9*y. Is y at most r?
True
Let o = 18/13 - -206/39. Let b be ((-128)/27)/(6/(-9)). Let x = o - b. Which is smaller: -1 or x?
-1
Let w = -0.878 - -17.878. Which is smaller: -2/7 or w?
-2/7
Suppose 0 = k + 3. Let v = 14 + k. Which is smaller: v or 2/7?
2/7
Suppose -2*w + 8*w = 66. Let g be (-3)/15 - w/(-5). Suppose 5*t - 3*v + v = 4, t - v - g = 0. Is -7/5 greater than or equal to t?
False
Let x(c) = -c**3 - 3*c**2 + 7*c + 13. Let q be x(-4). Which is greater: q or -3/116?
q
Let s(b) = -b + 121. Let c be s(28). Is c less than 93?
False
Let s = 66 - 60. Suppose 17 - 5 = -s*m. Is m less than or equal to -30/13?
False
Let t = -53 - 2. Let k be (-82)/(-6) - (t/(-15) + -4). Which is smaller: 15 or k?
k
Let s(k) = -5*k - 63. Let v be s(-12). Are v and -66/29 non-equal?
True
Let h = -317 - -2848/9. Suppose 0*g + 5*g = -10*g. Is g at most as big as h?
False
Let t = -2 + 2.04. Let u = 80 + -80.19. Let d = t + u. Which is bigger: d or 0.1?
0.1
Let h = -10641 + 10640. Let i = 7/144 + 5/336. Which is bigger: i or h?
i
Suppose -3*i + 4*x - 20 = -4*i, 5*x - 25 = 5*i. Suppose 10*u - 223 + 33 = i. Which is smaller: 18 or u?
18
Let z = -53 + -32. Let d = -82 - z. Let w = 0.3 + 0.7. Which is smaller: w or d?
w
Let o be 11 + -9 - (-61826)/(-34). Let p = o + 1817. Let a = -100/119 - p. Is a at least as big as 0?
False
Let b be 1/(-5)*4/2. Let l = 3.7 + 11.3. Let n = 14.88 - l. Which is bigger: b or n?
n
Let y be ((-200)/(-6))/(44/42). Suppose -5*b - 3*o + 55 = -3*b, 5*o + 47 = b. Let m = b - y. Which is smaller: m or 0?
0
Suppose 6*w - 3*y = 2*w + 8, 5*w - y = 21. Which is greater: w or 4?
w
Let i = 4 + -2. Suppose -4*b = -i*b + 2. Let z = -1/159 + -299/3021. Is z != b?
True
Suppose 10*d = 7*d + 114. Which is smaller: d or 40?
d
Let k = 3 + -7. Let n = k + 6. Let m = 265/42 + -31/6. Which is smaller: n or m?
m
Suppose 55*x = 58*x + 4*i - 114, 0 = 2*x - 2*i - 62. Which is bigger: x or 176/5?
176/5
Let k be ((-2)/8)/(7/(-140)). Suppose -2*a + 5*w + 6 = 0, 13 = a + 5*w - k. Which is greater: 38/5 or a?
a
Suppose 0 = 2*t - 4*z + 20, -z - 28 = 4*t - 5*z. Let i(x) = -x + 4. Let s be i(9). Are s and t non-equal?
True
Let d be 2/7 - 30/56. Let n be (-9 + 63/7)/2. Is d at least n?
False
Suppose 744 = 2*r + 254. Let w = r + -4658/19. Which is bigger: w or 0?
0
Let k = 2707 - 13463/5. Let s = k + -638/45. Which is smaller: -0.01 or s?
-0.01
Let j be 180/(-288) - (-3)/(-8). Which is greater: j or 1/85?
1/85
Suppose 3*k - 2*r - 1 = -7, -2*r = 0. Suppose -4*c + 16 = -3*c. Suppose 0 = -4*s - c, f + 3*s = 7*s + 16. Which is smaller: f or k?
k
Let n = 8/55 + 36/1265. Is n smaller than 0?
False
Let z = 405 + -405. Which is bigger: -6/35 or z?
z
Suppose 5*c - 196 = -226. Let q(h) be the second derivative of h**4/12 + 7*h**3/6 + 2*h**2 - 2*h. Let n be q(c). Which is smaller: -1 or n?
n
Let t = -0.929 + 1.019. Which is bigger: t or 8?
8
Let v = 1497 + -5863/4. Let u = 32 - v. Which is smaller: -0.32 or u?
-0.32
Let p = 36 - 38. Let g = -2 - p. Is g at least as big as -4/21?
True
Let z = -1.1 - -1.07. Let s be 4/(-10) - 91*1. Let r = 91 + s. Which is smaller: z or r?
r
Let d(g) = -g**3 - 5*g**2 - 4*g. Let y be d(-3). Let l = 23 + 1. Suppose -l*r + 10 = -26*r. Which is bigger: y or r?
r
Let t = -199 - -224. Which is bigger: t or -1/3?
t
Suppose -n + 4*i = -1, 0*n - 3*n + 5*i + 3 = 0. Which is smaller: n or -2/377?
-2/377
Let x(u) = -3*u**2 + 7*u + 2. Let d(q) = 8*q**2 - 20*q - 6. Let z(l) = 4*d(l) + 11*x(l). Let h be z(-3). Do h and -23/7 have the same value?
False
Suppose 0 = -3*j + 5*t + 20, -3*t = -5*j + 32 - 4. Let z be (j + (-258)/54)/(-10*3). Which is smaller: z or 1?
z
Let n = 10 - 10.4. Let s be (104/2470)/((4/(-10))/(-1)). Is s > n?
True
Let b be 22/6 + (-4)/6. Let z = 0.122 - -0.568. Let f = z - 0.99. Is f bigger than b?
False
Let a(p) = -7*p + 34. Let k be a(-14). Let m be (k/(-275))/(6/(-20)). Which is bigger: 2 or m?
2
Let b = -3.701 + -0.829. Let u = b - -0.53. Is u greater than 0.1?
False
Suppose -12*o - 2545 - 15251 = 0. Which is smaller: -1484 or o?
-1484
Let q(n) = n + 10. Let k be q(-8). Let t be (-2)/(-6) + (-145)/(-15). Suppose -y = 4*m + y - t, -k*y = -2*m - 4. Which is greater: m or -2?
m
Let u be (-2)/4 + (-1635)/1430. Let m = u + 19/13. Let d be (0 - 0)*1 + 0. Is m less than d?
True
Let u(z) = -z**2 + 7*z - 7. Let a be u(5). Let q(p) = 2*p**2 - 10*p + 15. Let o be q(2). Suppose -o*w = -21 - a. Is w less than or equal to 6?
False
Let m(q) = -q**3 + 7*q**2 - 4*q - 7. Let a be m(6). Let z = -970 - -974. Is a equal to z?
False
Suppose 2*l - 7*l = -10. Suppose -l*p = -4*p + 18. Is 7 less than p?
True
Suppose -3*g = f - 53, 0 = -6*g + 2*g - 2*f + 72. Let t = g + -19. Let y = -37/120 + -7/24. Which is greater: y or t?
y
Let m = -238401/149 + 1600. Which is smaller: 0 or m?
m
Suppose 0 = 54*l - 58*l. Which is bigger: l or -315?
l
Let c(d) = d**3 - 14*d**2 - 14*d - 12. Let j be c(15). Suppose -4*k + 45 = 5*x, -10 = -5*x + j*k - 0*k. Which is bigger: 22/5 or x?
x
Let w(h) = -h**3 + 6*h**2 - 3*h - 8. Let n be w(5). Suppose n = r - 3*r. Which is smaller: 27 or r?
r
Let k = -77 + 77.61. Let s = k - 0.11. Let u = -0.8 + s. Is 8 >= u?
True
Suppose 0 = 5*w - 7*w + 10. Suppose -30 = -5*g - 5. Is w smaller than g?
False
Let n = 2/8771 + 166609/175420. Do n and 0 have the same value?
False
Suppose 26*j - 8*j = -18. Which is bigger: 36/89 or j?
36/89
Let n be (6/(-3))/(2/(-3)). Let r be ((-141)/705)/(1/(-5)). Which is smaller: n or r?
r
Let o(p) = 5*p - 2. Let q be o(-2). Let i(r) = 12*r. Let u be i(16). Let t = 181 - u. Which is smaller: t or q?
q
Let p = -35 + 46.78. Let j = p - -0.22. Is j at least as big as 1/2?
True
Suppose 46 = -5*c + 3*s + 158, 5*s = 5. Suppose d + 22 = 2*d. Which is smaller: c or d?
d
Suppose -b + 263 = -5*q, -3*b - 100 = 2*q - 6*b. Is q at most -57?
False
Let y = -42 + 71. Let g = y + -30. Which is smaller: g or 0.2?
g
Let u = -1444 + 1444. Let n = -1.1 - -5.1. Let l = -3 + n. Do l and u have different values?
True
Let x be (5/((-125)/(-10)))/(12/12). Do x and -0.08 have different values?
True
Let z(y) = 2*y**3 + 101*y**2 + 32*y - 25. Let v be z(-50). Which is smaller: v or 876?
v
Suppose 4*n + a = 501, -2*a - 96 = -5*n + 514. Is n not equal to 124?
False
Suppose 0 = -5*b + 31 - 261. Let c = b - -46. Is -7 <= c?
True
Suppose -3*s - 3*h = h + 2, -s + 3*h = -21. Suppose -w - 4*w + 3*z - 9 = 0, 0 = 5*w - 2*z + s. Suppose w*j + 2*j = 18. Which is greater: 10 or j?
10
Suppose -1 - 5 = -3*p. Let t(j) = -j**3 - 8*j**2 + 2*j + 18. Let h be t(-8). Suppose 4 = -h*o - p*o. Is o >= -1/34?
False
Suppose -j - 1 = x, 0*x + 4 = -2*j - 4*x. Suppose j = -3*n - n - l - 8, 2*l = 3*n - 5. Which is bigger: -3 or n?
n
Let j = -15 + 25. Suppose a - 17 = -5*r + 2*r, 0 = 5*r + j. Let v be a/4 - 13/(-52). Is v less than 6?
False
Let g = -2/513 + -1012/3591. Let w = -0.25 + 0.05. Let b = w + 1.2. Which is greater: g or b?
b
Let q(k) = 2 - 8 + 0 + 4*k + 2. Suppose 0*p = -2*p + 14. Let o be q(p). Is 25 smaller than o?
False
Let j be (-2)/(-15) - (-319)/(-1155). Which is smaller: j or 0.14?
j
Let y = 6.23 - 6.5. Let x = y + 0.37. Is 0.3 at most as big as x?
False
Suppose 4*k + 8 = 0, 2*r - 19*k + 24*k = -72. Is -32 at least r?
False
Let w(x) = -x**2 + 1. Let m(u) = 2*u**2 - 9*u - 12. Let p(r) = m(r) + 3*w(r). Let o(k) = k**2 - 6*k. Let n be o(5). Let z be p(n). Is z <= 11?
True
Let a(t) = t**2 + 6*t - 1. Suppose 11 = 3*y + 26, 3*y + 27 = -2*k. Let c be a(k). Let s(m) = -2*m + 62. Let n be s(29). Which is greater: n or c?
n
Let p be 16/(-12)*(-12)/8. Let r(a) = -a**2 + 5*a - 1. Let y be r(p). Let d = y + -2. Is d at most 4?
True
Let r = -4.78 + 4.8. Let l = -26 - -27. Is r < l?
True
Let c(l) = -l - 11. Let h be c(-3). Let o be (h/10)/(396/60). Is o at least -1?
True
Let f(y) = y**3 - 17*y**2 - 19*y - 9. Let x be f(18). Let k be (x/(-42) + 4/(-28))*2. Which is smaller: 11 or k?
k
Let o(v) = 10*v - 13. Let w be o(-5). Is -64 equal to w?
False
Let z = -46 - -70. Let b be z + -59 - (0 + 1). Does b = -36?
True
Let k(p) = -p**3 + 6*p**2 + 1. Let a be k(6). Let x be -2 - (-318)/132 - a/2. Is 2 greater than x?
True
Let v(p) = 2*p**2 + 15*p + 9. Let t be v(-8). Let c be (14/(-5))/(-1)