or 1.9?
1.9
Let m = -2/29227 + -87665/233816. Let n = -3 - -5. Suppose 0 = -n*p + p. Is p less than or equal to m?
False
Let z = -178714/4305 + 52/615. Which is smaller: -42 or z?
-42
Let k be ((-10400)/(-3458) + -3)*-14. Suppose 0*z - 6 = s - 2*z, -4*s + 9 = 3*z. Which is smaller: s or k?
k
Let p(d) = 2345*d + 101. Let q be p(4). Let v = q + -47236/5. Which is greater: -1 or v?
v
Let i = -2/1453 - -868/2741811. Which is greater: i or -1?
i
Let b = -1590.017 + 1586. Let a = -4 - b. Let s = a - 7.017. Is s >= 3?
False
Suppose 2*d - 295 = -y, -3*d - 27 = 5*y - 459. Let a be ((-42)/(-9) + -4)*3558/16. Which is smaller: d or a?
a
Let r = -55 - -58. Let b(y) = -7 + r - y - 6 + 17. Let d be b(4). Which is smaller: d or 0.05?
0.05
Suppose -26 + 8 = 3*k. Let j = 218.39 - 218.09. Which is smaller: k or j?
k
Suppose -41*q - 96*q - 74*q = 214*q. Which is bigger: 4.578 or q?
4.578
Let i(j) = j**2 - 14*j - 8. Let s be i(15). Suppose 4*d - s = 7*d - 5*o, 23 = 3*d + o. Are 0 and d equal?
False
Let p = 5346 - 4208. Which is smaller: 1140 or p?
p
Let d be (-5*5/625)/(-10). Which is smaller: 0 or d?
0
Let j(y) = -392 + 397 + 0*y + y. Let o be j(1). Let q be 252/(-10) - (130/(-25) + o). Which is bigger: q or -27?
q
Suppose 49 = -3*u - 4*u. Let a be 5/(-2)*(448/20)/u. Let b = 0 + -1. Is b less than a?
True
Let n be (-4)/(-46) + 764389/(-874) + 18. Which is smaller: 2 or n?
n
Suppose 2*i = -0*i + 18. Suppose 5*a + 481 = -319. Let x = a + 167. Which is greater: i or x?
i
Let o = 54 - 48. Let v be (-882)/(-28) + o/4. Let p = v - 33. Do p and 32 have the same value?
False
Suppose -7*n - 180 - 310 = 0. Let j = n + 72. Let i = 401/237 - 2/79. Which is greater: i or j?
j
Suppose -2*c + 2 = -r + 79, -2*c = 2*r + 62. Suppose 0*g = 5*g + 15, 3*a - 12 = g. Let t = a - 40. Does c = t?
False
Let l be -1 + (1 - (-1 + -12)). Let s(m) = 2*m**2 + 51*m - 9. Let d be s(-21). Let a = 211 + d. Is l greater than a?
False
Let v(u) be the first derivative of u**4/2 + u**3/3 - 6*u**2 - 14*u + 52. Let q be v(5). Is q > 202?
False
Suppose -10*y + d + 390 = -7*y, 2*y + 5*d - 277 = 0. Suppose 245*x = 244*x + y. Are x and 1 equal?
False
Let a(d) = -30*d - 68. Let f be a(6). Let k = f - -69. Is -179 at most as big as k?
True
Let s be ((-5)/(-6))/(-5) - (-1341)/(-54). Let y(f) = -f**3 - 8*f**2 - 2*f + 12. Let c be y(-7). Is s at most as big as c?
True
Let x(o) be the first derivative of -o**4/4 - 3*o**3 + 10*o**2 - 22*o - 60. Let d be x(-11). Which is smaller: -1/534 or d?
-1/534
Suppose -45*i + 41*i = -3080. Let b be 8/6 + i/(-574). Do b and -1 have the same value?
False
Let j be ((-8)/5 - -2)*(-90)/(-792). Let c(s) = s**2 - 8*s. Let y be c(8). Which is bigger: j or y?
j
Let u = -224 - -250. Let g = -28.6 + u. Is 0.6 <= g?
False
Let g(n) = n**2 + 6*n - 29. Let p be g(-9). Suppose 2*h + 27 = -1. Let i be 10/25 - h/40. Which is smaller: i or p?
p
Let b = -505 - -489. Let y = 1 - 12. Let j = y - b. Is 2/3 >= j?
False
Let z(g) = -4*g - 55. Let m be z(-13). Let l be (-94 - -18)*((-9)/(-2))/m. Which is smaller: l or 115?
l
Let u be (-212)/(-38) + (-851)/92 + 5/4. Which is smaller: u or 1/2?
u
Suppose -169*t - 38521 = 72*t + 16909. Which is bigger: t or -233?
t
Suppose 9*v - f = 7*v + 31, 3*f + 78 = 5*v. Let b be (-28)/15 - (-18)/v. Let z = 1 + -2. Is z less than b?
True
Suppose 5*p = 5*x + 5, 2*x = -4*p + 3*x + 1. Suppose f + 39 - 42 = p. Let t = -25 + 43. Which is smaller: t or f?
f
Let c = -42.69 - -21.67. Let h = 1.98 - c. Which is smaller: h or -3/4?
-3/4
Let y be 5449*(26/5 - 5) - (-2)/10. Which is bigger: y or 1091?
1091
Let c be (1/375)/(19/(-57)). Let i be (0 - -1)/(((-96)/8)/12). Which is smaller: i or c?
i
Let d(a) = a**2 - 24*a - 53. Let q be d(-2). Let l = 1564 + -18781/12. Is q >= l?
True
Suppose -7*y - 86492 = -86492. Which is bigger: 3/4825 or y?
3/4825
Let h be -6*(-7)/(-98)*(-2)/(-7629). Which is bigger: 1 or h?
1
Suppose -p + 2*p + 3 = 0. Let t be 15/(-10)*(-5 - p). Which is greater: t or 29/9?
29/9
Suppose -610 = 86*c - 4222. Is c greater than 40?
True
Let o = -21 + 37. Let u = -18 - o. Let d = -54 - u. Which is bigger: d or -1?
-1
Let l(x) = -22*x - 19. Let v be l(-4). Suppose 6*w + 153 = -v. Let j = 15 - w. Are j and 53 equal?
False
Let a be -5 - (6 - 10) - 188. Let f = a - -568/3. Let i = -33 + 73. Is f < i?
True
Suppose 2389 = 2*d + 5*y + 243, d - 1075 = -3*y. Is d at most as big as 1059?
False
Let i = 926 + -1096. Let j = i + 197. Which is greater: j or 133/5?
j
Let m be 2 + (-9 - -4) + 903/(-14). Which is smaller: m or -1?
m
Let f = 267 + -247. Let l = f + -18. Which is greater: l or 5?
5
Suppose -21*f - 29400 + 49686 = 0. Is f at least 966?
True
Let x = -71 - -77. Let w(r) = -r**2 + 4*r + 14. Let s be w(x). Suppose -s*l - 5*c - 5 = l, -3 = -l + 3*c. Are -7/17 and l non-equal?
True
Let b(h) be the first derivative of -h**3/3 + 7*h**2 - 12*h + 49. Let z be b(13). Which is smaller: -1/28 or z?
-1/28
Suppose -3*z - 2 = 2*t, -2*z = 5*t + 17 + 10. Let b(q) be the third derivative of q**4/4 - 3*q**2. Let d be b(-1). Which is smaller: d or t?
t
Let v = 93/5551 - 6/91. Suppose 3*r + 14 + 10 = 4*z, -5*r = 20. Let w be z/(9/2) + 2/6. Which is bigger: v or w?
w
Let v be (-1 - 0) + (-3)/(-4). Let c = -31 + 19. Let z be 7/(-2) - (-3)/((-9)/c). Is v greater than or equal to z?
False
Let g(s) = 5*s - 40. Let v be g(8). Suppose p + m + 6 = 0, 0*p + m + 12 = -3*p. Let t be p/(v - 15/5). Do -1/4 and t have the same value?
False
Let s be 6 + 660/(-13)*(-26)/52. Which is smaller: s or 32?
s
Suppose 2*z + l - 6*l = 6, 4*l - 12 = -4*z. Let r be z + (-7)/(105/23). Which is smaller: 2 or r?
r
Suppose -4*k = 3*g + 3, 3*k + 4 = -5*g - 12. Suppose -13 = -k*d - 25. Suppose -3*l - o - 5 = 0, -l + o - 4*o = -1. Is l != d?
True
Let a(m) = -5*m**3 - 47*m**2 - 72*m + 37. Let g be a(-12). Which is smaller: 2777 or g?
g
Let n be 290/15 - (-1 + (-7)/(-21)). Let b(w) = -19*w**3 + 2*w**2 + w. Let a be b(-1). Is a != n?
False
Let k = -8 + 8. Suppose k = 7*u - 0. Let j = 0.07 - 0.37. Which is bigger: u or j?
u
Let s = -7489/3 + 3302639/1323. Is s greater than -1?
True
Let c(h) = h**2 + 10*h**2 + 6*h - 2*h**2 - 18 + h**3. Let m be c(-8). Let g be m/(-9) - (322/72 + 1). Is 0 != g?
True
Let f = 38.78 + -38.77. Is -144 at least as big as f?
False
Suppose 0 = -5*h + 12*h + 31*h + 18316. Which is smaller: -0.14 or h?
h
Let p = -27.9 - -23. Let y = -165.9 - p. Let x = -229 - y. Which is greater: 2/7 or x?
2/7
Suppose -4*r - 3*x - 4 = 0, 3*x - 2 = -3*r - 8. Let u be (-14 - -12) + r/(-3 - -2). Let s = -0.3 - -0.8. Are u and s nonequal?
True
Let u = -1369847 - -1369847. Let b = -56 - -106. Suppose i - 6*i + b = 0. Which is greater: u or i?
i
Let c = 5685 + -4626. Is 1057 less than c?
True
Let g(v) = -670*v - 11391. Let i be g(-17). Let n be 3*(-3)/(27/6). Let x be (n/400)/((-8)/(-10)). Is i equal to x?
False
Suppose 2*p + 4 = 0, 2*p = 21*o - 16*o + 1181. Let z be 12/(-60) + o/(-135). Which is greater: 0.1 or z?
z
Let w = -412 - -413. Which is smaller: 2/845 or w?
2/845
Let w be ((-9)/3 + (-5556)/912 - -3) + 6. Is w greater than -1/5?
True
Let u be (12*1/12)/(-1). Let z = 6 - 2. Suppose -z + 0 = -v - 2*a, 11 = 2*v + 5*a. Are v and u equal?
False
Let x(f) = 21*f**2 - 57*f - 18. Let w be x(3). Is w at least as big as 3/476?
False
Let l = 211.65 + -205. Let c = 5.65 - l. Which is smaller: c or 75?
c
Let p = -20.1 - -60.9. Let u = p - 40.3. Is u at least -81?
True
Let q = -16.92 - -16.62. Which is smaller: -1320 or q?
-1320
Let b(i) be the first derivative of i**3/3 + 6*i**2 - 50*i + 58. Let k be b(-16). Is k < 19?
True
Let n = -2555.7 + 2555.4. Is n >= -29.2?
True
Let n = -7548 - -7549. Which is bigger: n or -18/325?
n
Let h = -25578 + 25588. Is h at most 257/29?
False
Let t be (-29)/(754/(-91))*2/19. Is t bigger than 1?
False
Let j = -439 - -314. Let p = j - -86. Is -1/9 <= p?
False
Suppose 3*o + a = -2*o + 102, 0 = 5*o + 2*a - 104. Suppose o = -5*x, 11*x + 1345 = -3*l + 10*x. Is -448 >= l?
False
Let g(z) = 40*z + 919. Let j be g(-23). Which is smaller: j or -0.03879?
j
Let d = 15536/1195 + -765/239. Suppose -9 = 2*x + 25. Let a = x + 28. Are d and a non-equal?
True
Let n = 343.58 - 7.58. Let x = 88 - n. Is x less than or equal to 1/2?
True
Let p = -70 - -72. Suppose p*b = 22 + 30. Are 80/3 and b equal?
False
Let o = -890