
-3
Let j = 0.352 - 1.792. Let g = 4.24 + j. Are g and -4 non-equal?
True
Suppose -3*y - x = -19, x - 3*x + 8 = y. Let p = 9 - y. Suppose 2*m = 4*b - p - 1, -4*b + 4 = 3*m. Which is smaller: b or 1/8?
1/8
Let t = -4171 - -4172. Do t and -3/110 have the same value?
False
Let t be (-102)/(-9)*6/(-4). Let k = -18 - t. Let d be (-2)/8 + (-78)/8. Which is smaller: k or d?
d
Suppose -2549*c - 2547*c = -5078*c + 25560. Which is greater: -1418 or c?
-1418
Let m = -127/9 - -119/18. Let d be (-5)/(-20) + 33/(-4). Which is bigger: m or d?
m
Let n = 796 + -794. Let x(p) = 2*p - 3*p + p**2 - 2*p. Let r be x(n). Is -4 not equal to r?
True
Suppose -149*g - 14040 = -32*g. Which is smaller: -111 or g?
g
Suppose 1369 = 263*h - 226*h. Is h != 45?
True
Let w be (2742/(-276) + 2)*(-90)/25*1. Which is greater: 28 or w?
w
Let w = 308 + -353. Let t = -81 - w. Is 1/5 at least t?
True
Let u be ((-2)/(-4) - 2)/((-15)/(-80)). Let a be 162/60 + (-12)/u. Let t be (-2)/(-7) + (-38)/(-14). Are t and a non-equal?
True
Suppose 121*w - 66*w - 59*w = -8812. Is w bigger than 2202?
True
Let g be (-411)/(-4) - (4 - 68/16). Suppose 0 = 4*f + 2*x - 380, 0 = 5*f - 4*x - 346 - g. Suppose -47 - f = -7*c. Is c at most as big as 20?
True
Let j be 63000/130 + -4 + 4. Let i = j - 384027/793. Is i != 1?
True
Suppose 1 = 10*y - 59. Suppose 4*h + 6 = -5*o, -y*h = -4*h + 8. Suppose -o*g - b + 8 = 0, 0 - 22 = -g - 5*b. Which is greater: g or 3?
3
Let m(z) = -208*z - 1639. Let y be m(-8). Are y and 22 unequal?
True
Suppose 2*t - 6 = -3*d, -t = -0*t + 5*d + 4. Let a be (2/(-10))/(t/18). Let j = 666 + -666.08. Is a >= j?
False
Suppose -a + 42 = -36. Let z = a + -19. Let j = -62 + z. Does j = -36/11?
False
Let d(c) = c**3 + 8*c**2 + 7*c + 3. Let i be d(-7). Let f be -2 + -29 - i*2/(-6). Let j be 8/(-36) + (-804)/27. Is j > f?
False
Suppose 211 = v + y, 0 = -3*v - y - 377 + 1000. Which is smaller: 205 or v?
205
Let k(l) = 252*l + 51. Let h be k(0). Are h and 1200/23 equal?
False
Let d = -14426372/1935 - -67102/9. Which is smaller: d or -1?
-1
Let g = -0.1 + -0.7. Let r be 24/336 - 55/(-14). Suppose r*v + 3*d + 12 = 0, -16*d + 3 = -v - 21*d. Is v smaller than g?
True
Let d = 0.15 - 0.07. Let o = -2.08 + d. Let h = -470.01 + 470. Which is smaller: o or h?
o
Let c be (-14)/((-295848)/(-17538)) - (-15)/18. Which is smaller: -1 or c?
-1
Let a = 75.73 + -61.93. Is a greater than or equal to -2.2?
True
Let p(x) = -x**3 + 17*x**2 - 16*x - 364. Let s be p(14). Is -6/1625 <= s?
True
Suppose 4*w - 38 = -22. Let x be (3 - (-3 + w)) + 3/(-1). Let k = -32 + 31. Is x greater than k?
False
Let z be (-10144)/(-72)*(-144)/(-736). Which is bigger: z or 27?
z
Let u = -215049/16426 + 657/382. Is -10 greater than u?
True
Suppose 8*s - 29 = -4*w + 3*s, -4*s + 15 = -5*w. Let m be 1/(4 - 52/12). Which is bigger: m or w?
w
Let b = 16091 - 15725. Which is greater: b or 0.04?
b
Let x(s) be the first derivative of -s**5/120 - 5*s**4/8 + 11*s**3/3 - 15. Let u(k) be the third derivative of x(k). Let y be u(-15). Are y and 4/15 equal?
False
Let u = -2031 + 2031.39. Is -1/7 at least as big as u?
False
Let i = 18 + -6. Let p(o) = -o**2 - 32*o + 99. Let a be p(-32). Let c be 50/4 + a/(-66). Which is smaller: i or c?
c
Suppose -26*k + 24*k = y + 9184, -2*k = 3*y + 9196. Are -4591 and k non-equal?
True
Let f = 0.727 - 0.7576. Let h = 423.0306 + f. Which is greater: h or 2/3?
h
Let n = 91 + -88. Suppose -83 + 86 = n*z. Is z less than or equal to 2/37?
False
Let h = -16 + 16.28. Let k = 4.69 - 0.69. Is k greater than or equal to h?
True
Let k = -39/59 + -1615/413. Which is smaller: k or 0.08?
k
Let k be 2722/(-388) - -16*(-189)/(-432). Suppose -4 = 4*s - 8. Which is smaller: s or k?
k
Let n be (234/(-4) + 2)/(6/(-12)). Suppose -67 = -2*i + n. Is i less than or equal to 90?
True
Let u(i) = -i**2 + 21*i - 24. Let z be u(17). Let k be (-1)/9*z + 2. Let p = k + 20/9. Which is greater: 1/23 or p?
1/23
Let b(v) = -175*v**3 - 18*v**2 - 44*v - 11. Let x be b(-2). Is 1404 equal to x?
False
Let j be 108238/(-66789) - 14/(-9). Which is greater: 0.3 or j?
0.3
Let y = -52.906 - 0.094. Let g = 14.22 + 38.43. Let r = y + g. Which is greater: -1 or r?
r
Let p = 35732 + -35732. Do -3/6415 and p have the same value?
False
Let r = -10496 + 10235. Is r greater than -2342/9?
False
Let f = 40211 + -40211.26904. Do 1 and f have the same value?
False
Suppose 0 = -26*i + 26 + 78. Let l be -3 - (-1)/i*344/30. Is l equal to 18/7?
False
Let x(w) = -w**3 - 4*w**2 + 5*w + 14. Suppose -72 = 6*a - 36. Let q be x(a). Is q < 53?
False
Let y = 583 + -176. Let g = y + -490. Is -83 less than or equal to g?
True
Let c = -12974/77 - -1844/11. Which is smaller: -0.04 or c?
c
Suppose 2*p + 3*p = 10. Let f be (6/7)/(p/14). Let b(v) = 2*v**2 - 171*v + 2800. Let t be b(22). Is t <= f?
True
Let x = 78 - -165. Let o(y) = -1077*y + 22860. Let p be o(21). Is x >= p?
True
Let q be (-5)/((-10)/6) + 9 + -13. Let y be 1/(q + 208/206). Is y < 511/5?
False
Let c be 5/(-4) - 1/(-4). Let f(b) = b**2 - 2*b - 12. Let g be f(-3). Let h be 122/(-456) - g/(-12). Are h and c nonequal?
True
Let q = -0.8533 + -0.1467. Which is bigger: q or -0.207?
-0.207
Let f be 12*(-3)/(-48) + -13*(-25)/(-435). Which is smaller: f or -1/2?
-1/2
Let s = 6624 + -7087. Which is smaller: -6014/13 or s?
s
Let j = -671 - -417. Let y = j - -255. Is 13/24 smaller than y?
True
Let s = -53 - -59. Suppose 57 - 627 = s*y. Is -95 bigger than y?
False
Let b = 49 - 53.9. Let w = 49.1 - b. Let m = 52.7 - w. Which is greater: m or 1?
1
Suppose 10*g = 3*g + 455. Let o be (0 + -6)/(-2) + g. Let q be 1 + ((-11)/(-3))/((-3)/(-54)). Is o < q?
False
Let x = 10748 - 10749.31. Are -20 and x nonequal?
True
Let z = -5821 - -5821. Is -1431 less than or equal to z?
True
Suppose -7*b - 36 = 20. Let c = 25 - 22. Let s be ((-8)/(-40))/(c/(30/b)). Is -2/5 greater than or equal to s?
False
Let r(t) = -3*t - 25. Let x be r(-8). Let y be 102 + 3 - (-3 - -4)*x. Which is smaller: 107 or y?
y
Let s be ((-20)/(2800/(-15)))/(6/16). Is s greater than -0.2135?
True
Let j be (-48 + 61)/(5/(-40)*1/(-2)). Is 213 >= j?
True
Suppose -3*a - 5 = 25, a + 8 = -2*d. Let k = 21197/6 + -3556. Let t = k - -23. Is d at least as big as t?
True
Let n = -106/85 - -172949/138890. Do 1 and n have the same value?
False
Let c(f) = -230*f - 40. Let y be c(2). Let m = y - -483. Which is smaller: m or 1?
m
Let a = 8.368 - 8.668. Which is smaller: a or -608?
-608
Suppose -91*o + 262*o = -152532. Is -900 at least o?
False
Let s be (39 + -35)*(-3 - (-52)/16). Which is smaller: -108/625 or s?
-108/625
Let j = 20 + 24. Let m = -63 + j. Let r = -18.9 - m. Is r > 4?
False
Let a = 1937 - 1919. Let r = 72 + -55. Is r at most as big as a?
True
Let d = -23/96 - -3431/13920. Let l(r) = 2*r + 18. Let f be l(-9). Is f >= d?
False
Let s be ((-1925)/1485)/((-3)/(-1278)). Is s at least as big as -553?
True
Let c = -3505 - -3504.988. Let y = 517.988 - 514. Let j = y - c. Which is smaller: 8 or j?
j
Let y be (-296)/(-814)*11/2 + (-588)/(-86). Which is bigger: 8 or y?
y
Let j be 213/(-72)*-1 + (0 - -2). Let h = -23/6 + j. Let l = 7/8 - h. Which is bigger: l or -0.02?
-0.02
Let o = -0.007 + 0.084. Let w = o - 0.086. Let y = 4.009 + w. Which is bigger: y or 0.04?
y
Let h be ((-3380)/30)/((-44)/66). Which is bigger: h or 33?
h
Let s(c) = -c + 17. Let u be s(12). Let i be u + -4 + 2 + 9*-15. Which is smaller: -130 or i?
i
Let h = 131 - 51. Let i = 397/5 - h. Is -0.03 less than or equal to i?
False
Suppose 7*r - 4*h - 28 = 5*r, 0 = 3*h. Let l(m) = 8*m - 116. Let i be l(r). Is i smaller than 3?
True
Let x = 3900.6 + -3441. Which is smaller: x or -1?
-1
Let p(z) = -z**3 - 5*z**2 + 35*z - 9. Let t be p(-9). Which is bigger: 4/1349 or t?
4/1349
Let u = -103 + 104. Let n be (18/10 - u)*(-100)/(-8). Which is greater: n or 80/9?
n
Suppose 11*l + 46 = 68. Let s = -3275/116 + 115/4. Is s less than l?
True
Suppose -14*u = 107*u + 4*u - 250. Let y = -1.5 + -5.5. Let a = y - -6.5. Is a greater than or equal to u?
False
Suppose -76*m - 41*m - 285*m - 395568 = 0. Which is greater: m or -983?
-983
Let a = 28.3 + -224.3. Let l = 0.306 - 1.306. Which is bigger: a or l?
l
Suppose 4*o + 88 = 4*s, -2753*o = -2752*o + 5. Which is greater: s or 596?
596
Let v = -0.00555 - 8.34445. Which is greater: 1 or v?
1
Let g = 5099 +