 5/(-2) + (-7)/(28/(-6)). Which is smaller: i or 8/219?
i
Suppose 5*n - 683 + 11 = 2*j, -3*n + 400 = 2*j. Are 133 and n unequal?
True
Suppose 2*c = 2*s + 2, 2*c + 3*s - 5 = -3*c. Let x be -3 + 7 - 4/(32/14). Which is bigger: c or x?
x
Let u = -8 - -7. Let c be (-6)/9*(-3 - 0). Let z be 2/(24/9*c). Are u and z nonequal?
True
Let o = 34.02 - 16.72. Which is bigger: o or 3?
o
Suppose 2 - 18 = -4*b. Let p be (-8)/12 - b/(-6). Which is greater: -1/21 or p?
p
Let o be 3 - 2/2*3. Let s = 349 + -2787/8. Is o at least as big as s?
False
Let m be ((-672)/170 + 4)/((-42)/(-15)). Let i = m - -1660/357. Suppose 2*x - 2 = 4*x. Which is smaller: i or x?
x
Let o be -2 - 20/(-11) - 92/(-22). Suppose 3*d - 11 = 1, -4*d = -2*i. Let m be (0 + 0)*o/i. Is m less than or equal to 0.3?
True
Suppose -5*v + 25 = 4*g, -g + 8 = 4*v - 1. Let m be v/3 + 20/(-30). Let s be (-2)/7 + 6/21. Which is smaller: m or s?
m
Let p be 3/(-30)*(-5 + 3). Suppose -4*s + s + 15 = 0. Suppose 0 = s*i - 4*i. Do i and p have the same value?
False
Suppose 29*u - 13*u = 0. Which is bigger: 5.67 or u?
5.67
Let p(n) = 27*n + 1. Suppose 10 = -5*j + 5. Let h be p(j). Let x be (-117)/h + (-6)/4. Is 3 less than x?
False
Let u = -5 - -2. Let o(x) = x**2 - 16*x - 6. Let d be o(16). Let k be u/7*4/d. Are k and 14 unequal?
True
Let j be (14 + (-2244)/160)*-6. Suppose 0 = -r - 3*b + 5 + 10, 3*r + 4*b = 20. Suppose r = s + 3*s + 4. Is s greater than or equal to j?
False
Let y = 622 - 488. Which is greater: 0.1 or y?
y
Let s(k) = -23*k + 44. Let m be s(2). Is 35 smaller than m?
False
Suppose -6*d + 119 = 701. Which is smaller: d or -193/2?
d
Suppose -3*v - 2*a = -1535 + 5550, 3*a = 3. Let i = -14753/11 - v. Is 0.1 less than i?
False
Suppose -3*q + 14*n - 12 = 17*n, -5*q + 4 = -n. Which is greater: -38/29 or q?
q
Suppose -2*y = x + 52, -83 = 2*x + y - 4*y. Let j be x/9 + 28/(-126). Is j at least as big as -5?
False
Let r(f) = 7*f + 41. Let m be r(7). Let z be 34/(-90) - (-54)/m. Which is smaller: -9 or z?
-9
Let u be ((-4)/(-18))/(70/21). Let k = -269 + 270. Which is smaller: k or u?
u
Let m be ((-13)/(-2))/1*(-1 + -3). Let h = m + 29. Are 0 and h unequal?
True
Let t be ((-9)/((-36)/(-16)) - -143) + 4. Let c = -154 + t. Do -11 and c have different values?
False
Let r be (-4)/6 - 584/24. Let q be (-10)/r*5/(-99). Let z = -64/99 + q. Is -1 at least z?
False
Let p be (-6)/21 - (-551)/(-56). Let g = p + 301/40. Suppose -5*w - 4 = -4*w. Is w >= g?
False
Let u = -427 + 35. Is -393 smaller than u?
True
Suppose -3*w - 20 = 25. Let j be (-184)/40 - (-6)/w. Is j at most as big as -4?
True
Let p = -9.64 - -0.64. Is p at least -0.05?
False
Let q = 10 + -10. Suppose 378 = -8*b + 2466. Let c = -7829/30 + b. Which is bigger: c or q?
c
Let l be 6/(-33) + 298/66. Suppose -c + 8 = 4. Is c != l?
True
Suppose o - 41 = 5*s - s, -o = -3*s - 30. Let w = -21 - s. Let y be ((-36)/w)/3 - 1. Is 0.2 less than or equal to y?
True
Suppose -50 = -0*n - 5*n. Let s(d) = 34 - 912*d + d**2 - 12 + 920*d. Let h be s(-6). Is n at least h?
True
Suppose 4*g + 3*j = -7, -3 = 3*g - j - 1. Let s be (-6)/(-24) - (-15)/4. Let x be s/18 - 4/(-63). Is g > x?
False
Let h be (-8)/(-10)*(-3)/((-18)/15). Let s(j) = j - 15. Let w be s(h). Is w < 1?
True
Suppose s - 6 = -m, 4*s - s + 3 = 4*m. Suppose -4*u + 20 = -0*u + s*w, -12 = -4*u - 5*w. Let z(g) = -2*g - 1. Let f be z(-5). Which is bigger: u or f?
f
Let t be ((-1)/(-3))/((-7)/(-105)). Suppose x - 15 = t*a - 2*x, x - 5 = -2*a. Which is smaller: 3/20 or a?
a
Let l = 5 + -5. Which is greater: l or 1/2084?
1/2084
Let v = 0.1 - -2.9. Let t = 3.5 + -0.5. Let k = v - t. Which is bigger: k or -6?
k
Let v = -2209 + 2304. Which is smaller: v or -2?
-2
Let h(g) = 117349*g + 8. Let d be h(-13). Let y = 44244547/29 + d. Let c = y - 145. Which is smaller: 0 or c?
0
Let a(q) = q**3 - 11*q**2 + 3*q - 1. Let f be a(6). Let p = f - -72. Which is smaller: p or -90?
p
Let s = 10.03 + -0.03. Let o = s + -10. Which is smaller: o or -21?
-21
Let j = 0.1 - 0.1. Let o = 749.06 - 749. Which is smaller: o or j?
j
Suppose -2*z + 41 = -4*u + 31, u + 2*z = 10. Do u and -22/81 have different values?
True
Let y = 273 - 271. Is 76 > y?
True
Suppose 0*f + 36 = 2*f. Suppose -5*d + 125 = -145. Let k = d + -35. Is k < f?
False
Let t = 32 + -32. Let n = -0.92 + 0.7. Let u = -0.58 + n. Which is greater: u or t?
t
Let h = 1 + -6. Let n(c) = 4*c + 4. Let m be n(h). Suppose -679 + 611 = 4*l. Which is greater: m or l?
m
Let a(o) = o**3 + 21*o**2 + 3*o + 47. Let x be a(-21). Let t = 1 - 19. Is t >= x?
False
Suppose q = -5*p - 20, 38 = -3*q - 0*q - 4*p. Let n = 1 + q. Let g = n + 7. Are -2 and g unequal?
False
Let g = -0.249 - -0.349. Which is smaller: -0.06 or g?
-0.06
Let s(v) = -v - 2. Let c(l) = -1. Let q(n) = 4*c(n) - s(n). Let j be q(3). Which is greater: -1 or j?
j
Let o = 59 - 61. Let h be (6/(-244))/((-4 + 3)/o). Is 0 equal to h?
False
Let p be (-11 - -12)/(2/6). Let g be (-12)/p + -15*(-3)/9. Is 4/49 at least g?
False
Let w be 1 - (-1)/(3/42). Suppose 0 = -3*f - 32*m + 27*m + 43, 3*f - 3*m = 51. Which is smaller: w or f?
w
Let k = 4.402 + -1.402. Is -197 not equal to k?
True
Let y = 307 - 308. Is 2/133 at least y?
True
Let t = -0.053 - -40.053. Let h = 10 - t. Which is greater: 0.2 or h?
0.2
Let m be ((-2)/16)/((-9)/12). Let z(c) = c**3 - 4*c**2 - 3*c + 11. Let x be z(4). Is m greater than x?
True
Let s = 146 + -146. Suppose 0 = 4*y - s*y + y. Which is bigger: y or 1/40?
1/40
Let k = -133/4 - -69/2. Which is smaller: k or 3/11?
3/11
Let b be 15 + -2 + -4 + -2. Let u(c) = 7*c - 45. Let n be u(b). Is 4 > n?
False
Let y(k) = -9*k**2 + 3*k + 15. Let m be y(-3). Is -75 at least as big as m?
True
Suppose 6*n - 126 = -228. Do n and -11 have the same value?
False
Let u(t) = -2*t**2 + 13*t + 6. Suppose 0 = v - 46 + 39. Let m be u(v). Which is bigger: m or -4?
m
Let l be (5/5 + 4 - 6)*-89. Which is smaller: l or 2/7?
2/7
Let k be 2/(-6)*-2*-30. Let l be k/8 + 2*3/12. Let h = 3683/7 - 527. Which is bigger: h or l?
h
Let l be (-2)/(-3) - 170/306. Let d = -7 + 7. Suppose d = y - 6*y. Is l smaller than y?
False
Let u be -2 - -4 - (-4 - -1). Suppose -2*j - u*j + 21 = 0. Is 3 smaller than j?
False
Let a be 5 - 1*(0 + (-35)/(-7)). Is -18/113 less than or equal to a?
True
Let t = -1321/2 - -663. Suppose -d + 3*d = 6. Let j be d*(-2)/4*-2. Is j greater than or equal to t?
True
Let l = 0.281 + -17.281. Which is greater: -20 or l?
l
Suppose 0 = 2*h - 11 + 3. Let m be (520/400)/(0 + 3/6). Which is smaller: h or m?
m
Let k(b) = -b - 31. Let w be k(-12). Let p = -29 - w. Are -10 and p non-equal?
False
Let r be 2*(-6)/16*12. Let s be -1 + 2 - (r + 11). Is -1 >= s?
True
Let r = -7 - -9.5. Let n = 0.265 - 0.365. Which is smaller: r or n?
n
Suppose -3*i - 28 = 4*f - 0*i, -3*f - 3*i - 18 = 0. Let a(d) = -d**3 - 4*d**2 + 5*d - 8. Let r be a(-5). Is f bigger than r?
False
Let j(r) = 101 - 94 + 6*r + 0*r - r**2. Let q be j(7). Let k = -3/58 - -51/145. Which is smaller: k or q?
q
Let k = 1.13 + 0.07. Let p = 1.4 - k. Let o = 0.3 - p. Are o and 0.01 non-equal?
True
Let l = -1 - 6. Suppose 3*v + 60 = -5*y - 4, 28 = -2*y - 2*v. Which is bigger: l or y?
l
Let z = -7 + 14. Let d be 21/(-7) + 1 + 11/1. Which is bigger: d or z?
d
Let z be (-2)/(-11) - 466/22. Let m = 1700 - 1722. Which is greater: z or m?
z
Let f be (97/427964)/(((-9)/(-8))/3). Which is smaller: f or 1?
f
Let b = -165 + 164.9. Let d = -0.04 + 0.04. Let p = d - 3. Are p and b non-equal?
True
Suppose 6*t = -9*t + 1050. Let w = t + -63. Is w < -2?
False
Suppose -13 + 1 = -4*a + 4*q, 0 = -5*a + 4*q + 16. Let c = 430 + -424. Suppose a = 4*b - 4*t, -c = -2*b + t + 3*t. Which is smaller: b or -1/25?
b
Let t = 3460 + -3457. Suppose 0 + 2 = p. Is t != p?
True
Let u = 0.02 + 2.98. Let b = u - 4. Let y = 0.051 + -10.051. Which is greater: y or b?
b
Let q be (14/10)/(714/45 - 16). Which is greater: 0.1 or q?
0.1
Suppose 32 = -h + 5*h. Let z = -12 + h. Which is smaller: z or 1?
z
Suppose 60 = 33*z - 39. Let s(u) = -4*u - 1. Let r be s(-1). Is z less than r?
False
Let f(a) = a + 4. Let c be f(-4). Suppose -l + 1 - 5 = c. Is -4 at most as big as l?
True
Let z be (6/(-27))/(1/(-4)). Let o = 436 - 308. Let h = o - 128. Which is smaller: h or z?
h
Let g be 20/22 - 0/1. Let z(f) = f + 3. Let t be z(-7). Let s be t - 6/(-3 + 2