
False
Let l = 592 - 850. Let v be 37440/(-148) - (-65)/(-13). Let z = v - l. Is z equal to 0.1?
False
Let f be 144843/(-63720) + -2 - -3. Let w = f + 51/40. Which is smaller: -1 or w?
-1
Let h = 14.22 + -0.52. Let k = h - 13.8. Which is smaller: k or 66?
k
Let p be 144/(-14) + (-130)/(-52)*(-112)/(-40). Suppose 12 = -2*a - 4*i, i - 2*i - 13 = 3*a. Is p smaller than a?
False
Let a = -222154/7 - -31461. Let k = a + 275. Do k and 38 have different values?
True
Let n = 11207.839 + -11208. Are n and 7 equal?
False
Let d = -50430501 - -1764733584/35. Let s = d + 9539. Let c = s - -8/5. Do -0.1 and c have the same value?
False
Let t be (-8)/(-28) - (3871348/40222 - (-4)/(-34)). Is t less than or equal to -97?
False
Let p be (-1 - -3) + 4*(-7)/14. Suppose -4*v - 2*w = 234, p = 3*v + 5*w + 106 + 59. Is v < -60?
False
Let r(w) = 26*w - 13. Let i be r(2). Suppose -5*d = -16 - i. Is d != 8?
True
Suppose 7956*j - 7951*j = p + 12, 4*p + 18 = 5*j. Let u = -17454133163/3168 - -5509511. Let w = u + 1/288. Is w less than or equal to p?
False
Let n be 605/2*((-5)/8 + (-22925)/(-9800)). Which is bigger: 518 or n?
n
Let m = 186576 - 69779333/374. Let y = -1/34 - m. Which is bigger: 1 or y?
1
Suppose -5216 = 162*k - 166*k. Let u = 14360/11 - k. Is u not equal to 2?
True
Let i = -0.0999 - -115.0999. Let a = i + -115.153. Does 0.2 = a?
False
Suppose 0 = 4*a + 1805 - 257. Let l = a + 5803/15. Let s = l + -143/15. Is s equal to -10?
False
Let u be (-2 - (1 + (-29644)/(-17184))) + 4. Let q = u - -1/10740. Let t = -5/8 - q. Which is smaller: -1 or t?
-1
Suppose -3*s - 5*j + 8 = -3*j, 4*s - 10 = -3*j. Let d = -560 - -564. Suppose 6*i - d = s*i. Which is smaller: i or 6/7?
6/7
Let a = 266 - 252. Suppose -4*r - 5 = -5*w, 0 = 4*w - 2*r - 2*r - 8. Let d be ((-84)/2)/w - 2. Which is bigger: a or d?
a
Let c = 290 + -409. Suppose -3*h - 35 - 310 = -4*a, -491 = 4*h + 5*a. Is h bigger than c?
False
Suppose -4*c = -2*a + 460, -43*c = -a - 40*c + 227. Which is smaller: a or 8?
8
Let m = 30.746 + -31.746. Which is smaller: m or 9074?
m
Let m = 24 + -12. Suppose 32*r = -429 + 1837. Let d be 56/(-126) - r/(-18). Is m at least as big as d?
True
Let r be (1/(-1))/((-5)/(-30)). Let l be r*3/(3 + -6). Suppose 5*p + 9 = -2*n - l, 4*p + 12 = -5*n. Is 3/49 <= n?
False
Suppose 346 = -2*p - 264. Let c = p + 344. Which is bigger: c or 2?
c
Suppose 2*n - 3*n + 24 = 0. Suppose 3*a + 9 = n. Let l(c) = c**2 + 312*c - 22745. Let h be l(61). Is a equal to h?
False
Let x = -9460626503/647218 - -1067055/73. Let b = x - 1/806. Suppose -2*q + q - 1 = 0. Which is greater: b or q?
b
Let r be -1 - (0 - 46)/(-2)*(-7)/150. Is r greater than or equal to 1?
False
Suppose -u + 77 = -0*c + 5*c, 15 = -5*u. Suppose -5*q - d = -c, -17 = -5*q - 3*d + d. Let r be (q + 7)/(-2) + 4. Which is smaller: r or 1/52?
r
Let u be (-766)/(-14) - 2/(-7). Let m = 20619 - 20563. Does u = m?
False
Let u = -7459 + 440085/59. Is -49 equal to u?
False
Let a(m) = m**3 + 5*m**2 - 71*m - 136. Let x be a(-12). Which is bigger: x or 0.16?
0.16
Let d = 1327 + -738.8. Let w = d + -588. Does 63 = w?
False
Let p be (-2)/(-11) - (-1008)/22. Suppose -6*c + 74 = -p. Is c not equal to 19?
True
Let d be (-14235)/1825 - -1*8. Which is smaller: d or 24/11?
d
Let f(z) = -z**3 - 12*z**2 - 23*z - 23. Let b be f(-9). Let a = b - 98. Let c = 138 + a. Which is smaller: -0.2 or c?
c
Let b = 394 - 351. Suppose -366 - 3676 = -b*j. Are 280/3 and j equal?
False
Let o = -1114.2 + 1114.2. Is 505 at least as big as o?
True
Let s = -3553 - -4075. Which is smaller: 523 or s?
s
Let h = 328.13809 - 0.13809. Which is greater: h or -13?
h
Let d(o) = o**3 + 24*o**2 - 30*o - 143. Let x be d(-26). Let g = -966 - x. Is -251 smaller than g?
False
Let k be (42 + (-1616)/40)/(11756/(-10)). Which is smaller: k or 0?
k
Let r = -37243 - -186208/5. Which is smaller: r or -2/3815?
r
Let p = 0.0366578 - -0.9633422. Let o = 0.1 + -0.1. Let z = 1 - o. Are p and z nonequal?
False
Let q be 790 + -8 + -12 - (-2 + 13). Which is smaller: q or -0.7?
-0.7
Let m be (-3)/(-1) - (31 - 45/9). Suppose 3*k + 0*k + 42 = 0. Is m greater than k?
False
Let k = 7616 - 2672. Let b be 5/2*(2 + k/60). Are b and 212 unequal?
True
Let u = 0.2378 - 0.1578. Is 0.88 at most u?
False
Let q = 22087/148 - 597/4. Let o = q + 77/222. Which is greater: o or -330?
o
Let h be 0 + -2 - (1 + 4). Suppose -18 = -q - 3*i, 2*q - 3*i + 2*i - 50 = 0. Suppose -52 + q = 7*j. Which is smaller: j or h?
h
Suppose -9 = -2*j + j - x, 0 = -4*x. Let f be j/3*(2 + -1). Let m(d) = -14*d - 96. Let q be m(-7). Which is smaller: q or f?
q
Suppose -29*o = -14*o - 165. Let l(z) = 4*z - z - 7*z - 9 + 5*z. Let f be l(o). Is f greater than 2?
False
Suppose 510*q = 511*q - 2. Suppose -4*g = -q*g - 3*g. Suppose 0 = 3*t - 6 - 6. Which is greater: t or g?
t
Let u = -154 + 83. Let v = u + 71. Which is bigger: v or -3/122?
v
Let v be (-2)/36*-3 + (-9)/500850*9305. Is 0 at least as big as v?
True
Let x(w) = 7*w - 32. Let q be x(9). Is q != 340?
True
Suppose 439*l = 380*l + 2950. Which is greater: 51 or l?
51
Let p = -3674 + 3673. Which is bigger: 2/3739 or p?
2/3739
Suppose 5*b = -2*s - 66, -s + b + 5 = 45. Let g(i) = i**2 - 18*i - 5. Let v = -241 - -257. Let z be g(v). Do s and z have the same value?
False
Suppose 0 = -145*j + 33*j. Suppose 4*i = 4*k + 772, 0*k = -i + 4*k + 187. Which is smaller: i or j?
j
Let t be (26/420 - 31/(-155)) + -3. Which is smaller: t or -4?
-4
Let f = -153 - -153. Let n = f - 9. Which is smaller: -0.5 or n?
n
Let r be 7/(-14) - (-1025)/3700. Is r greater than 1?
False
Let f = -11302 - -11292. Which is smaller: f or -0.0129?
f
Let m be -6*15/20*-2. Suppose -6*t = m*t - 15. Which is smaller: -6/89 or t?
-6/89
Let n = 26993 + -26972. Which is smaller: n or 1/537?
1/537
Let g be 12/1*240/(-10). Let l = g + 150. Is -273/2 != l?
True
Let w be (-1 - -1) + (-2)/(-125). Let s(c) = 21*c - 114. Let x(b) = 7*b - 39. Let r(f) = -4*s(f) + 11*x(f). Let n be r(4). Is w less than n?
False
Let b(a) be the first derivative of 7*a**2 + 78*a + 89. Let c be b(-12). Does -269/3 = c?
False
Let r = 10541 + -10534. Is 4.3 less than or equal to r?
True
Let m = 56 + -53. Let b = 730.3 + -683. Let q = b + -47. Which is smaller: m or q?
q
Let v = 116 + -120. Let m be ((-9)/v)/(-1 + (-5)/(-8)). Let z(o) = o - 11. Let x be z(6). Is x equal to m?
False
Suppose 3*y = -4*v + 342, -1202*v + 2*y + 372 = -1198*v. Let t(b) = 89*b + 1. Let x be t(1). Is x less than v?
False
Let q = 4649 - 4026. Is 0 greater than q?
False
Let s = 1252267/100 - 12522. Is 0 less than or equal to s?
True
Suppose -2*d = -28 - 14. Let t = 1262 - 1240. Is t < d?
False
Suppose 23312 = 68*y + 2633 - 72141. Is 1362 at most as big as y?
True
Let y = 6221179/29 - 214561. Is y > -39?
True
Let h = 12602.8 - 12603. Which is smaller: 118.9 or h?
h
Let c(a) = a**3 - 10*a**2 - 12*a + 3. Suppose 7*t - 35 = 7. Suppose y = t*y - 10, 4*u + 2*y = 48. Let l be c(u). Which is smaller: -9 or l?
-9
Suppose 67*m + 173 = 1848. Which is smaller: m or 18?
18
Suppose 13*j - 4*j = 3*j + 1206. Which is smaller: 209 or j?
j
Let t be -13 + 261602/14531 - 5. Are t and 0 nonequal?
True
Let w = 222 + -409. Let g = w + 195. Is g less than or equal to -3?
False
Let g = -132 + 254. Suppose 2*v + 4*o - g = 3*v, -3*v = 2*o + 366. Which is smaller: -121 or v?
v
Let j be 2/1 + (-28 - -26). Suppose -7*d + j*d = -56. Which is smaller: d or 2?
2
Suppose 0 = 4*a - 5*n + 19161, -43*a + 42*a + 5*n - 4809 = 0. Is a less than -9569/2?
False
Let r = -8725 - -6493. Which is greater: -2233 or r?
r
Suppose -2*f - 4 = -2*p + p, 5*p = -4*f + 6. Suppose p = -r + 5. Suppose 4*q + l - 153 = 0, -q + l = -r*l - 34. Which is smaller: q or 36?
36
Let n = -478/261 + 124/29. Let o(p) = -p**3 + 15*p**2 - 13*p - 13. Let u be o(14). Which is bigger: n or u?
n
Let s be 13/26 + 45/2. Let z = s - 526/23. Which is smaller: 0 or z?
0
Let t = -22 - -118. Suppose 3*o - t = -93. Is 1/414 >= o?
False
Suppose 0 = 91*u - 82*u - 1098. Is 1580/13 smaller than u?
True
Let k be (0/5)/((-1)/(1/(-4))). Let g = -103 + 96. Which is bigger: k or g?
k
Let k = 75929 + -983459/13. Which is bigger: k or 279?
279
Let q(g) = -g**2 + 7*g - 5. Let v be q(11). Let z be -4 + (-357)/v + (-4)/14. Suppose m = -2*m + f + 26, z*f = 5*m - 46. Is m less than or equal to 10?
True
Su