.46. Let y = w - 122. Is y greater than 2/331?
True
Let p = 1/25614 - -5481389/179298. Let z = -1126/35 + p. Are -2 and z equal?
False
Let t be 1*-1*4*(-4)/(-16). Let b(r) = -r**3 + r**2 - 1. Let z be b(t). Which is greater: z or 2/141?
z
Let k = -4/335 + 4064/3685. Let d = -0.157 - -0.057. Which is greater: k or d?
k
Let a = -0.045 + -62.955. Is a at most as big as 2/5?
True
Let k = -0.54 - -0.64. Which is smaller: -2/19 or k?
-2/19
Let v = -111 - -110.86. Let j = 0.14 + v. Is 63 at most as big as j?
False
Let n = 56 + -63. Let l(g) = g**3 + 9*g**2 + 11*g + 17. Let j be l(n). Is 39 less than j?
False
Let s = 20 + -16. Let h be 3*(-3 + s)/(-3). Does -6/19 = h?
False
Let m be (2/(-47))/(0 - -1). Suppose 3*a = 5*u - 28, -19*a = -14*a + u. Is a greater than m?
False
Suppose -31*k - 2*l + 21 = -30*k, 0 = 3*l - 30. Let c be 2 + (-1 - (-85434)/(-59)). Let j = c - -1447. Which is smaller: k or j?
j
Let i(n) = -3*n + 10. Let g be i(0). Let d = 14 - g. Suppose -d*j = -5 - 15. Which is greater: j or 4?
j
Let q be -3 + ((-649)/(-198) - (-8)/36). Which is smaller: q or -16/3?
-16/3
Let b = 249 - 130. Let o = 91 - b. Suppose 0*v = -4*v - 2*w - 124, -3*w = 4*v + 128. Which is bigger: o or v?
o
Let n(i) = 4*i + 1. Let u be n(6). Suppose 5*d + u + 245 = 0. Which is greater: d or -53?
-53
Let q = -1 + 2. Let m be (312/(-84) - 10/(-3))*6/28. Is m bigger than q?
False
Let u = -12 + 11. Let z(j) = -8*j + 1. Let x be z(u). Suppose 5 = 4*n + x. Is -17 equal to n?
False
Let n = -327 + 366. Let a = 60 - 43. Let j = n - a. Which is smaller: j or -1?
-1
Suppose -l + 116 = -3*v + 7*v, 5*v + 4*l - 156 = 0. Suppose -f - v = 2*c, 4*c - 3*f + 69 - 13 = 0. Let p = -29 + 14. Is c greater than p?
True
Let a be 2/(-8) + 55/(-20). Let j be -2*(a - (-63)/(-6)). Let m be (-6)/(-27) - (-3)/j. Which is smaller: m or -0.3?
-0.3
Let p = -10.7 - 40.7. Let j = p + 51. Which is greater: j or 1/2?
1/2
Let l = 161.003 - 0.003. Let i = l + -190.4. Let u = 29 + i. Which is smaller: -0.2 or u?
u
Let w(p) = -p. Let k be w(-2). Let s = -11 - -15.8. Let q = s + -5. Which is smaller: q or k?
q
Let b = -98.52 - -101. Which is smaller: 0 or b?
0
Suppose -a = -2*h - 16, 0 = -0*a - a - 5*h + 30. Let x be ((-529)/20)/((-16)/a). Let q = 33 - x. Is q at most as big as 0.1?
True
Let g be (-53 - -2)/(3/(-2)). Let l = 173/5 - g. Let v = 98 - 96. Is l not equal to v?
True
Let l = 167 + -172. Which is bigger: 20 or l?
20
Let y = -575 + 573. Let g = 3 + -1. Suppose -7*w + g*w + 22 = -d, 3*d + 3*w - 24 = 0. Which is greater: d or y?
d
Let v = 773 + -1274. Which is bigger: -500 or v?
-500
Let b be 106/(-3 + 435/13). Let z = b - -2/99. Let f be (-10 + 1)*(-1)/3. Which is bigger: f or z?
z
Let q = 22 - 17. Suppose -18 - 77 = q*r. Let y = -17 - r. Which is bigger: y or 6/5?
y
Suppose 2*j - 497 = 4*s - s, -3*j + 5*s = -743. Let k be j/10 + (-10)/(-25). Let c be 16/(-234) + (-4)/k. Is -1 != c?
True
Let p be ((-6)/(-3) + -1)*7/(-21). Which is greater: -2.03 or p?
p
Suppose -41*b + 5 - 46 = 0. Let y be (-7)/(-56) + 455/(-3768). Is b >= y?
False
Let m = -48/7 + 1748/259. Let w = 2966561/111 + -26726. Let c = m + w. Which is smaller: c or 0?
c
Let o be -2 + 2/224*(-1442)/(-7). Which is greater: o or -1?
o
Let t = 2459 + -2464. Let k = 0 + 1. Which is smaller: k or t?
t
Let f = 190.2 - 190. Let z = -19 + 32. Which is smaller: z or f?
f
Let y = 307 + -303. Which is smaller: 60/17 or y?
60/17
Let y be 74/14 + 26/(-91). Let r(h) = h**3 + 3*h**2 + 9. Let d be r(-3). Is y equal to d?
False
Suppose -65 = 4*u - 0*u - 3*n, 2*u = -n - 25. Suppose -14*w - 127 - 69 = 0. Is u > w?
False
Let h = -3934 - -3934. Let l = -1/564 + 4/47. Which is bigger: h or l?
l
Let q be 385 + 9/(-6)*-2. Suppose -4*k - 64 = -q. Let s = -53 + k. Is 27 <= s?
True
Let b be (-364)/(-70) - 1/5. Are b and 11/3 non-equal?
True
Suppose -21*c = 50 - 29. Do c and -7/37 have the same value?
False
Let x = -34.912 - 0.088. Let u = 21 + x. Let i = u + 8. Which is greater: i or 1?
1
Let s = 491.01 + -491. Which is greater: 66 or s?
66
Let v(f) = -2*f**2 - 6*f - 3. Let x be v(-3). Is x at least as big as -11?
True
Let i(k) = -k**2 - 3*k + 5. Let a be i(-5). Let n be (2 + -26)*a/15. Let w(v) = v**2 - 2*v - 1. Let y be w(4). Is n smaller than y?
False
Suppose 0 = 2*i + 6*i. Does i = 4/187?
False
Suppose -24 = -5*h - 4*l + 23, 43 = 4*h + 5*l. Suppose 0 = -6*c - 1 + h. Is 2/29 smaller than c?
True
Suppose 6*a - 35 - 1 = 0. Suppose -7 + 1 = -a*o. Let m = -1/19 - -22/57. Is m at least as big as o?
False
Let q be (-6)/(6/2) + 2. Let u(c) = -c**3 - 7*c**2 - 2*c - 8. Let b be u(-7). Let y = b - -1. Which is smaller: y or q?
q
Let v = -19378/7 - -2760. Is v at most as big as -7?
True
Let o be 453/(-18) + (-42)/(-252). Which is bigger: -31 or o?
o
Suppose 10 = 5*c, 2*g - 339 = 5*c + 39. Which is bigger: g or 195?
195
Let t(w) = 2*w**2 + 36*w + 36. Let q be t(-17). Which is smaller: -0.73 or q?
-0.73
Suppose 2*p = 3*j - 2*j - 1, 4*j - 4*p = 0. Let m be (2 + -3)*j*4. Which is greater: m or 26/7?
m
Let u(k) = -k**2 - 5*k. Let g be (-2)/(-2)*(-24 + 20). Let i be u(g). Which is smaller: 1 or i?
1
Let z = -88 + 131.1. Let l = -43 + z. Let g = -5 + 0. Which is greater: g or l?
l
Let t be (5 - (3 - -1))/((-15)/45). Which is bigger: t or -419?
t
Suppose 16 = 2*o + 2. Let t = o + -8. Which is bigger: t or 13?
13
Let b = -38.2 - -21.1. Let s = b + 17. Is 14 > s?
True
Let s(o) = -2*o**3 - 2*o**2 + 2*o - 1. Let m be s(0). Are -5/289 and m non-equal?
True
Let l = 25 - 21. Let a be (-2 + (-372)/(-184))*l. Which is bigger: 0 or a?
a
Let m(u) = 2*u**3 + 12*u**2 + 34. Let z be m(-8). Does z = -220?
False
Suppose -577 = 5*r - 4*w, 4*w + 214 = -58*r + 56*r. Is r smaller than -106?
True
Suppose 4*t = 5*t. Let c = 695/3842 - 1/226. Do c and t have different values?
True
Let h(d) be the second derivative of -d**5/20 + 2*d**4/3 + 4*d**3/3 + 5*d**2 - 7*d. Let a be h(9). Let l be (-3 - (-33)/12)*-3. Is a != l?
True
Let s = -0.4 - -0.4. Let m = -16.603 - 0.297. Let v = m + 0.9. Are v and s nonequal?
True
Suppose -4*r + r = 9. Let d(u) = -u - 10. Suppose 2*l - 5*q + 2 = 3*l, 2*l + 10 = -3*q. Let o be d(l). Are o and r non-equal?
True
Let f(n) = 3*n**2 - 2*n. Let v(l) = 2*l - 10. Let c be v(4). Let x be f(c). Is 15 greater than or equal to x?
False
Let t = 16 - 17. Let f(a) = -a**2 + 8*a - 4. Let r be f(6). Is r smaller than t?
False
Let l = 41.106 + 2.574. Let p = l - -0.32. Is 0.1 bigger than p?
False
Let s be 4/(-2)*(-3)/63. Suppose -12*q + 14*q - 4 = 0. Suppose 3*j - 3*o = -q*j + 10, 2*j + 4*o = -22. Are j and s equal?
False
Let r = -1789/27 - -16/27. Let p = -66 - r. Is 3 > p?
True
Let z = 25.9 - 13.8. Let i = z - 12. Which is greater: -8 or i?
i
Let l = 26 + -129/5. Let b = 139 - 153. Is l less than or equal to b?
False
Let q be (-2)/(-3) - (-16)/(-6). Let a be (q/30)/((-2)/12). Suppose 0 + 2 = -2*u. Which is bigger: a or u?
a
Suppose -4*j = -3*j - 76. Let a = 147 - j. Is 70 less than or equal to a?
True
Let i be 187/1122 + 46/(-258). Let t(z) = z**2 - 3*z - 5. Let f be t(4). Which is smaller: f or i?
f
Suppose -2*m = -5*m - 6. Let w = m + 4. Suppose 0 = 2*j - w + 4. Is -1/16 less than j?
False
Suppose -4*l - 8 = -6*l. Suppose -10 = 5*y + x + l*x, 0 = -2*y + 2*x + 16. Is 3 < y?
False
Let o = 27.8 + -28. Let p = -0.1 - o. Let r be 12/20 - (-33)/(-105). Which is bigger: p or r?
r
Let x be 1/(2/12 + 0). Suppose 0 = x*i - 4*i - 5*v - 15, 3 = 5*i - v. Let j be (-3 + 1 + 4)*(-2)/36. Is i equal to j?
False
Let b(j) = -j**3 + 21*j**2 - 53*j + 16. Let r be b(18). Which is greater: 69/2 or r?
69/2
Suppose -r = f - 8, -177*f + 2*r + 47 = -172*f. Suppose -4 - 2 = o. Let y be ((-3)/2)/(1/o). Is f bigger than y?
False
Let y = 1066 + -1065.85. Is 3 at most as big as y?
False
Let p = 29.07 - 29. Let c = p - -2.93. Let u = -0.1 - -1.1. Which is bigger: u or c?
c
Let t be 4064/112 - 4/14. Let m be t/9 - (-264)/(-63). Is -1 less than m?
True
Let d be (4/3)/2*25947/18. Which is greater: d or 962?
962
Let g = -19 + 24. Suppose 20 = -g*u, -7*f - 24 = -11*f + 5*u. Which is smaller: 0 or f?
0
Let z(o) = o**3 - 10*o**2 + 5*o + 18. Let m be z(9). Let j be (-7)/(-21) + (-2)/m*-5. Which is smaller: 0 or j?
j
Suppose -48*t - 3 + 3 = 0. Which is smaller: 12/31 or t?
t
Let c = -88/3 + 37. Let b be -8 + (2 + 0 - 2). Let y = c + 