-5
Let y = 0.0659 + -512.0659. Let l = y - -500.73. Let h = l + 1.27. Is h greater than or equal to -2/5?
False
Let a be (((-10)/15)/(2/3))/(278/3892). Which is smaller: a or 8?
a
Let k be -2*(-54)/27*(-2)/(-8). Which is smaller: 3/2066 or k?
3/2066
Let t = -53 + 63. Let b be (2*12/(-20))/((-4)/t). Let k be (b/(-12))/(4/(-16)). Which is bigger: 0 or k?
k
Let n be 4/8 - (-9)/6. Suppose -3*i = n*i. Suppose 0 = -2*s + 4, 4*s - 8*s + 8 = -4*j. Is j < i?
False
Let j = -292 + 637. Let s = j - 345.44. Is 4 < s?
False
Suppose -2*f + 4 = 0, -2*f - 140 = -2*l + 2*f. Let s = l - 78. Let y be 3/12*5 - (s + 4). Which is bigger: 2 or y?
2
Suppose 0*d - 2*d = 4*m + 52, 8 = 2*d. Let o(z) = -z**2 - 2*z - 6. Suppose 0*i = i + 5*h + 29, -h = 2*i + 13. Let q be o(i). Which is smaller: m or q?
m
Let w = 33575 + -33575.2. Which is bigger: -0.061 or w?
-0.061
Let a(o) = -6*o**2 - 1 + 213*o - 110*o - 2*o**3 - 103*o + o**3. Suppose -b + 5*h = -15, 3*b - b - 6 = 4*h. Let j be a(b). Is 1 not equal to j?
True
Let o = 9475 - 9467. Do 3/103 and o have different values?
True
Let g be -15 + (10 - (-756)/9). Is g >= 79?
True
Let m = -15469 + 170045/11. Which is smaller: -10 or m?
m
Suppose -2*m + 2*g = 1348, -m + 9*g - 684 = 6*g. Is -4 at least m?
True
Let q = 838.1 - 837.4. Let t = 0.5 + -0.47. Is t smaller than q?
True
Let d be 1330/5035*(-6)/(-7). Is d greater than 0?
True
Let h(s) = -s + 1. Let y be h(6). Let l(q) be the first derivative of -9*q**2/2 - 15*q + 301. Let g be l(y). Which is smaller: g or 29?
29
Suppose v = 2*v + 2. Let q be (v/(-16))/((-41)/(-328)). Let a be 1*2 - (-45)/(-20). Is q equal to a?
False
Let j = -11 - -17. Suppose 5*y - 4 = 6. Suppose 11 = 4*o - w, 0 = y*o + 4*w + 6 + 2. Is j < o?
False
Let m(w) = w**3 + 44*w + 305. Let a be m(-9). Which is smaller: -823 or a?
-823
Suppose -3*u = -3*l - 3, 3*l - 6 = -3. Suppose -u*h = -44 + 16. Let b be 5/15*(1 - h/(-4)). Is 1 > b?
False
Suppose -g + 0*g + 1 = 0. Let x = -3174 + 2239. Let s = x - -882. Is s != g?
True
Suppose -4*o = -x - 5509, 126*x + 25 = 121*x. Do 1373 and o have the same value?
False
Suppose -z = 11 - 15. Suppose m + 144 = z*t, 3*m + t + 445 = -0*t. Is m at most as big as -148?
True
Let v be (268/(-3))/((-3)/(-27)*-3). Let p be (-4)/26 + (1 - v/(-52)). Let w be -3*(-51)/84*16/p. Is 5 less than w?
False
Let z be (292/(-365) + 7708/(-10))/((-6)/20). Are 1/3 and z nonequal?
True
Let z = -4 + 4. Let m be (-439)/5*3*30/(-18). Let v = m + -6586/15. Which is greater: z or v?
z
Suppose 6*n = 2*n. Let j = -42992/133 + 2255/7. Is j less than or equal to n?
True
Let f be ((-28)/((-560)/(-300)))/(35/(-38) + 1). Is f not equal to -155?
True
Let g be ((-3)/(-84))/((-1)/(-2)). Let p = 0.1778 - 6.1778. Are p and g nonequal?
True
Let a = 26 - 79/3. Let m = -49554 + 49533. Which is smaller: m or a?
m
Let m = -47 - -37. Let y(d) = -2*d**3 - 18*d**2 + 19*d - 7. Let x be y(m). Suppose x*t = 8*t + 8*t. Which is greater: 2/21 or t?
2/21
Let r(q) = 3*q + 30. Let s be r(-8). Suppose 0 = -12*c + 10*c + s. Suppose -2*o + 2*v + 19 = -v, 0 = c*v - 15. Which is greater: o or 19?
19
Let z(j) = j**3 + 4*j**2 - 5*j + 3. Let y be z(-5). Suppose -3*v - 2*r = 6, -v - 4*v + r = -y. Which is smaller: v or -2/741?
-2/741
Let c = 439 - 850. Let o = c + 391. Is o < -0.2?
True
Let r = -6305117/480 - -39407/3. Let n = 1 - 1. Which is smaller: n or r?
n
Let k be (-9 - -1)*((-220)/(-33))/(-4). Let n(c) = 11*c + 14. Let f be n(0). Which is greater: f or k?
f
Suppose -4*n + 176 = 3*v, -2*v + 7*n - 4*n + 106 = 0. Suppose v*r - 4 = 52*r. Is r bigger than -1/235?
True
Let g = 8226 + -8232.633. Let q = 6.6 + g. Let b = 3.033 + q. Which is greater: b or 4?
4
Let n = -20537 - -18585983/905. Are n and 5/4 nonequal?
True
Suppose 0 = -5*o + 4*c - 718 - 2006, 5*o + 5*c = -2715. Which is greater: -1087/2 or o?
-1087/2
Let r(a) = 19*a**2 - 5*a + 2. Let p be r(1). Suppose -p = x - 15. Which is greater: -5 or x?
x
Suppose -6*s = -2*v - 3*s + 1, -2*v - s = -13. Let h be 198*(6 - 4) - 1*v. Is h at least 1?
True
Suppose -45*q + 424842 = -264*q - 95*q. Which is smaller: -1352 or q?
q
Let u = -1201 + 1253. Which is bigger: u or -0.3?
u
Suppose 0 = 2*v - 2 - 2. Let a = 0.352 - 0.07. Let g = a + -0.262. Which is smaller: g or v?
g
Let s = 140 + -235. Let j = 1.095 - 93.095. Let z = s - j. Is z != 0?
True
Let l = 260 + -298. Let x be -18*-2*(-1)/l. Which is smaller: x or 1?
x
Let s be (-3 + (-51)/15)*-10. Suppose -4*y + s = 4*i, -2*i = 2*i + 5*y - 60. Let c(h) = 269*h - 1325. Let u be c(5). Is i at most as big as u?
True
Suppose 2467*n - 2475*n = 0. Let t = -20.3839 + 20.4. Which is greater: t or n?
t
Let a(b) = 8*b - 69. Let o be a(9). Let p be o/6*59 + (-4)/8. Which is greater: 30 or p?
30
Let u = 204 - 391. Suppose 0 = -42*n + 40*n + 4*s - 356, 0 = 4*s + 20. Which is bigger: n or u?
u
Let k be -4*(-8)/32 - (1 + -4). Suppose k*x = x - 24. Which is greater: -5/3 or x?
-5/3
Let o be 5/10 - (-9)/6. Let s be ((-65)/26)/(o/4). Let n be 18/(-4) + 2/(-4). Is n at least s?
True
Let y be (-372)/(-6) - 2 - (4 - 0). Let q be (-4*(-36)/y)/((-2)/(-14)). Does 19 = q?
False
Let f be ((-12 - -10) + (-2 - -3))/(-1). Let p be (-7)/f + 3 + (-12)/(-3). Is p at least as big as 14/31?
False
Suppose -5*z = -0*z + 4*h - 39, -24 = -4*z + 4*h. Let c = -70894 - -70903. Do z and c have the same value?
False
Let v = 257 - 99. Suppose 4*k - v = -38. Let z = -33 + k. Which is smaller: -4 or z?
-4
Let x = 24.325 - -12.675. Which is bigger: x or -1.97?
x
Let g be (-30)/34 - (-154)/(-1309). Which is smaller: g or -42/181?
g
Let a = -6 + 1. Let i be (2 + 1)/(-12*(-6)/96). Suppose -u - 21 + 6 = i*n, -3*u + 2*n = 17. Is a less than u?
False
Let u be ((-2)/35)/(52/(-13910)). Let k = 2797/35 + u. Which is smaller: k or 94?
94
Let f be (0 - (-10)/4)/((-1150)/(-345)). Let b = -6.16 + 6.217. Is b equal to f?
False
Let h(k) = 3*k - 39. Let x be h(14). Suppose -95 = -t - t + z, 0 = -3*z + x. Suppose 7*d = 2*d - 3*f + 36, 0 = -5*d + f + t. Do d and 3 have the same value?
False
Let j = -1105/7 + 5462/35. Which is smaller: -260 or j?
-260
Let w = 27/7 - -34/7. Let u be ((-69)/81)/((-940)/(-228) - 4). Let h = u + w. Is 2 != h?
True
Let g = 17 + 30. Let i = 48 - g. Let y be 23/(-5) + i + (-16)/40. Which is smaller: -0.2 or y?
y
Let f = -184.511 + -0.489. Let n = f - -185.09. Is -29 at most as big as n?
True
Let q be 213 + -202 + 2777/(-259). Which is greater: 1 or q?
1
Let w(x) = -x**3 + 10*x**2 - 4*x - 19. Let c be w(7). Suppose -6*j + 11*j = -c. Let y be -3*(j/112)/5. Which is smaller: y or -0.2?
-0.2
Let a be -14 + (536/24 - 8). Is 0.2702 equal to a?
False
Let t(b) = 2*b**3 - 5*b**2 + 4*b - 3. Let a be t(3). Suppose 33*o - 3*o + 9420 = 0. Let m = o + 331. Which is bigger: m or a?
a
Let t be ((-1)/2 - -1) + 39/2. Suppose -7*z + t = -5*b - 12*z, -14 = 4*b + 2*z. Let m = -9 - -7. Is b less than m?
True
Let l = 1175 + -535. Let b be (4/(-10))/((-16)/l). Let m(o) = -4*o - 66. Let p be m(-21). Is p less than or equal to b?
False
Let z = -601135207/595 + 1010311. Let y = -26/35 - z. Suppose 71*k = 60*k - 161*k. Which is greater: y or k?
k
Let u = -93.9187 + 0.0187. Let q = u - -94. Which is greater: q or -0.02?
q
Let u(n) = -23*n + 28. Let p be u(1). Suppose p*h + 2 = 4*o - 4, -o + 6 = h. Which is greater: 1/31 or h?
h
Let f = 8.8605 + -2.4605. Which is bigger: f or -100?
f
Suppose 2*x = 4*y + 5884, y - 6*x + x + 1489 = 0. Let o = y - -10286/7. Let q be 2/7*3/9. Is q >= o?
False
Let j be (-86)/12*3*6/(-12). Let r(t) = t**2 + 8*t + 10. Let n be r(-5). Let i(k) = k**3 + 5*k**2 - 2*k. Let m be i(n). Are m and j unequal?
True
Let v(p) = p**3 + 4*p**2 - p - 6. Let g be v(-2). Suppose -62 = 4*m - 2*z + 42, 26 = -m + g*z. Is -27 bigger than m?
False
Let c be 484/(-12) + ((-290)/(-609) - (-2)/(-14)). Which is bigger: c or -359/9?
-359/9
Let w be 1*6 + (-1134)/171. Let z = w + -382/57. Let l be -4*(2*2 - 2). Is z greater than l?
True
Let q(j) = j**2 + 4*j + 5. Let z be q(-4). Let d(h) = -h**2 + 25*h - 155. Let i be d(15). Is z less than or equal to i?
False
Let f = 1/1086 + 636391/5430. Which is smaller: 117 or f?
117
Let u(q) = q**3 + 4*q**2 + 4*q + 3. Let d be u(-3). Suppose d = 5*g - 6*g. Let v be (8/(-5) - -2)*2. Which is greater: g or v?
v
Let r = 9527/2 - 5043. Is r at most -279?
True
Let o be (-1368)/(-1026)