0.12?
0.12
Let d be (78/4 + -1)*(-2 - 4). Let v = -169 - -57. Is d > v?
True
Suppose -146*h + 8374 = 12*h. Suppose 106 = 2*n - 0*n. Is n > h?
False
Let y = 250 + -360. Let h = y - -110.128. Let u = 0.188 - h. Is u equal to 4?
False
Let u be ((-202)/5)/((-18)/15)*-6. Let m be (-2)/9 + 0 - u/18. Suppose 58 = -s + 6*s - 2*l, -2*l - 38 = -3*s. Is m greater than s?
True
Let a = -109631 - -194156492/1771. Which is smaller: 1 or a?
a
Let i be ((-11 + 1)/(-120))/((-1186)/(-16)). Is i < 1?
True
Let d = 1549 - 1605. Let h(t) = -t**3 - 55*t**2 + 58*t + 95. Let z be h(d). Suppose 44 = -5*g - 36. Which is greater: z or g?
g
Let q = 67 + -61. Suppose -g + 3*j - 4*j = 0, 0 = 5*g + 2*j - q. Suppose 25 = 4*i + g*a - 19, 0 = -i - 2*a + 11. Is i equal to 49/5?
False
Let c be (((-72)/293568)/((-2)/8))/(-3). Which is greater: 1 or c?
1
Let h be (34/(-4) - 8)/((-6)/8). Suppose 2*b - 86 = -h. Which is smaller: 30 or b?
30
Let k be (-18 - -15)*((-12)/(-9) + -2). Let p be (-1)/(-3) - 1*501/(-36). Which is bigger: k or p?
p
Let i be (-54)/(-2*(-2 - -3)). Suppose y = 1 - i. Let h = -1.585 + 0.585. Which is smaller: y or h?
y
Let u be (163998/45)/((-4)/10). Is u less than or equal to -9111?
True
Suppose y - 5 = 0, 4*y = -3*r + 9 + 14. Let z = -459 + 461.972. Let s = 0.128 + z. Which is smaller: s or r?
r
Suppose -5 = 3*j + 13. Let i = 290 + -281. Suppose -159*c + 160*c + i = 0. Which is smaller: j or c?
c
Suppose 0 = 6*l - 2*l - 340. Suppose -x - 3*d - 35 = -5*x, -3*x - 5 = 4*d. Suppose y - 23 - 81 = -x*s, 0 = 5*s - 20. Are y and l non-equal?
True
Suppose -38*d = -12*d + 31174. Which is smaller: 0.1 or d?
d
Let y(s) = -325*s + 1609. Let n be y(5). Are n and -0.068 non-equal?
True
Let m be 9 + 3 + -1 + -10. Is -1/12831 at least as big as m?
False
Suppose 5*n = -5*y - 78 - 77, -105 = 3*y - 3*n. Let r(x) = -34*x**2 + 2 + 58*x**2 - 33*x**2. Let u be r(2). Which is greater: y or u?
y
Let s(v) = -2*v**3 + 11*v**2 - 4*v - 4. Let l be s(5). Let r = 76565262968/139 + -550826174. Let b = r - 3056. Is l <= b?
False
Suppose 18*a - 553 = 97*a. Is -16 > a?
False
Let w(y) = -125*y. Let z be w(1). Let h = 5988 - 6112. Let u = h - z. Is 54 not equal to u?
True
Let w = -60 - 10. Let h = -47 - w. Suppose -24*k = -h*k. Which is smaller: k or 2?
k
Suppose 41908 = -5*d + 2*k, 3*d + 10*k - 11*k + 25144 = 0. Is -8380 less than or equal to d?
True
Let h(b) be the third derivative of -b**5/60 - b**4/24 + 44*b**3/3 - 215*b**2. Let n be h(10). Let l(m) = -24*m**2. Let q be l(-1). Is q bigger than n?
False
Let x = 26082 + -26083. Is -198/233 >= x?
True
Let a(c) = -2*c + 24. Let w = 137 + -134. Suppose 2*m - w*r = 36, 2*m - 7*m - 5*r = -40. Let j be a(m). Are 0.14 and j nonequal?
True
Let i = 8921 + -8299. Is i != 627?
True
Let g = -7786.16 - -7786. Is 108 greater than g?
True
Let j = -0.056 + 39.256. Let t = 37.2 - j. Let s be (-1*1)/(5/(-2)). Which is smaller: t or s?
t
Let d be 4/(-38) - (-42432)/(-1938). Is -22 < d?
False
Let h be (-37134)/3924 + 10 - (-2)/(-4). Which is bigger: h or 0?
h
Let j = -0.6231 - -34.6231. Is -1/2 at most j?
True
Suppose -16*c - 32961 + 115777 = 0. Is 5176 greater than c?
False
Suppose 5*x - 36 = -136. Let o = -1.08017 + 0.98017. Are x and o unequal?
True
Let v = 3754 - 3494. Is 264 less than or equal to v?
False
Let q(g) be the second derivative of 5*g**3/6 - 24*g**2 + 37*g + 1. Let l be q(-16). Is l <= -128?
True
Let d = 2152 - 2154. Suppose 5*z + 16 = 41. Suppose 2*g - z = -3. Which is smaller: g or d?
d
Suppose 3*u - 2*f + 9 = 0, 41 = -2*u + 4*f + 51. Which is smaller: u or 87?
u
Let p(u) = u**2 + 7*u. Let h be p(-4). Let v = 11 + h. Let t be 63/9 + (-179)/26. Is v not equal to t?
True
Let d = -3 - -2.5. Let n = 0.5 - d. Let k = -3.783 + -0.217. Which is smaller: k or n?
k
Let d(c) be the third derivative of -7*c**4/24 - 22*c**3 - 64*c**2. Let a be d(-7). Which is bigger: 2 or a?
2
Let q be 14/4*(-368)/(-322) - 412. Let f be ((-17)/q)/(5/30). Which is smaller: 6 or f?
f
Let g = 12.1923 + -0.2223. Let z = 12.4 - g. Let t = z - 0.43. Do -2/5 and t have the same value?
False
Let s = -2.656 + -0.644. Which is greater: s or 0.7?
0.7
Suppose 46*k - 34085 = 3129. Which is greater: -1/2 or k?
k
Suppose 0 = 4*k + 11 - 19. Suppose m + k*o = -o - 18, 0 = -o + 4. Suppose 0 = -2*c - 3*y - 62, 5 = -c + 2*y - 26. Which is smaller: c or m?
c
Suppose -25*r - 22799 + 23649 = 0. Which is greater: 18 or r?
r
Let t = -59 - -35. Let n = -19 - t. Let p be (1 - n) + 162/36. Which is smaller: p or -26/7?
-26/7
Let a = -12214.7 - -12215. Is a equal to -378/13?
False
Let q(s) = -18*s**2 + 20*s. Let y be q(1). Which is smaller: y or 105/58?
105/58
Let z = 1/16 - -3/80. Let t = -47/270 + z. Let j be (6 - (-4 - (-12 - -4)))*1/(-2). Are t and j non-equal?
True
Suppose 7941 + 10659 = 31*y. Let h = -600 + y. Is h bigger than 1/897?
False
Let d(x) = 3*x**2 - 144*x + 65. Let w be d(47). Let j be 3/((-18)/10)*45. Which is bigger: w or j?
j
Suppose 87*c = 92*c. Suppose c = -3*v - 2*v + 20, 26 = -5*g + 4*v. Let j be (-4)/10*(-3 + g). Is 4/3 smaller than j?
True
Let w = -0.8 + 0.74. Let m = w + 1.06. Let v = 0.10938 + -0.09738. Is v greater than m?
False
Let u be (-2 - 0) + (-146)/1. Let m = -148 - u. Which is smaller: -1/51 or m?
-1/51
Let f = 4538 - -5607. Which is greater: f or 0?
f
Suppose 0 = 5*x - 25, -3*d + x + 0*x + 142 = 0. Suppose 92 = d*z - 53*z. Is -25 at least z?
False
Let l be 532/(-8)*(-576)/(-112) + -8. Are l and -352 unequal?
True
Let o(b) = -10*b - 175. Let z be o(-20). Suppose 144 = -z*d + 7*d. Do d and -4 have the same value?
False
Let j be 2/((-2)/9)*(42 + -45). Suppose 0 = -4*t + 5*n + 217, 3*t - 2*n - 134 - j = 0. Let x be 57 + -5 + -1 + 0. Is x < t?
True
Let p(q) = -q**2 - 484*q - 14054. Let s be p(-31). Let w = -1/7403 - 7097/673. Does w = s?
False
Let p be 54/(-73896)*100/75. Which is smaller: p or -1?
-1
Let k be 0/8*2/6 - (20 - 21). Are -4/2905 and k non-equal?
True
Let p be 2200/(-528) - 2/(-12). Is 29/3 bigger than p?
True
Suppose 0 = -10*d - 16*d + 25 + 1. Is 2/4155 less than or equal to d?
True
Let a(y) = -6*y**2 + 9*y + 36. Let s be a(-2). Which is smaller: s or -26?
-26
Let s = 11 + -15. Suppose -9*j - 9 - 27 = 0. Is s bigger than j?
False
Let c be 4 + 15/(-5) + (-3 - 8). Let p be -3 + 2/(-4)*c. Is -0.037 > p?
False
Let a be (-16 - -30 - -435) + -15. Suppose -c = -5*c + 1740. Which is bigger: a or c?
c
Let t(n) = -20*n - 89. Let w be t(24). Do -567 and w have the same value?
False
Let w be (-346)/516 + 4/6. Let k = 13472.1 + -13472. Is k less than or equal to w?
False
Let b = 8866 - 8879. Which is smaller: b or 2?
b
Let n = -165383/8 - -20673. Which is smaller: -1/11 or n?
-1/11
Let n = -938 + 34704/37. Let h(d) = 3*d - 2. Let g be h(3). Suppose 10 = -3*s + g. Are s and n unequal?
True
Let h = 272/2425 - 7/97. Let j(z) = 2*z - z - 11 - z - z. Let d be j(-10). Do d and h have different values?
True
Suppose -q = 2*q - 3. Let s be q*(-1)/1 - -6. Let u be ((-38)/(-57))/(1 - 68/84). Are u and s unequal?
True
Let w(s) = -s**2 - 10*s - 1. Let i be w(-10). Let n = -312 - -917. Let j = n + -49004/81. Which is bigger: i or j?
j
Let b = 50 - 104. Let q(g) = 7*g + 15. Let x be q(8). Suppose -2*z - 177 = -x. Which is smaller: b or z?
b
Let k be (-2)/(-31) - 759/713 - 3. Which is smaller: 1874 or k?
k
Suppose 4*r + 4*p = -172, -4*r - 77 = -3*p + 109. Let f = 0.822 - 1.022. Which is bigger: f or r?
f
Let m(j) = -414*j + 3110. Let w be m(7). Which is greater: w or 206?
w
Let l = 0.18525 - 504.18525. Is l at most 12?
True
Suppose 5*t = -v - 273, t - 2*v + 519 - 471 = 0. Is t at least -79?
True
Let x = -236563/3 + 79721. Which is smaller: x or 867?
x
Let f be (-10191)/(-23) - (-98)/(-1127). Which is smaller: f or 885/2?
885/2
Let s(b) = -b**2 + 8*b - 4. Let g be s(6). Let p = 611 - 185. Let x = p + -426.3. Is x greater than g?
False
Let b = -14952 - -14953. Which is greater: 2/69295 or b?
b
Let a = 18 + -19. Suppose 25*g = -8255 + 2430. Which is smaller: a or g?
g
Suppose -4*a - 2 = -6. Let r = -264881 - -20925597/79. Is a != r?
True
Let y(h) = 2*h**2 + 29*h + 86. Let v be y(-3). Suppose 4*z + 19 = 63. Is z at most v?
True
Suppose -2*q + 416 = -3*d + 5*d, -836 = -4*q - 5*d. Suppose 3*y + 5*t + q = 0, 0*t = 3*y - t + 186. Is y equal to -60?
False
Suppose -5*w + 3*w - 24 = 0. Suppose -