ater: 10 or j?
10
Suppose 4*h = 2*v + 32, -5*h + 34 + 15 = -4*v. Let j(l) = 2*l**2 + 11*l - 8. Let m be j(v). Which is bigger: -12/13 or m?
-12/13
Let b = 303 - 303.1. Which is smaller: b or 6?
b
Let z be 30/200*15/(-18). Which is bigger: z or 8?
8
Let j be 220/(-2090) + (-29)/(-247). Which is smaller: j or 0?
0
Let v be 17/(-5) - 3/(-1). Let f = 1.577 - 0.927. Is v at least as big as f?
False
Let r be (-4)/44 + (-90)/462. Are r and -1 nonequal?
True
Let m = -453603413/390 + 1163085. Let u = 1/130 + m. Let f = -66.32 + 66.27. Which is bigger: u or f?
f
Suppose 3*l - 4*x = 7*l - 192, -86 = -2*l - 4*x. Let n be (-12)/(-27)*146/l. Let v = -6/53 + n. Is 0 bigger than v?
False
Let g = -0.0669 + 0.0569. Is g != -0.1?
True
Suppose -x + 0 - 1 = 0. Let s = 612/11 + -115657/2079. Let v = s + 349/5481. Which is bigger: v or x?
v
Suppose -9*t = -107*t - 22148. Is -227 less than t?
True
Let f be 1*((-4 - -1) + 1). Let h be (-16)/(-4) + (-1 - f). Suppose -4*o = -r - o + 18, 0 = r - h*o - 24. Does r = 8?
False
Let y(h) = 4*h**2 - 2*h - 3. Let o be y(-2). Which is greater: 31/2 or o?
o
Let g = -59 + 41. Let r = g - -23. Let i = r + -9. Which is smaller: 0.1 or i?
i
Suppose -47*s + 5073 = -12082. Which is smaller: -3 or s?
-3
Let k = -19 + 17.2. Let j = 208 + -207. Is k > j?
False
Let r be (6/(-63))/((-8)/36). Let s = 1/35 - r. Does -18/11 = s?
False
Let u be 0/(-3 - (-3 - -1)). Let r be (-2)/(2 - u)*-1. Is 1 at most as big as r?
True
Let p = -17 + 52. Let f be (-1 + -1)*(-5)/p. Which is smaller: f or -2?
-2
Let d(w) = 2*w**3 + 75*w**2 + 38*w + 36. Let s be d(-37). Which is smaller: -28/55 or s?
s
Let n = 2/905 + -1836/11765. Let k(a) = a**3 + 2. Let x be k(0). Suppose 6 = 3*m + x*j, 0*j = -4*m - 4*j + 12. Is n smaller than m?
True
Let o = -1157.8 - -1158. Is o smaller than -200?
False
Let t = 13780/261 - 1950/29. Is t not equal to -13?
True
Let t(y) = -3*y**3 - 6*y**2 - 7*y - 2. Let d be t(-2). Let j be 7 + (-4)/(-1) - -1. Are j and d non-equal?
False
Let u(f) = -f - 15. Let h be u(-11). Let r be -6*h/4*-1. Let y be 6/(1 + (3 - 5)). Is y at least r?
True
Suppose -n - 3*f + 104 = 0, 2*n = -n + 2*f + 312. Let z = -1560 - -1664. Is n > z?
False
Let k = -1644 + 1645. Let q = -2/309 - 171/103. Is q less than k?
True
Suppose 20 = -7*l - 141. Let c = l + 21. Let z(n) = -n - 7. Let s be z(-5). Does s = c?
True
Let o = -18.205 - -0.305. Let p = -18 - o. Which is greater: -3/25 or p?
p
Let s be ((-54)/4)/(0 - 1). Let v(k) = -k**3 - 6*k**2 + 14*k - 1. Let b be v(-8). Which is smaller: s or b?
s
Let f be -3 + ((-63)/12 + 5)*0. Do 3 and f have the same value?
False
Let c be 6/(-9)*150/(-90). Suppose 5*y - 5 - 10 = 0. Suppose 5*g - 5 = y*n - 3, 0 = g - 2*n + 1. Are g and c equal?
False
Suppose 2*v = -5*z + 15, 4 + 6 = 5*z + v. Are -809 and z non-equal?
True
Let k = 32.867 - 4.037. Let h = k + -29. Let a = h + 0.07. Is a <= -20?
False
Let c(h) = 6*h + h**2 + 5 - 2*h - 1. Let a be c(-3). Let i = 19 + -13. Which is smaller: a or i?
a
Suppose -20 = -5*m - 0*m. Suppose -m*c = -c + 36. Let z = -3 - c. Which is greater: -1 or z?
z
Let o = 4001/88 + -227/8. Is 18 greater than o?
True
Let l = 0.03 + 1.97. Let t be (54/(-90))/(36/(-100)). Which is smaller: t or l?
t
Let d(y) = -y**2 + 2*y + 12. Let l be d(0). Let z be 8/l*(-27)/12. Let g(q) = q**2 - 3*q - 2. Let t be g(3). Is z at least as big as t?
True
Let o(h) = -h**3 + 2*h**2 + 6*h - 7. Let a be o(3). Suppose -6 = 2*s + a*b, 0*s = -3*s + b - 1. Which is smaller: s or 5?
s
Let x(l) = -2*l**2 - 13*l + 7. Let q be x(-7). Let o be -5 - (-23)/6 - q/(-1). Is o smaller than -2?
False
Suppose 4*c + 127 - 151 = 0. Suppose 4*g + 3*m - 37 = 0, g - 5*m + 14 = c. Which is greater: g or 84/13?
g
Let c be ((-60)/150)/((1*-1)/70). Suppose -3*y + c = 2*u, -5*u - 2 = -3*y + 33. Are y and -2 equal?
False
Let c = -84.1 + 94. Let b = 0.024 - 0.124. Let n = c - b. Which is bigger: -1 or n?
n
Let i = -41.1 + -68.9. Are -1 and i equal?
False
Let f(n) = -n**3 - 7*n**2 - 5*n + 5. Let o = 21 - 18. Suppose 15 = -o*s, a = -s - 9 - 2. Let k be f(a). Do k and -1/8 have different values?
True
Let i = -2533 - -12666/5. Let m = -3.6 + 0.6. Let t = m - -2.9. Is i less than or equal to t?
False
Suppose -4*u - 3*f + 13 = 0, 2*u - 3*f - 3 = 8. Suppose o - i = 3 + u, -2*i - 4 = 0. Let k(n) = n - 14. Let d be k(o). Are -8 and d nonequal?
True
Let c(g) = -10*g + 17. Let k be c(0). Do 13 and k have the same value?
False
Let z = 0.8 - -4. Let a = -3.8 + z. Which is smaller: -21 or a?
-21
Let z = 2.16 - 1.94. Which is smaller: -3 or z?
-3
Suppose -2*b + b - 48 = 0. Let c(w) = -4*w**2 + 8*w - 17. Let g be c(4). Are g and b non-equal?
True
Let p = 21 - 11. Let k = p - 11. Let r be 27/(-29) - 1/(-1). Which is smaller: r or k?
k
Let k = -632 + 275. Let s be (-1)/((-8)/(-138))*136/k. Which is greater: 8 or s?
8
Let b be 1/(-3) - (-88)/(-6). Suppose -35*p = -48*p - 208. Is p >= b?
False
Let k(f) = f - 2. Let a be k(2). Let z be (4/(-6))/(99/501). Let x = z - -32/9. Which is smaller: x or a?
a
Suppose -3*m + 2*q - 12 = 0, -2*m + 0*q = 4*q - 8. Let b be 72/(-80) - 2/(-4). Which is greater: m or b?
b
Let q = -9 + 9. Suppose -p - 2*p = q. Suppose -5*z + p*z = w - 29, -z = 5*w - 25. Is 1 >= z?
False
Suppose -t - w - 50 = t, -4*t - 80 = -3*w. Which is smaller: t or -9?
t
Let q(i) = i**3 + 9*i**2 - 12*i - 17. Let c be q(-10). Let a be c/(7 - -5) + 3/4. Is -3/89 less than or equal to a?
True
Let n = 330 - 326. Let c(d) be the first derivative of d**4/4 - d**3 - 3*d**2/2 + d - 1. Let q be c(n). Which is greater: q or 6?
6
Suppose n = 4*n + 2*n. Suppose 4*l - 4*m - m + 71 = 0, 5*l + 3*m + 61 = n. Is 0 smaller than l?
False
Let u be (-32)/20*-5 - 5. Let g(n) = -n**3 + 5*n**2 - 2*n - 3. Let m be g(3). Suppose 0 = -c - x - 3, 0*c - 3*c + m = -u*x. Which is smaller: c or -2/17?
-2/17
Suppose -6*k + k - 20 = 0, 3*v + 26 = -5*k. Which is greater: v or -12/13?
-12/13
Suppose 3*w + 97 - 100 = 0. Is w != -2/13?
True
Let h be 8/(-6)*((-452)/(-8) - -5). Let c = 69 + h. Is -14 smaller than c?
True
Let q(w) = -156*w**3 - 5*w**2 + 4*w - 2. Let z be q(1). Is -158 greater than z?
True
Let l be (-3193)/310 - (-1)/(-5). Which is bigger: l or -11?
l
Let v = -44.8 - -29.8. Is v at most as big as 5?
True
Suppose 8*r = 400 + 128. Which is smaller: 71 or r?
r
Let i be 3546/(-9639) - 2/(-3). Let n = i + -2/153. Let m = -1919/6 - -319. Is m equal to n?
False
Suppose 3*b + 60 = 5*h + 6, 5*b - h + 90 = 0. Let q = 8 + b. Let x = 6 + -17. Do q and x have the same value?
False
Suppose -3*a + 6 = -4*z + z, z - 5*a + 14 = 0. Let b = -0.45 + 0.05. Let h = 2.4 + b. Which is smaller: z or h?
z
Let m = -256533/452 - -23/452. Let b = -583 - m. Which is smaller: -15 or b?
b
Let f = -70 + 70. Let w be f/(-5) + 225/21. Which is greater: w or 12?
12
Suppose -12 = 3*t + 2*y, 4*y - 12 = -0*y. Let l be (-80)/(-32)*t/(-5). Let o = 3 - l. Which is greater: o or -1/48?
o
Suppose -69*x + 64*x + 55 = 0. Suppose -x*d + 104 = -3*d. Is d smaller than 13?
False
Suppose -q = -2*k - 100 - 221, 4*k = 5*q - 1617. Is 325 not equal to q?
False
Let v(u) = -3*u - 5. Let z(o) = -4*o - 4. Let q(g) = 5*v(g) - 4*z(g). Let h be q(8). Let f = -11 + 11. Do h and f have the same value?
False
Let i = 101 - 141. Let r = -39.94 - i. Is r > -1/5?
True
Suppose 0 = -0*w + 3*w. Suppose -15*j = -12*j - 3. Let l be (4 - j) + 132/(-40). Which is bigger: w or l?
w
Let l be ((-12)/(-14))/((-1)/(-7)). Let v(k) = -k**2 - 48*k - 42. Let y be v(-47). Which is bigger: y or l?
l
Let l(f) = -7*f**2 + 12*f - 11. Let x be l(1). Let i be 24/(-1)*(-15)/x. Which is smaller: i or -59?
i
Let a = -2.9 - -14.9. Is a > -0.06?
True
Let d = -323.33 + 0.33. Which is smaller: 0.3 or d?
d
Let y(s) = -s**2 - 5*s - 5. Let n(x) = x**2 + 5*x - 5. Let i be n(-5). Let u be y(i). Let l be 6/(-10) - (-2)/u. Which is smaller: l or -1/13?
l
Let o = -1.2 - 0.8. Let p = o - -12. Let d = p + -10.4. Which is smaller: d or -1/4?
d
Let j(z) = z**3 - 6*z**2 + 4*z + 2. Let v be j(5). Let g be 10/(-42) - (-1 - 2/v). Which is smaller: 1 or g?
g
Let i = 14 + -19. Let b be (-2 + (5 - 4))*i. Suppose 4*v - 50 = -5*r, -67 = -4*r + r + b*v. Do r and 12 have the same value?
False
Suppose -2822 = -10*w - 24*w. Which is bigger: w or 81?
w
Let r be -1 + 5 + 1236/(-306). Let i(h) = -h**2 + 9*h - 1. Let s be i(9). 