4. Which is greater: a or v?
v
Let i be (9/(-15))/(3/(-270)). Is 325/6 < i?
False
Let z be (-2 + 2)/(-1) + (-195872)/(-212). Let j = z - 924. Is j greater than or equal to 0?
False
Let p be (-2)/404*(-1 + -3). Suppose -2*h - 8*h = -55*h - 90. Which is smaller: p or h?
h
Let q = 0.04 + -26.04. Let p = q - -21. Is p != -6?
True
Suppose 25*g + 5*l + 11 = 26*g, 5 = g - 2*l. Let r = 242/273 - -10/39. Which is smaller: g or r?
g
Suppose 5*n + l - 48 = 0, 0*n - 2*n + 3*l = -9. Suppose 0 = -5*z - n + 24. Which is smaller: z or 5/2?
5/2
Let u = 91 + -22. Let m = -69 + u. Which is bigger: 0.03 or m?
0.03
Suppose 89 = 5*l + 4*q, q - 80 = -4*l - 0*q. Suppose -g = l + 3. Let i = -27 - g. Which is smaller: -1 or i?
i
Let t = -1496 - -1496. Is t > -11.95?
True
Let o = 2699/91 - 206/7. Suppose i = -5, -8*y - 2*i = -5*y + 7. Is y greater than or equal to o?
True
Let u be (28/42)/(0 + 2/5). Do -15 and u have the same value?
False
Let p = 226.52 + -226. Which is smaller: -3 or p?
-3
Let t = -9002573/882 - -10207. Which is greater: t or 0?
t
Let l(u) = u**3 - 9*u**2 + 2. Let t be l(9). Let q = 20 + -18. Suppose -10 = 3*a + q*a, -2*h + 8 = -a. Which is greater: h or t?
h
Let p = -22 - -21.79. Let r = 0.7 + -0.94. Let u = r - p. Which is smaller: u or 3?
u
Let l be (-18)/63 + (-30)/(-7). Let p be 2/l + (-22)/(-44). Is p <= -1.3?
False
Let c = -15 + 6.9. Let b = -19 - c. Let r = -1.1 + b. Which is smaller: 0 or r?
r
Let z(u) = 3*u. Let t be z(-2). Let q(h) = h - 5. Let v be q(8). Suppose 5*y + 28 = v. Are t and y nonequal?
True
Let y = 1396 + -34892/25. Which is smaller: y or 0?
0
Let q = 3 + -4. Let z be ((-13)/(-13))/((-11)/2). Which is greater: z or q?
z
Let l = -126199/97 + 1301. Let n(d) = -d**3 - 5*d**2 + 1. Let p be n(-5). Which is smaller: l or p?
l
Let m(t) = 2*t**2 + t - 2. Let k be m(-4). Let b(a) = 15*a**2 + 22*a - 58. Let h be b(16). Let x be (-4)/k - (-792)/h. Which is bigger: x or -1?
x
Let j be -2 + (-6)/(-9) + (-2)/3. Let x be j + -7*(-7)/4. Is x <= 11?
True
Suppose -2*b + 2644 = -d, 13*b - 8*b - 6610 = -5*d. Is b less than 1322?
False
Suppose -2 = 2*s + 4*a, -5*s + 11 - 2 = 3*a. Suppose -s*r + 0*x = -x - 4, 2*x - 14 = -5*r. Suppose -5*t + r*o + 3*o = -25, 2*t + 2 = 5*o. Is t not equal to 10?
True
Let d = -37 - -33. Let u(f) = f - 2. Let r be u(6). Suppose -5*v + r*v - 3*y - 19 = 0, -4*y - 36 = 4*v. Is d > v?
False
Let x = -41 + 45. Do x and -6/17 have the same value?
False
Let t be 0/((-1)/(7/(-7))). Which is smaller: t or -15/76?
-15/76
Suppose 7 = 4*u + m, 2*u - m = -0*u - 1. Suppose 7*y - 18 = -2*g + 3*y, -4*g - y + 1 = 0. Let n = u + g. Is n at most -1?
False
Suppose 2*a - 2*j + 4 = 4*a, -8 = 5*a - j. Do 0.39 and a have the same value?
False
Let z(j) = 14*j - 3. Let p be z(1). Let t = 23/2 - p. Is t smaller than 7/5?
True
Let a = -1060 - -11690/11. Is 4 <= a?
False
Let n = 43 - 113. Which is smaller: 1 or n?
n
Let k = -34 - -34. Suppose 5*v + j - 31 = 3*j, -5*v - 5*j + 45 = k. Is 8 > v?
True
Suppose 6390 = -13*g + 306. Is g <= -467?
True
Let l be (-279)/(-465) - 3/(15/2). Let u be (-1)/(-2 + 0 + 1). Do u and l have the same value?
False
Let b = 167 - 89. Let t(x) = x**2 + 6*x - 6. Let d be t(-7). Let y be (b/(-65))/(d + -3). Is y greater than or equal to 2?
False
Suppose -l - 3*c - 322 = -3*l, 4*c + 485 = 3*l. Is l smaller than 168?
True
Suppose -197*c = -190*c. Which is bigger: c or -1/39?
c
Let n(w) = -w**3 - 11*w**2 + 10*w - 48. Let o be n(-12). Let g = -0.038 - -1.038. Is o <= g?
True
Let g = 1437 + -1053. Are g and 384 unequal?
False
Let l(t) = t**2 - 14*t + 26. Let b be l(10). Let x be (18/15)/(2/60). Let g = -51 + x. Is g greater than or equal to b?
False
Let s = -34 + 33. Suppose -28 = 4*n - k, 4*n + 37 = -4*k - 11. Is s <= n?
False
Let q = -584 + 584.01. Is q at most as big as -2?
False
Suppose -4*n = -16*w + 15*w - 5, -4*n - 15 = 3*w. Which is greater: 1/140 or n?
1/140
Let t(j) = j**3 - j**2 + 4. Let x be t(5). Suppose -2*b + 5*k + 47 = 0, 5*b - 3*k - x = -15. Are b and 17 equal?
False
Suppose 92*v - 98*v - 6 = 0. Which is greater: 3/79 or v?
3/79
Let x(g) = 2*g**2 - 1. Let v be x(1). Suppose 10*l + 175 = 15*l. Let z be (-5)/(-20)*(-20)/l. Which is bigger: v or z?
v
Let y = 94 + -93.97. Let w = y + 0.07. Which is greater: 66 or w?
66
Let i(r) = -r**2 - 10*r - 17. Let l be i(-7). Suppose l*k = g - 0*k + 12, 3*k = 9. Is g less than or equal to -1/10?
False
Let z be 8/(-20) + ((-144)/(-70))/3. Which is smaller: z or 150?
z
Let w = 49/50 - 22/25. Which is bigger: 34 or w?
34
Let q(h) = 8*h - 1. Let t be q(1). Let y = 101.46 + -102. Let u = y + -0.46. Which is bigger: u or t?
t
Let n(l) = -l + 12. Let v be n(17). Let r(c) = c - 2. Let i(t) = 1. Let u(f) = 10*i(f) + 2*r(f). Let x be u(-4). Which is smaller: v or x?
v
Let t(l) = 3*l - 3. Let j be t(2). Suppose 0 = -4*r - 2*c - 8, -r - 3 - 13 = 4*c. Suppose -3*w - 12 = r, 3*w - 2*w - 2 = -3*f. Is j < f?
False
Suppose -6*l + 118 + 488 = 0. Which is bigger: 103 or l?
103
Let y be (12 - 25 - -10)*(-1)/(-185). Are y and 0 unequal?
True
Let t(w) = -11 - 10*w + w**2 + 2 + 0*w + 7. Let a be t(9). Is a greater than -12?
True
Let c = 54 + -49. Let x(i) = 1 + i + 5 - 2. Let p be x(c). Do p and 8 have the same value?
False
Suppose -2*j + 5*a = 2*j - 863, -4*a + 242 = j. Which is smaller: j or 224?
j
Let d = 71.5 - 71.4. Let t = 7 - 4. Let x = t + 1. Which is smaller: d or x?
d
Let f = -68.98 + 69. Let a = -0.12 + f. Does -11/7 = a?
False
Suppose 3*k = 4*k - 28. Suppose y - 16 + k = 0. Are -1/2 and y equal?
False
Let q = -1596 + 1579. Are q and 1 equal?
False
Suppose 2*y + 3*d + 9 = 0, 2*y - 2*d - 7 + 11 = 0. Let s = 0.7 - 1.4. Which is smaller: y or s?
y
Suppose 5*y - 43 + 8 = 0. Let m be (-13)/(-2) + (-3)/6. Let q be m/(-42) - ((-43)/7)/1. Is y at least q?
True
Let a be 25528/37 - 274/(-5069). Which is bigger: a or -1?
a
Let j be 8/(-40) + 7*(-3)/220. Let t = -6/11 - j. Which is greater: 1 or t?
1
Let q = -258.1 - -258. Let n be (((-15)/36)/5)/2. Is n > q?
True
Let p(d) = -114*d + 5. Let v be p(2). Let z = 1543/7 + v. Is -4 at most z?
True
Suppose -21*i + 121 = 16. Which is greater: 4 or i?
i
Let v = -163 - -167. Is v at most as big as 2?
False
Let x = 0.4767 - 0.1767. Let o = -1.7 + 2. Is o greater than or equal to x?
True
Let j be 36/(-15)*(4 + 1). Let i = j - -22. Suppose 0 = -2*b, -3*b + 4 - i = 3*s. Is -4 equal to s?
False
Let z = 602 - 635. Which is smaller: -32 or z?
z
Let t = -18 + 45. Let f = 27 - t. Is -5/3 > f?
False
Let l be 22/77 + 16/(-7). Let d be 255/35 + 4/(-14). Let v = d + -10. Which is bigger: l or v?
l
Let y = 44298/119 + -9296/17. Let z = 175 + y. Which is smaller: -1 or z?
-1
Let y = 42.6 - 22.4. Let m = -20 + y. Let t be (2 + -6 + 5)*(-2 + -1). Which is greater: m or t?
m
Let p = 133.5 - 134. Let z be -1*(0/1)/(-1). Let t be (-1)/(1 + -2) - z. Which is bigger: p or t?
t
Let c = 81 - -139. Let r be (-2)/5 - (-128)/c. Is -1 >= r?
False
Suppose 0 = 2*v - 2. Let i = 29 + -54. Let k be (10/i)/((-9)/15). Which is greater: k or v?
v
Let t be (101/(-35))/(4/(-10)*1). Let j = t - 33/7. Which is smaller: 0.3 or j?
0.3
Let b = 0.1352 + -0.1352. Which is smaller: -401/5 or b?
-401/5
Let w = -6/5 - -23/15. Let v = 3.1 - 0.9. Let g = -2.3 + v. Which is smaller: w or g?
g
Let l(a) = a**3 + 10*a**2 + 2*a + 2. Suppose -p - 5*d = -0*p + 5, 4*p + 5*d + 35 = 0. Let u be l(p). Let n be 3/2*(-3)/u. Is 12 > n?
True
Let q = 4173/11 - 394. Are q and -15 non-equal?
True
Let f(k) = -k**2 + k + 4. Let u(h) = h**3 - 11*h**2 + 8*h + 14. Let j be u(10). Let b = -9 - j. Let a be f(b). Are -7 and a non-equal?
True
Let z be (-4 - (-18)/5)/(6/(-10)). Which is bigger: -12 or z?
z
Suppose 4*v - 7*i + 7 = -4*i, 5*i - 3 = -2*v. Let k be 0/((2/v)/1). Are k and 6/35 non-equal?
True
Let v = 465 - 320. Is 0.1 >= v?
False
Let w = 2.54 + -104.54. Are 0 and w equal?
False
Let r = -28.4 + -2.6. Let q = 21 + r. Suppose 0 = 3*c + 2*c. Which is smaller: q or c?
q
Let r = -25.9517 + -0.0483. Which is smaller: 17 or r?
r
Suppose 4*a + 7 = -1. Let l be a/((-48)/(-54)) - 2/(-8). Does l = 2/3?
False
Let c = -21 + -6. Let x = -3941 - -3912. Is c at most as big as x?
False
Suppose -k = 4*k - 40. Let u = k + 32. Suppose 3*g - 8*g + u = 0. Which is smaller: 0 or g?
0
Let b be 1016/10 - 80/50. Does b = 99?
False
Suppose -2*v - 3 = 