Which is greater: i or v?
v
Let t = -380 + 394.97. Let j = t - 15. Let k = 0.07 - j. Is k less than or equal to -8/3?
False
Let k = -3.95 + -0.05. Let g = 1528 - 1528. Is g less than or equal to k?
False
Let g(x) = 11*x - 1. Let n be g(1). Let k(z) = 9*z + 762. Let c be k(-84). Are n and c equal?
False
Suppose 3*j + 4*r - 3 = -2, 28 = -4*j + 2*r. Which is smaller: j or 7?
j
Suppose 0 = 14*b - 19 + 145. Let l = 36/5 + -7. Which is smaller: l or b?
b
Let q be (-3 - -1)/(1/(-8)). Suppose j + n = q, 79 = 5*j - 0*n + 4*n. Let l = -31/2 + j. Which is bigger: l or 0.3?
0.3
Let a(r) = -r**3 - 4*r**2 + 6*r - 7. Let j be a(3). Let k = j + 42. Let t = -31 + 20. Which is smaller: t or k?
t
Let y = -472653884/981 + 481808. Let j = y + 2/109. Suppose -5*t - 8 = -13. Are j and t nonequal?
True
Let c(j) = -5 + 4*j + j + 3 + 0*j**2 + 2*j**2. Let o be c(-5). Suppose -o = 4*z + b - 2*b, -2*z - b - 7 = 0. Which is greater: z or -4?
-4
Let u be 23660/494 + (-6)/(-57). Is u greater than 0.4?
True
Suppose -9 = 4*i - 69. Suppose u = -3*j - j + i, -6 = -2*u. Suppose 6*a = j*a. Is a >= 0?
True
Let j be (-7 - -1) + 6/2172*2184. Which is bigger: j or 0?
j
Suppose -3 = 4*p + 2*r + 3, -2*p - 2*r - 4 = 0. Suppose 1 = -2*b + 5. Let c be (-12)/(-105) + b/7. Which is greater: p or c?
c
Let b be 25*6*(-7)/(-56). Which is smaller: 19 or b?
b
Let l = -5.968 + -0.032. Let j = 6.4 + l. Which is greater: j or -4?
j
Let h = -173 - -25. Let x = -147 - h. Do x and -31 have the same value?
False
Let i = 52 + -22. Let c = -31 + i. Which is smaller: c or 6?
c
Suppose 6*i = -206 + 8. Let l = -32 - i. Do -3/17 and l have the same value?
False
Let s(k) = -4*k - 10. Let o be (-20)/6*6/5. Let t be s(o). Is 5 not equal to t?
True
Let r(v) be the third derivative of v**6/120 - 2*v**5/15 + v**4/4 + 3*v**3/2 + 13*v**2. Let w be r(7). Which is greater: w or 0.2?
w
Let r be (-18 - 1)/(2032/(-336) - -6). Is r less than or equal to 399?
True
Let w = 44533/3119108 - 1/8836. Which is smaller: w or 1?
w
Let a = 5602 - 610612/109. Is 0 >= a?
False
Let h = -11 + 3. Let k = -8 - h. Let f be -1*6/12*(1 + -3). Which is bigger: f or k?
f
Suppose -10 - 30 = -2*n. Which is greater: 17 or n?
n
Let k be ((-34)/4)/((-104)/(-208)). Which is bigger: -11 or k?
-11
Let z be ((-2)/3)/(1*-1). Suppose -3 + 62 = -n. Let v = 237/4 + n. Which is smaller: v or z?
v
Suppose 14 = 34*b - 20. Which is bigger: b or 1/219?
b
Let k = 278.014 - 278. Which is greater: k or 0.3?
0.3
Let p = 1011 + -1016. Which is smaller: 17 or p?
p
Let u be -1*(3/9)/((-1)/(-3)). Let k(a) = -4*a - 3. Let w be k(u). Is w at most 8/11?
False
Suppose -6*z - 2 = -8. Suppose -2*y - 3 = -n, y + z = -n - y. Which is greater: 2/73 or n?
n
Let z(g) = -53*g - 354. Let h be z(-6). Suppose -11*s = -7*s + 144. Is h at most as big as s?
True
Let w = -265 - -335. Is w >= 71?
False
Let n = -517 + 3617/7. Which is bigger: -35 or n?
n
Let r(n) = 18*n - 17. Let f be r(1). Which is smaller: 13/12 or f?
f
Let l(k) = -k - 33. Let m be l(0). Let v = -30 - m. Let g be (-1)/3*v - -2. Which is smaller: g or -2/11?
-2/11
Let j(r) = -66*r + 131. Let p be j(2). Are 8/103 and p equal?
False
Suppose 49*u - 74*u - 175 = 0. Which is smaller: u or -14?
-14
Let w = 0.094 + 44.906. Let t = w - 44.9. Do 4/7 and t have different values?
True
Let i be (-644)/10 + 72/(-120). Is -67 at least i?
False
Suppose 0*j - 3*j = 84. Let x = j - -41. Suppose x*y = 8*y. Is 2/57 at most as big as y?
False
Let i be (-2)/(-2) + 0 + 0. Let s = -916/6945 - 2/1389. Are i and s nonequal?
True
Let u = 193 - 85. Let l = 107.8 - u. Is l bigger than 0.13?
False
Suppose -6*f + 9 = -3*u - 9*f, 0 = -f - 5. Let j be u/42*(0 + -2). Which is greater: -1 or j?
j
Let g(j) = -2*j**2 + 19*j - 9. Let f be 1 + 116/14 + (-2)/7. Let q be g(f). Is 12/11 less than q?
False
Let q(k) = k**2 + k - 4. Let w be q(-4). Let l(z) = -z**3 + z**2 + 3*z + 1. Let s = -36 + 34. Let j be l(s). Is j > w?
False
Suppose 0 = 3*y + 15, 4*l - 3*y + 473 = -0*l. Let g = 77 + l. Which is bigger: -46 or g?
g
Let d(t) = -6 + 2*t + 4*t - t - 3*t. Let p be d(4). Is p at least as big as 5/2?
False
Let s(z) = z**3 - 7*z**2 + 6*z - 2. Let a be s(6). Let l = 1.5 + -2. Which is greater: a or l?
l
Suppose m + m = 4*k + 300, 5*k - 439 = -3*m. Is 150 less than m?
False
Let y = 68/165 - 2/165. Which is greater: y or -5?
y
Let b = 0.296 - 0.196. Which is smaller: 188/13 or b?
b
Let i = -543 - -540. Let v(p) = 5*p**2 - p. Let f be v(1). Let b = f - 7. Is i at most as big as b?
True
Suppose -f + 17 = -5*s, 0 = 4*s + 5*f - 2*f + 6. Which is smaller: s or -40/9?
-40/9
Let f = -1 + -62. Let s = -43 - f. Let q = s + -21. Which is smaller: 2/13 or q?
q
Let o(u) = 2*u**2 - 2*u - 3. Let m be o(2). Let r(w) = w**3 + w. Let n(z) = 6*z**2 + 4*z + 1. Let g(s) = -n(s) - r(s). Let q be g(-5). Which is bigger: m or q?
m
Let a(u) = -6*u**2 + u + 28. Let y be a(-2). Let r(m) = -5*m**3 - m**2 - m. Let w be r(-1). Suppose 60 = w*p + 5*z, y*z = p - z. Which is smaller: p or 10?
p
Let s be 0 + -1 + 14/(-12). Let y be (-2*(1 - 0))/(-2). Suppose j + 3*j = -4*r + 12, -3*j - r = y. Which is smaller: j or s?
s
Let r = -29 + 32. Let x(k) = -k - k + 3*k + 11. Let t be x(-8). Is t >= r?
True
Let h be (-1)/(-2) - 5232/1632. Which is bigger: h or 1?
1
Let f = 1 - 0. Let z = 27/127 + 13127/381. Let t = 36 - z. Are t and f unequal?
True
Let b be (-1)/(-2) - (-8)/(-16). Suppose 4*k + 5 + 3 = b. Let g be (-5)/(10/4) - k. Is -1 greater than g?
False
Let k(j) = -10*j + 18. Let l(a) = -16*a - 77. Let m be l(-5). Let c be k(m). Is -11 greater than c?
True
Let o be -42*(11262/(-3850) + 3) + 3. Let r = o + 4/25. Is -1 < r?
True
Let z = 5 + -3. Suppose -5*k - 9 = -4*v - 3, -z = -5*k + 2*v. Suppose k = 2*s, 4*y - 3*s + 9 = -6. Are -4 and y equal?
False
Let x(k) = 5*k - 11. Let c be x(-9). Let d be 46/16 + -3 + 25/c. Suppose 0 = u - 5*u. Which is bigger: u or d?
u
Let k = -58 + 95. Let f = k + -36. Is f at most -4/31?
False
Suppose 3*w = 4*x + 8*w, 0 = -3*x - 5*w. Suppose x = -31*a + 29*a + 10. Are -4 and a unequal?
True
Let m be 6/27*(-11)/(-143). Which is smaller: 1 or m?
m
Let i(d) = 6*d**2 + 87*d**3 - 43*d**3 + 3*d - 43*d**3 - 6. Let w be i(-3). Let h = 8/23 + 6/115. Which is smaller: w or h?
h
Let p be 2/8 + 126/8. Let v be 4 - 1*-10*6/12. Suppose p = 4*k, -4*s + k + v = -7. Is s at least as big as 5?
True
Let n = -17 + 27. Suppose n = -x + 7. Is x < -3?
False
Let b = -438 + 443. Is b greater than -12?
True
Let c be (-1306)/(-5032) - (-23)/(-92). Which is smaller: 0 or c?
0
Let o = -43 - -42. Which is smaller: 252 or o?
o
Let g = 53583/5 + -10805. Let t = 88 + g. Let k = 0.535 + -0.325. Is t < k?
True
Let k = -0.152 + 12.152. Which is smaller: 6 or k?
6
Suppose 18*x + 25 = -7*x. Is x <= -10/47?
True
Let k(f) = f + 1. Let v(h) = -2*h - 1. Let y(z) = 5*k(z) + 3*v(z). Let s be y(1). Let i be (1 + s)*1 - 7. Which is smaller: i or -4?
i
Let h = -14 + 2. Let s = -10 - h. Let o(v) = -v**2 + v + 5. Let x be o(4). Do x and s have the same value?
False
Let z(w) = w**2 - 5*w + 1. Let x be z(3). Let q be -9 - (0/(-3) - 2). Let b = -12 - q. Is b less than x?
False
Suppose -d = 2*d - 12. Suppose 4*c - 4 = -h, -d*c + h - 4 = -0*c. Let p be -1*3 - c/5. Is -4 at least as big as p?
False
Let h = 47.35 - 39.4. Let w = 8 - h. Suppose -5*x = -2*m - 28 + 4, 4*m + 3*x = 4. Which is bigger: w or m?
w
Let c be 402 + (3 - (0 - -5)). Let j be c/(-20)*(-2)/(-5). Is j less than -9?
False
Let l(p) = -p**3 - p**2 + p + 11. Let i be l(0). Let v(h) be the second derivative of -h**4/12 + 2*h**3 - 5*h**2 + 2*h. Let a be v(i). Is a at least -2/33?
True
Let w be -3 + 0 + (-3819)/(-1188). Let s be (-11)/2178*(-6)/(-4). Let f = w - s. Is f at most 1?
True
Let r = -191 - -191.266. Let x = -0.116 + r. Are -0.04 and x unequal?
True
Let k = 21.64 - -4.46. Let g = k - 26. Let m = -0.1 - -0.2. Are g and m nonequal?
False
Let a be (-94)/(-30) - (-20)/(-150). Suppose 3*y + 15 = -a*b, 2*b + 3 + 7 = 5*y. Do -6/11 and y have the same value?
False
Let v = 2.699 - 2.72. Is v less than 0.06?
True
Suppose -5*g + 2*g + 225 = 0. Let k(h) = 2*h**3 + 36*h**2 + 34*h + 74. Let q be k(-17). Which is smaller: q or g?
q
Let k = -1195 + 1440. Which is bigger: 243 or k?
k
Let t = -2 + 7. Suppose 4*c + 32 = -4*j, -23*c + 2*j = -22*c - 10. Which is bigger: c or t?
t