al to d?
True
Let x be (-1)/((-2)/496) + -2. Let o = -237 + x. Are o and 46 nonequal?
True
Suppose -4 = x - 5*h, 3*h = 2*x - 2*h + 3. Suppose 0 = -3*l + a - 30, -5*a = 3*l - 0*a + 12. Let b be (-18)/(-2) - (4 + l + 4). Is x less than or equal to b?
True
Let b(z) = -704*z + 2111. Let y be b(3). Which is smaller: -5/336 or y?
y
Suppose 82*i - 69*i = -208. Let h be (-9)/(-6)*-2 - 48/i. Is 18/83 >= h?
True
Let t = -35/13 + 4668/1729. Let q = 351454 + -351454.1. Which is bigger: t or q?
t
Let g(d) = d**3 - 86*d**2 - 34*d - 5095. Let b be g(87). Which is bigger: b or -485?
b
Let s(m) = 955*m**2 + 6*m - 17. Let o be s(-3). Suppose -12*p = 4*p + o. Are p and -534 nonequal?
True
Let v be -16 + 2604/162 - 0. Which is smaller: v or -1/17?
-1/17
Let y(m) = -2*m**2 - 17*m - 8. Let i be y(-16). Let q = i - -249. Which is bigger: q or 4/3?
4/3
Let x(q) = 2*q**2 + 9*q + 6. Let i be x(-3). Let d = 47/32 - 1/32. Let y = d + -5/48. Which is bigger: i or y?
y
Let t be (1/(-3))/(2/(-392)). Suppose -70 = -z + r, 295*z = 299*z + 4*r - 248. Are t and z non-equal?
True
Let h be 641/30*(-3)/((-12)/304). Let q = -1624 + h. Suppose 0*m + 3*m + 2*a = -1, -8 = -4*m - 5*a. Which is smaller: m or q?
m
Let b = 37677/14 + -5383/2. Is -15.1 < b?
True
Suppose -17*x = -119*x + 714. Suppose -10 = 3*b + 2*m - 39, 4*b = -4*m + 44. Does x = b?
True
Suppose -j + 2*m = 3*j - 1172, 0 = m. Which is smaller: j or 291?
291
Let u(n) = n**3 - 6*n**2 - 6*n - 2. Let w be u(7). Suppose -w*x - 64 = 3*h, x + 1 + 4 = 0. Suppose 0 = -f - 0*z - 2*z - 6, z - 12 = f. Is h at most f?
True
Let x be ((-4)/(-88))/((-7)/(-6)). Let h be 12/(-10) - 18/(-90). Which is smaller: h or x?
h
Let i = -15264/11 - -19605/22. Are -497 and i nonequal?
True
Let j = 9 + -4. Let h be (1/1)/((-5)/j). Let w = -107 + 93. Is h equal to w?
False
Suppose 25 - 66 = 41*d. Let z be (-3 - 4)*d/80. Is z bigger than 1?
False
Suppose -9 = -3*c - 0, -2*p + 2*c = 56. Let l be (-420)/(-16) - p/(-20). Which is smaller: l or 22?
22
Suppose 0 = k - 2*d - 15, 1200*k = 1204*k - 5*d - 39. Is k not equal to 4/4825?
True
Let o = 31.5 - 167.5. Let m = -135.73 - o. Which is bigger: m or 2?
2
Let c(n) = 6*n + 18*n + 15 + 9*n. Let u be c(-2). Are u and -55 equal?
False
Let b be (2412/(-176) + 16)/(9/(-12)). Is -3 less than or equal to b?
False
Let n = -2750 - -2723. Which is smaller: n or -21?
n
Let r = -2922 + 2923. Is r greater than 12/949?
True
Suppose -23*z - 2*z = 1425. Let m be 6/z - 980/76. Is m at most as big as -147/11?
False
Suppose 0 = 5*m + 40*l - 37*l - 19, m - l = 7. Which is smaller: 344/75 or m?
344/75
Let z be (5994/(-300) - -20)/((-14)/4). Let f be 0*1/(-4)*-1. Which is greater: z or f?
f
Let c(b) = 32*b - 142. Let h be c(5). Let i be 1/(-6) + -1 + 57/h. Let a be 2/(-9)*(-3)/(-1). Is a at most as big as i?
True
Let n = -3937/24435 - -22/135. Which is bigger: n or -2?
n
Let w(u) = 4*u**3 + 9*u**2 + 4*u - 14. Let q(o) = o**3 - 1. Let p(x) = -3*q(x) + w(x). Let k be p(-8). Let l be (-1)/(-2)*(31 - k). Which is bigger: 31/6 or l?
31/6
Let r = 529 - 431. Let s be ((-84)/r)/((-6)/658). Is s > 94?
False
Suppose -p + 3*h = -7, -6*h + 7*h = -5*p + 3. Let f be ((-24)/(-72))/(-1*p). Which is greater: f or -143?
f
Let b be (94/16*2)/(2/(-8)). Let m = b - -56. Which is greater: 7 or m?
m
Let i(n) = n**3 - 10*n**2 + n - 26. Let z be i(8). Let r = z - -128. Let b(k) = -k - 14. Let u be b(6). Which is smaller: u or r?
u
Let i = -390 + 395. Suppose 0 = -i*y + 5*d, 47*y - 25 = 45*y - 3*d. Is y greater than or equal to 4?
True
Let w = -131389 + 402382/3. Are w and 2739 non-equal?
True
Let j = -4661069/98253 - -3845/81. Which is bigger: j or 0?
j
Let a be ((-210)/(-280))/((-3)/144). Which is smaller: -139/4 or a?
a
Let k(g) = -117*g + 134. Let q be k(-6). Let l be q/(-84) - 5/70*-4. Is -10 != l?
True
Let m = 303 - 242. Let b = m + 90. Is 0.1 at most b?
True
Suppose 5*l + 0*c - 5*c + 15185 = 0, l + 2*c + 3016 = 0. Is -12125/4 at most l?
True
Let s = -3412 - -3413. Is s > 2/7625?
True
Let m be 2301499/119*(-231)/(-1309). Let w = 3413 - m. Is 1 greater than w?
True
Let k = 3137 + -3081. Is k bigger than 56?
False
Suppose -89*a + 4504 = -2*g - 91*a, 5*a = -30. Is g bigger than -2245?
False
Suppose -405 - 300 = -47*d. Let a be (-3 - d)*-3 - (10 - 9). Is a >= 0.02?
True
Let s(w) = 101*w**2 - 9*w - 12. Let q be s(2). Are q and 373 unequal?
True
Let v = 2528 - 2531. Is 12 less than or equal to v?
False
Let i be (-254)/(-1143)*(-6)/(-4). Is -13.24 <= i?
True
Let j be (-40)/60 + ((-4233)/378)/(-17). Which is greater: 2 or j?
2
Let a = -841.1 - -923. Let t = a + -82. Is 0.42 greater than t?
True
Let o = -157/3 - -439/9. Let k be -5 + ((-28)/(-7) - 1). Let i(v) = -v**2 + 8*v + 17. Let d be i(k). Does d = o?
False
Let k = -1459 - -83165/57. Let i be (1/6)/(4/120). Suppose 2*f - 10 = y + i*f, -5*f = 5*y + 20. Is y less than k?
True
Suppose 35*i + 5*l + 110 = 40*i, 0 = 3*i - 5*l - 72. Which is smaller: i or -2/9?
-2/9
Let v = 0.4904 + -3.5904. Is v bigger than -52?
True
Let j = -125.6621 + -5.4599. Let u = j + 131. Let z = u - 0.078. Which is greater: z or -6?
z
Let v be 43*4/8*(-8)/(-2). Let l be 3/(-12) - -3*1/12. Suppose l = j, 226 = -4*q - j + v. Is -35 greater than q?
False
Suppose 5*h + 22 = 82. Let f = h - 18. Suppose 3*c = -2*m - 1, -m + c - 4 = 4. Does f = m?
False
Suppose -2*v + 7 - 17 = 0. Let s be (4/10)/(1/v). Which is smaller: 0.17 or s?
s
Let c be (-4977)/903 - (-7 - -1 - -1). Let r = c - -4204/8385. Which is greater: r or -1?
r
Suppose -j + 1823 = -a + 1772, -4*a - 8 = 0. Are j and 56 equal?
False
Let i be (-14 - 814/(-55))/(1/495). Suppose -28*h - i = -3224. Suppose 3*k = 117 + 189. Do h and k have the same value?
False
Let y be (4/(-260)*-26)/(2/50690). Does 10137 = y?
False
Let h(w) = 5*w**3 + 2*w**2 + 5*w + 3. Let n be h(3). Let z = -169 + n. Which is bigger: 6/11 or z?
z
Suppose 2*a - 18 = -20. Let k be 36/90 + 2501/4185 + -1. Which is greater: a or k?
k
Suppose -5*b - 4*w = -91, -3*b + 6*w + 62 = w. Let d(f) = f**3 - 20*f**2 + 8*f + 64. Let g be d(b). Which is smaller: -148 or g?
-148
Suppose -4*b = -14*q + 12*q + 6, 0 = -4*q - 5*b + 12. Let n be -4 + 62/9 - q. Which is smaller: n or -1/2?
-1/2
Let x be ((-1150)/(-138))/(10/36). Let d be 1738/1815 + 4/x. Which is bigger: d or 1?
d
Let s be (966 + -4)*(9/2 - 5). Let i = s - -481. Which is smaller: i or 8/9?
i
Let k = -3744 + 3789. Is k less than 1036/23?
True
Let j(t) = t**2 + 17*t + 43. Let w be j(-14). Let a = 13156/35667 + 2/1321. Is a at least w?
False
Let s = -1004445 - -1004446. Suppose -5*o - 664 = 36. Which is smaller: s or o?
o
Suppose 0 = 4*x - 0*x - 4. Let t be ((-10)/8*-4)/x. Suppose 5*i + 0 + t = 0. Which is bigger: i or -1/42?
-1/42
Let y be 30*-3*(-5)/(-45). Let m = 11 + y. Are 16/25 and m nonequal?
True
Let f be 8 + 1 - (-224340)/(-24930). Which is greater: f or 0?
f
Let t = 2941/56 - 365/7. Is 0.144 bigger than t?
False
Suppose 1495 = -187*m - 6887 - 1716. Let b = 118 - 166. Which is smaller: b or m?
m
Let f = 0.164 - 0.014. Let w = -131 - -117.85. Let d = w + f. Which is smaller: -1 or d?
d
Let s(c) = c**3 - 3*c**2 + 16. Let n be s(5). Let x(f) = -12*f - 55. Let d be x(-13). Let b = d + -35. Is b >= n?
True
Suppose -5*a + 2*a - 45 = 0. Let y be (3 - (-48)/a) + (-2)/(-10). Is 45 less than y?
False
Let x = -16 + 23. Let l be (-9)/(-42)*-9 - (-48)/32. Is x at most as big as l?
False
Let c = -532 - -533.655. Let i = c - -0.345. Which is bigger: i or -3/16?
i
Let j be (-15)/60 + (-18)/(-8) + 0. Suppose -5*n = -j*z - 113, -4*n - 4*z + 2*z + 76 = 0. Let m be ((-2)/(-15))/((-7)/n). Are -1/7 and m non-equal?
True
Let k = 23 + -21. Let t = -638.49 + 643. Let r = t - 4.5. Which is greater: r or k?
k
Suppose 33 = 6*w - 27. Suppose -c + w = 6. Let o be -1*c - 1118/(-221). Which is smaller: o or 1?
1
Let c be ((5658/1)/2)/(22*17/374). Which is bigger: 2828 or c?
c
Let q = -880 - -874. Is 15/37 equal to q?
False
Let h = 8336/7 - 1190. Let u = -24 + 16. Let c be 1 - (-4 - u) - -1. Do h and c have the same value?
False
Let x = -0.3399 - -21.3699. Let v = 0.03 - x. Let u = v - -30. Which is smaller: 3 or u?
3
Let q be (7/(-4))/(10/(-8)). Suppose 0 = 109*z - 79*z + 120. Let x be z/(-8)*(5 - 3). Which is greater: q or x?
q
Suppose -355917 - 386525 = -74*n. Which is smaller: n or 0.1?
0.1
Let 