: 18 or f?
f
Suppose -6*h + 6 = 5*l - 2*h, 2*h = 2*l + 12. Suppose 2*m = -0*m - 24. Let k = l - m. Which is greater: 9 or k?
k
Suppose -8*c = -5*a - 10*c + 410, 5*a = -5*c + 425. Which is bigger: 78 or a?
a
Suppose 4*i = -4*q - 42 + 10, 4*i = 2*q - 32. Which is bigger: i or -65/9?
-65/9
Let d(m) = -m**2 - 6*m - 1. Let r be d(-3). Let i = r + -25. Which is smaller: -18 or i?
-18
Let j = -1.6 - 1.2. Let f = -3 - j. Let c(v) = v**2 - 72*v + 64. Let w be c(1). Which is smaller: w or f?
w
Let t = -13.3 - -13. Let j = 113 - 115. Which is greater: t or j?
t
Let l be (-16)/42*264/176. Which is bigger: l or 53?
53
Let i = 15.3 + -14.3. Are i and -11/6 nonequal?
True
Let g(v) = -4*v - 1. Let q(h) = 12*h + 2. Let m(b) = -7*g(b) - 2*q(b). Let c be m(-2). Suppose 0*r + 25 = -5*r. Does c = r?
True
Let a(p) = 2*p - 12. Let q be a(8). Suppose 3*x - 40 = -0*w + w, 0 = -q*x + w + 53. Let c = x + -16. Does c = -4?
False
Let y(w) = -27*w - 136. Let a be y(-5). Are 7/106 and a unequal?
True
Let h be (-2 - (-124)/8)*(-104)/(-12). Which is smaller: h or -0.4?
-0.4
Let a be (44/(-3))/(-2)*(-132)/(-792). Which is smaller: a or 1?
1
Let q(w) = -w**3 - 10*w**2 + 16*w - 25. Let j be q(-12). Let g = j - 70. Is g less than or equal to -2/33?
False
Let s = -0.0859 + -66.9141. Which is bigger: -0.05 or s?
-0.05
Let k = -1.64 + 1.84. Is k at least as big as -10?
True
Let c be (2443/(-1442))/(1/484). Let y = 820 + c. Suppose 0 = 3*a - a - 2. Which is smaller: a or y?
y
Let k(t) be the third derivative of -t**5/60 - 5*t**4/24 - 2*t**3/3 + t**2. Let f be k(-5). Let z = 2460 + -4921/2. Which is smaller: z or f?
f
Let v be 2/16 + ((-203650)/28560 - -7). Which is greater: 1 or v?
1
Let r be (-3 - 1)/((-14)/(-35)). Let w be ((-368)/(-40))/(2/r). Let x = 183/4 + w. Which is bigger: x or 0?
0
Let t = -65 - -69. Suppose -7*j + 45 = 2*j. Are t and j nonequal?
True
Suppose -h + 2*h = -13. Let d(y) = 37*y**3 + 72*y**2 - 6*y - 3. Let f be d(-2). Is f < h?
False
Let f = 186 + -183.34. Let n = f - -0.34. Is n less than or equal to 1/3?
False
Let c(b) = -b**3 + 6*b**2 + 18*b - 72. Let h be c(7). Which is bigger: 4 or h?
h
Suppose 221*p - 206*p = 465. Which is bigger: p or 36?
36
Let b be (-13)/(-2*4/24). Let k be (-6)/(-11) - (-18612)/484. Is k at most b?
True
Let l(r) = -r**3 + r**2 + 2*r + 2. Let f be l(-1). Suppose f*x = 3*j + 19, -4*j + j = 4*x - 11. Which is bigger: -5/6 or j?
-5/6
Let z be 0*(150/(-375))/(4/5). Which is bigger: 2/1345 or z?
2/1345
Let w(x) = x**2 + 4*x - 5. Let s be w(-5). Let v(q) = 21*q + 16. Let h be v(-14). Let f = h + 8620/31. Is f greater than s?
True
Let x be (-4472)/(-28) + 3/(-21). Let w = 160 - x. Is 1 less than or equal to w?
False
Let w be ((-40)/12)/(-3 + 30/9). Let m be 8/w*(4 - -1)/1. Which is smaller: m or 0.7?
m
Let q(u) = -u - 8. Let n be q(-12). Suppose n*j + 4 = -8. Suppose 8*m - 4*m + 8 = 0. Are m and j equal?
False
Suppose 2*k = h - 13, -2*k + 2*h + 9 = 27. Let m be (-1)/((16/k)/(-12)). Let s be ((-92)/(-24) + m)*6. Which is smaller: s or 4?
4
Let x = -477 + 486.13. Let l = 8.87 - 9. Let z = l + x. Which is greater: 0 or z?
z
Suppose -93*d + 48 = -97*d. Which is bigger: -7 or d?
-7
Suppose -5 = 5*n - 5*a, 2*n + 122 = a + 120. Which is smaller: n or 196?
n
Let m be 28/7 - (-1)/(-3). Let v(u) = -u**3 + 8*u**2 - 4. Let c be v(8). Let a(j) = j + 9. Let s be a(c). Is s not equal to m?
True
Let f = 83 - 79. Suppose 3*h - f = -1. Is -3/8 at most as big as h?
True
Let b = 17 - 13. Let o be 7 + (-6 - -3) + 4. Suppose a + 5*m = -o, -a - 6 = 5*m - m. Which is greater: b or a?
b
Let d(i) = i - 6. Let n be d(22). Is n greater than or equal to -4?
True
Let h = -4331/110 + -7/55. Let i = 39 + h. Suppose 5*a + 23 = 2*x, -3*a + 4*a = -5. Which is smaller: i or x?
x
Let r = 151 + -148. Which is bigger: r or 116?
116
Let y be 180/45 - (39 + 3). Do -50 and y have the same value?
False
Let p = -595 - -589. Is p < -0.48?
True
Suppose 5*i - 20 - 5 = 0. Suppose -2*m + 4*l + 20 = 0, -i*l = 4*m - 118 + 39. Suppose 4*n - 32 = -2*w + 16, 0 = 3*n - 12. Is w bigger than m?
False
Suppose -14977 = 362*l - 345*l. Does -880 = l?
False
Let j(q) = q**2 + 3*q + 2. Let x be j(-4). Suppose -13 = x*c - 1. Is -4 at most as big as c?
True
Let k(q) = q**3 - 6*q**2 + 3*q + 13. Let i be k(5). Do -0.5 and i have the same value?
False
Let x = 417/7 - 60. Let r = 10 - 3. Let i = r - 7. Is i < x?
False
Let h(f) = -45*f**2 + 3*f - 3. Let v be h(5). Let u be -2 + -17*111/v. Let q = -1/53 - u. Do 4 and q have the same value?
False
Let p(n) = n**2 + 6*n + 2. Let m be p(-6). Suppose 4*x + 15 = q + 39, 3*x - 17 = q. Let c be 9/x + (3 - 3). Is m less than or equal to c?
False
Let b be 1/2 - (-22)/44. Let q be ((-6)/(-1156))/(3/4). Let o = -608/4335 + q. Is b equal to o?
False
Let n be (-1)/(-2) + (-35)/(-14). Let p be ((-2)/2)/(n/(-30)). Suppose -p*a = -5*a. Which is bigger: 2/19 or a?
2/19
Let k(t) = 6*t - 7. Let x be k(2). Suppose 0*p + 5*f - 6 = -p, -x*f = -p - 44. Which is smaller: 1 or p?
p
Let a be 3*-8*(-6)/(-4). Suppose -6*o - 264 + 42 = 0. Which is smaller: a or o?
o
Let r = -450.13 - -450. Are r and -0.01 non-equal?
True
Let t be 3/((-45)/10)*6 - -831. Which is smaller: t or 826?
826
Suppose 1 = -41*k + 40*k. Is 1/598 less than or equal to k?
False
Let q(t) = 7*t**2 + t + 2. Let n be q(-1). Let m = n - 9. Is m at least -5/3?
True
Let r = -25 + 42. Let g = -16 + r. Suppose b + 3 = -4. Which is greater: g or b?
g
Let l be (-1700)/40 + 6/(-4). Let v be (-1 - -1)/(l/11). Which is smaller: v or -1/21?
-1/21
Suppose 5*j = -w + 3*w - 4, 0 = 3*j - 4*w + 8. Which is bigger: -14/17 or j?
j
Let l(y) be the second derivative of -y**4/12 - 3*y**3/2 + 6*y**2 - 7*y. Let j be l(-10). Let g = 17 + -9. Is j less than g?
True
Let f be 2 + 5/(-2) + (-144)/(-168). Which is smaller: f or 0?
0
Suppose 2*v = 2*q, v - 4 = q + 4*v. Let i be (1 + -2)/(q - -2). Let j = 305 - 4267/14. Which is greater: j or i?
j
Suppose w = 4*w + 144. Let m be -2 + 3 - (-8)/w. Let r = -77/78 + m. Is 1 <= r?
False
Suppose 5*o - 10 = 0, 0 = g + 3*g - 5*o - 26. Let y be 6/g*(-1)/12. Suppose -2 = 6*x - 4*r, 5*r - 4*r - 2 = 0. Is x at least y?
True
Suppose 0 = 5*s - 3*n - 28, 0 = -s + 39*n - 41*n + 16. Let y(c) = c**2 + 2*c + 1. Let z be y(-1). Which is smaller: s or z?
z
Suppose m - w - 12 = -5*w, 5*m - 2*w + 50 = 0. Let q(f) = 13*f. Let y be q(1). Let j = y + -19. Which is smaller: m or j?
m
Let w(c) = -23*c + 23. Let j be w(1). Is 16/5 greater than j?
True
Let n = -354 - -362. Suppose -9*a = -52 + 7. Are n and a equal?
False
Let z = -41/105 - -2/35. Let v = 3.27 - 0.17. Let a = -3 + v. Which is smaller: a or z?
z
Let r be (-3*(-4)/3)/(137 + -3). Let j = 1 - 0. Which is greater: j or r?
j
Let w be 912/18*(-3)/(-26). Is 6 not equal to w?
True
Let c = 1912 - 19147/10. Which is smaller: c or -4?
-4
Suppose -3*p = 13 - 97. Which is smaller: 27 or p?
27
Suppose y - t = 0, 23*y - 20*y + 3*t = 0. Which is smaller: y or 108?
y
Let f be 3/(135/(-96)*-2). Let q = 84 + -83. Which is bigger: f or q?
f
Let b be 15/(-10)*(-28)/(-3). Let n be (8661/(-18))/(b/(-8)). Let v = n - -275. Are v and 1 equal?
False
Let d be (-2)/(-17) - (-183)/(-255). Let z = d + 7/10. Suppose 0 = h + 3*h. Do h and z have the same value?
False
Let r = 0.1669 - -0.0149. Do -1 and r have the same value?
False
Let s be (-705)/699 - (-1)/1. Let t be ((-146)/14)/(233/3). Let z = t + s. Is z != 0?
True
Let h = -2483 - -2483. Let w be (-2)/7 - 120/(-322). Which is smaller: w or h?
h
Let i = 1217902319962568176978/72590830367125 + -3396/147243063625. Let h = i - 16777633. Let q = h - 1/203. Which is smaller: 0 or q?
0
Suppose 0 = 2*n - 3*n + 4. Let q(p) = 0 + p - 3 - 1. Let m be q(n). Is m smaller than 1/10?
True
Suppose -24 = 5*v - 34. Let g be ((-1)/v)/((-10)/(-30)). Is 0 >= g?
True
Let l be 6 + (-15)/(-2)*45/(-54). Is l bigger than -1?
True
Let z(g) = g**3 - 9*g**2 + 4*g - 11. Let a be z(9). Let u be (1 - 1)/(-20*(-27)/135). Which is smaller: a or u?
u
Suppose -28 = t + 3*t. Let x = t + 10. Suppose -3 = x*f - 5*q + 10, 8 = -4*f + 2*q. Which is smaller: -1/15 or f?
f
Let p be (81*1 - (-36)/36)/(-2). Which is bigger: p or -43?
p
Let p = 477 - 477. Is p bigger than -29?
True
Let c be 5 - (1 + 1) - 3. Let s(r) = r**3 + 12*r**2 - 7*r + 4. Let x be s(-13). Let b be x/132 - (-2)/4. Are c