7
Suppose 13 = 3*i - 23. Let y(q) = 2*q - 21. Let m be y(i). Are 3 and m nonequal?
False
Let k = -2.9 + 3.3. Let i = -0.9 + k. Is 5 <= i?
False
Let g be (-2)/10 + (-63)/5 + 0. Which is smaller: -13 or g?
-13
Let i = 160 - 159. Is i greater than -1/262?
True
Let n = 225 - 204. Is n at most 3?
False
Let q = -2.12 - -0.12. Let c = 7 - q. Let j = -9 + c. Which is smaller: 4 or j?
j
Let v = -40 - -5. Suppose 171 = -5*z - j, 3*j = -2*z - 2*z - 139. Is v at most z?
True
Let b(p) = -p - 6. Let k be b(-18). Let x = 8 - 5. Suppose -3*f = m + k, -2*f - 1 = x. Which is greater: m or -5?
-5
Let v be (19/7961)/((-4)/(-8)). Are 0 and v nonequal?
True
Suppose 7*v = -2*v. Let x = -33 - -37. Which is smaller: x or v?
v
Suppose -2*m - 5*m + 77 = 0. Let g = 7 - m. Suppose 3*w = p - 2, 4*p + 2*w - 3 + 23 = 0. Is g less than p?
False
Let a = 1328 + -1078. Is a bigger than 250?
False
Let x be -4 - ((1 - -1) + (-20 - 1)). Suppose -4*t + 2*m - 172 = 0, 2*m = 3*m. Let f be (-2)/x + t/15. Does f = -5?
False
Let m = -8 + 14. Let h be (2 - 62/(-8)) + 3/(-4). Is h smaller than m?
False
Suppose 5*g + 4*x + 126 = 0, -3*g + 2*g = -5*x + 31. Let y be g/(-28) + (-6)/14. Is y not equal to 3?
True
Let n(u) = 2*u**2 - 1. Let d be n(-1). Suppose -2*p - 2807 = -927. Let s be (3 - p/316*-1)/1. Is d <= s?
False
Let i(u) = 5*u + 4. Let m(t) = -3*t + 17. Let o be m(7). Let s be i(o). Let x = s + 17. Which is bigger: x or -1?
x
Let b = -3177 - -1463. Let h = -13729/8 - b. Let s = h - -21/8. Which is greater: s or -1/5?
s
Suppose 0 = -2*a - 3*b - 31, 0*a + 3*a + b + 36 = 0. Let q = 16 + a. Do q and 1 have the same value?
False
Let j be 4/(-16) + (-18)/(-8). Suppose k - x = -20, -2*k - j*k - 77 = -x. Is k at most -19?
True
Let m be 2 + -1 - 24/22. Suppose 45*c = 19*c + 12*c + 42. Is m greater than or equal to c?
False
Let t(v) = -7*v - 5266. Let a be t(0). Let h = a - -1069000/203. Which is smaller: h or 0?
0
Let i = 0.04 + 10.96. Let u = i - 10.92. Let g = -0.28 + u. Which is bigger: -6 or g?
g
Suppose 3 + 3 = l. Let i = l + -4. Which is smaller: -4 or i?
-4
Suppose -5*q + 6 = -3*q. Suppose -q*i + 18 = w + 92, 4*w + 266 = -2*i. Let l be (-4)/2 + w/(-35). Which is smaller: -1 or l?
-1
Let x be (8/(-20))/(2/(-10)). Suppose 18 = x*b - 0*b. Let t = b - 10. Is 0 greater than or equal to t?
True
Let x = -2 + 1.92. Let t = -47 + 43. Is x at least t?
True
Suppose 0*k + 25 = -4*k - 5*m, 4*k - 25 = 5*m. Is 2/1387 greater than or equal to k?
True
Let m be (2*1/(-3))/((-8)/660). Let d be 4/8*(m + -3 + 6). Is d not equal to 29?
False
Let o = -227 - -224. Which is bigger: 12/11 or o?
12/11
Let h be 10/(-3)*27/(-15). Suppose -3*a - 2*r + r = -21, 6 = 3*a - 4*r. Let c be (12/h)/(a/23). Which is greater: 7 or c?
c
Let z be ((-10)/(-16))/5 - 22257/(-1080). Let f = z - 112/5. Which is bigger: -0.4 or f?
-0.4
Let s be 9*(1/(-3) + 1). Suppose 0 = -15*a + 16*a - 20. Let c = a - 14. Does c = s?
True
Let r = -11 + 22. Suppose 0 = -2*c - k, 3*c - r = 5*k - k. Let d be 1 + (-2)/5 + -1. Which is bigger: d or c?
c
Let n be 172529/24010 - (-2)/(1 + -5). Which is smaller: 7 or n?
n
Let m = -100 - -125. Let t = m - 25. Which is smaller: t or -16/13?
-16/13
Let p = 1.3 + 70.7. Let f = p - 72.1. Are 5.4 and f nonequal?
True
Let q be (-7895)/195 - (-4)/26. Let w = q + 40. Which is bigger: 1 or w?
1
Let q = 0.361 - 0.361. Is -552 < q?
True
Let j = -9.3 - 29.7. Let m = j + 37. Is -0.4 greater than m?
True
Suppose -4*o - 5*z + 10 = 0, -4*o + 5*z - 10 = -5*o. Are o and -7/255 equal?
False
Let h = -217/3 + 71. Let c = -118 + 118.069. Let n = 0.031 + c. Are h and n equal?
False
Let m = -4.7 + -0.3. Let t = 5.123 - 0.123. Let h = m + t. Is h at most as big as -0.12?
False
Let p(j) be the first derivative of -j**5/20 + 5*j**4/12 + 2*j**3/3 + 3*j**2/2 - j - 6. Let m(z) be the first derivative of p(z). Let a be m(6). Is -9 >= a?
True
Let s(x) = x**3 - 3*x**2 - 3*x - 3. Let n be s(4). Let j = -2370 - -2357. Are n and j equal?
False
Let m = -29715/4 + 7485. Which is smaller: m or 57?
m
Let z = 7/9 + -1/36. Let p(m) = m**2. Suppose 5 = 3*k - 2*c, c + 1 = -4*k + 4. Let j be p(k). Which is smaller: z or j?
z
Let v = 58/379 - 18010/8717. Which is greater: -2 or v?
v
Let m be 51/34 - ((-198)/4 - -1). Let r be m/(-26) + -1 + (2 - -1). Which is smaller: r or 0.1?
r
Let x be -5 - (1/(-3) + 195/(-45)). Which is smaller: -64.4 or x?
-64.4
Suppose 0 = -2*o + 18 - 10, 3*a - o = 407. Is 134 less than or equal to a?
True
Suppose -4*p + 140 = 4*s, -2*p - 8 = 3*s - 79. Is -0.4 equal to p?
False
Let n = -146.7 - -164.7. Is n at most 0.46?
False
Suppose -14*r + 41 = -1. Is r at least -1?
True
Suppose -o - 4*l - 4 = -3*o, -5*l = 2*o + 5. Suppose 5*d - 3*t + 3 + 13 = 0, -3*t = -2*d - 10. Let y be ((-11)/(-55))/(d/(-5)). Which is smaller: o or y?
o
Let h = 45 - 79. Let v = h + -27. Which is bigger: -62 or v?
v
Suppose 0 = b + 2, 0 = g - 3*b - 2 - 6. Which is bigger: 18/7 or g?
18/7
Let i(u) = u + 14. Let x be i(-11). Let v be -5*1/5*x. Let g be (v/9)/((-4)/12). Which is greater: 2/5 or g?
g
Suppose 0 = -5*m + 3*m + 10. Suppose -2*g + 2*l - 2 = 0, m*g - 4*l = -5 + 1. Which is smaller: g or 1/2?
g
Let c = -1.49 + 1.59. Let h = -1.8 + 0.8. Which is smaller: h or c?
h
Suppose -18 = 2*l - 16. Which is greater: l or -138?
l
Let k be (-100)/40*66/15. Which is smaller: -8 or k?
k
Let d be (-12)/2 + (-12 - 9). Which is bigger: d or -20?
-20
Let m = 7 - 6.4. Let r = -101 + 100.3. Let t = m + r. Which is greater: t or -8?
t
Let u = 42 - 41.988. Let o = u + -0.112. Which is smaller: o or 2/47?
o
Let d be 2*91/(-14) - 0. Which is bigger: d or -8?
-8
Let w = -283/36 - -31/4. Are 1 and w unequal?
True
Let o be (-12)/(-72) - (-53)/6. Suppose 3*n + o = -12. Which is bigger: -9 or n?
n
Let u(q) = 2*q**3 + 4*q**2 + 3*q + 1. Let b be u(-2). Let s(g) = -g - 1. Let d(v) = 11*v + 8. Let j(z) = d(z) + 6*s(z). Let w be j(-1). Which is bigger: w or b?
w
Suppose 0 = 5*f - 9*f. Let l = 3 + -2. Let s = -1 + l. Is f at most s?
True
Let u be (1/5)/(40/200). Do u and 2/17 have the same value?
False
Let r be 3/24*(118/(-42) - -3). Is r at least as big as 1/3?
False
Let m = -81.09 - -81. Let n = 0.09 + m. Are 28 and n nonequal?
True
Let l = 75/7 + -689/63. Let z be (-3 + 4)*(-10)/35. Is l not equal to z?
True
Let z be (-1)/(-2)*(-2 + 1). Let n = 1/14 - z. Is 0 > n?
False
Suppose 4*x - 248 = 88. Let z = -50 + x. Let l be 51/z - (-2)/(-4). Is l equal to 0?
False
Suppose 0 = 2*h + 2*h - 2*h. Suppose 2*p = 3 - 9, h = -g - p - 14. Which is smaller: g or -1?
g
Let x = -21 + 37. Let z(n) = 3*n**2 - 81*n + 16. Let q be z(27). Is q not equal to x?
False
Let s = 75/28 - 17/7. Let w = -1.57 - -10.47. Let x = w + -2.9. Which is greater: x or s?
x
Let b(p) be the first derivative of p**2/2 + 4*p - 8. Let v be b(-7). Is v at least as big as -4?
True
Let s be (4 - (-56)/(-10))*(-13 + 573). Is -895 greater than or equal to s?
True
Let w be (-45)/51 - -1*1. Let r(c) = -c**2 + 9*c + 3. Let p be r(9). Suppose -2*g + 11 = -p*j, -2*g = -2*j + 3*g - 22. Which is smaller: w or j?
j
Let v = 287 + -288. Is v at least as big as -24/35?
False
Suppose -116 = 12*m - 20. Let o(n) = -n - 8. Let w be o(m). Which is bigger: -0.3 or w?
w
Let d = 4 - -5. Suppose -4*g + 6 = -g + 2*r, -5*g - 3*r = -10. Suppose -5*x + 66 = 4*j, -2*j - j + 32 = g*x. Which is smaller: d or x?
d
Let f be (24 - 4/(-4)) + -3. Suppose -f = -4*z + 2. Suppose 5*n + z - 1 = 0. Is -2/13 <= n?
False
Let o = -0.0579 + -0.0421. Let d = -31 + 65. Are o and d unequal?
True
Let p = 403 + -259. Let q = p - 142.8. Which is smaller: -1/6 or q?
-1/6
Let w be ((-35)/14)/((-4)/184). Let a be (w/(-46))/((-1)/(-30)). Which is smaller: -1 or a?
a
Let j(q) = q**3 + 13*q**2 - 17*q - 20. Let w(f) = -f**2 - 3*f + 4. Let z be w(-6). Let g be j(z). Suppose g = t - 3*t. Which is bigger: -10 or t?
-10
Let w = -735 + 771. Is w at least as big as 2/3?
True
Let p be (3 - 2 - 0)/(49/749). Let h = -15 + p. Which is greater: 0 or h?
h
Let j(o) = o - 3. Let s be j(-5). Let h(p) = 3*p**2 - 2*p**2 + 12 + 14*p + 3 - p. Let t be h(-11). Is t bigger than s?
True
Let t be 19/76 + (-17)/36. Let l = -667111/210120 - 1/10506. Let s = 27/8 + l. Are t and s nonequal?
True
Suppose -5*l + 5*w - 5 = 0, 2*w + 1 = 11. Suppose 5*k - 3 = -3*a - 11, k + 5 = -l*a. Is a > -4/21?
False
Suppose -47