nd i equal?
False
Let j be (-88)/3168 + (-3734)/360. Which is smaller: j or 0.054?
j
Let j = -9.8 + 10. Let l = 0.0341 + 0.0799. Let p = l - 31.114. Are j and p non-equal?
True
Suppose 47*x - 7*x = -4*x. Let d = 54 - 84. Are d and x non-equal?
True
Let a be (-19 - -20)*(-2*1497/(-3) + 1). Is 1002 < a?
False
Let o(g) = -g**3 + 10*g**2 - 45*g - 5. Let q be o(7). Suppose 38*i + 7588 = 1052. Which is greater: i or q?
i
Suppose 0 = -k - 4*p + 1447, 3*k - 42*p - 4213 = -38*p. Which is smaller: k or 1411?
1411
Suppose 0*a + 3*a = 18. Let i be (-624)/40 - (24/(-15) - -1). Let r be (-20)/i*27/6. Do a and r have the same value?
True
Suppose a + 32 = -a. Suppose 17 = -15*w + 11*w + 3*y, -w + 3*y = -7. Which is bigger: a or w?
w
Let m be 10/(-12 + 10) - (0 - 52). Suppose -m*g = -50*g - 12. Which is smaller: -51 or g?
-51
Let c = -1707/10 - -846/5. Is -2 smaller than c?
True
Suppose 0 = 2*n + 5*g - 103, -46*n + 4*g - 144 = -49*n. Let u = 111 + -66. Are n and u non-equal?
True
Let k = 174 - 110. Let w be (3/4)/((-16)/k). Let f(t) = -2*t**2 + 1. Let s be f(w). Is s < 1/2?
True
Let f = -226546 - -225670.916. Let h = 875 + f. Which is greater: h or 3?
3
Let u be (66645/1305 - 51) + (-17234)/247370. Which is greater: -1 or u?
u
Let o be 7/35 + 74/(-270). Let d(h) = 11*h - 9. Let j(l) = -12*l + 10. Let r(t) = 6*d(t) + 5*j(t). Let q be r(1). Is o equal to q?
False
Let l = 160.398 - 0.398. Let d = -160.02 + l. Which is bigger: d or -19?
d
Let g = -7083 - -7081. Which is smaller: 2139 or g?
g
Let y = -5898 - -5903. Which is smaller: y or 129?
y
Let y = -109/3 - -2519/69. Suppose -176*i + 264 = -44*i. Which is greater: i or y?
i
Suppose 5*p = -3*s - 237, -5*p + 0*p - 4*s - 241 = 0. Let o be 116*2/(10/p). Let x be (o/21)/6 + 2/7. Which is greater: x or 2?
2
Let y = 8104 - 8104.2. Is -6680 at most y?
True
Let r = -5178 + 4798. Which is greater: r or -383?
r
Let w(l) = l**3 + 3*l**2 - 4*l + 5. Let a(x) = 4*x. Let y be a(-8). Let s be y/(-20)*(-10)/4. Let o be w(s). Which is smaller: 1 or o?
1
Let b be 1/(1 + 0)*64/(-2). Let u = -0.08 + 0. Let r = u + -1.92. Is r less than or equal to b?
False
Suppose 87*j - 99*j + 168 = 0. Let k = 703/14 + -519/14. Which is smaller: k or j?
k
Let r = 362 + -361.851. Is r less than 0.11?
False
Let i = 0.08852 - -10.91148. Is i greater than 164/21?
True
Let v(m) = -4*m + 85. Let f be v(20). Let d(t) = t**2 + 6*t - 4. Let j be d(-6). Let w = j + 11. Are w and f non-equal?
True
Suppose -2*b = 4, 19*z - 17*z + 88 = b. Are -30 and z unequal?
True
Let x be (1 - 1 - (-6 - -4)) + -2. Suppose 15 = 3*s - s - u, 5*u = 4*s - 45. Let w be (1 + -9 + s)/(0 - -1). Is w < x?
True
Suppose 5*m - 3*t = 18, -2*m + 13 - 4 = -3*t. Suppose m*s - 2*k = 7*s + 130, 4*k = -4. Is -29 bigger than s?
True
Let s be 2 + 1 + -1 - 26. Let h = 1053 - 1617. Let w = -564 - h. Which is smaller: w or s?
s
Let m = 2236.9 - -5185.1. Which is smaller: m or -2?
-2
Let k = -313/3759 + -32/537. Let f be -2 - (-1 + (-1 - 0)). Which is greater: k or f?
f
Let p = -119 + 119.492. Let s = p + -1.502. Are s and -3 equal?
False
Suppose 5*r + 0*r - 3*b = 1, -5*r + b = -7. Suppose -32 = 5*a + 4*o, a + o + 2*o = -r. Let c be (-37)/154 - a/28. Is c at least as big as -0.1?
True
Suppose 2*b - 5*j = 247, b + 11*j - 107 = 8*j. Suppose 5*z - 125 = 5*o, 0 = 3*o + 4*z - 20 + b. Which is bigger: -20 or o?
-20
Suppose 39798 = -81*f + 103*f. Which is smaller: f or 1810?
f
Suppose -14 = -2*r - 4*g, 4*r + 0*r = -g + 21. Suppose 0 = -2*i + x + 2, r*i + 5*x = -10. Let c be 1/(i - ((-1 - 0) + 0)). Which is smaller: c or 3?
c
Let k be (10 - 189/14)*(-6)/7. Let q be (k/((-45)/6))/(108/60). Is q at most as big as -155?
False
Let q be (-87)/(-45) + 6 + -1 + -10. Let m = 64/15 + q. Is -4/11 smaller than m?
True
Let t be (-22344)/(-1386) - 6/9. Is 14 != t?
True
Let z = 6 - 7. Let i = -2040 + 157078/77. Which is bigger: z or i?
i
Let b = 52 - 123. Let o = b - -86. Which is greater: 12 or o?
o
Let j = -7458 + 7374. Is -27 at least j?
True
Let q = -122223.1 - -122223. Let i = -276 + 290.7. Is i at most q?
False
Let s be (-17)/(-2 - 6/(-4)). Suppose 5*h + 139*h = -10512. Let z = s + h. Is z at least -39?
True
Let n be 1 + 5990/(-11970) + 14/63. Is 1 less than n?
False
Let y = 18 - 10. Suppose y*l - 5*l = 12. Suppose -k = -2*d + 11, l*k - 6 = -2*d - 0*d. Is 0 > k?
True
Let y = -1755 - -1760. Which is smaller: 158/31 or y?
y
Let l be (105/(-49))/(6/105). Let d = -37 - l. Let k be 3 + -3*(-10)/(-15). Which is smaller: d or k?
d
Let w = 95 - 124.6. Let g = 29.2 + w. Which is smaller: 17 or g?
g
Let j = 842 + -537. Let p = 305.2 - j. Which is smaller: p or -2/11?
-2/11
Let y be 0 + (-66)/2205*(-3432)/80. Let u = -9/7 + y. Which is bigger: 1 or u?
1
Let v = 50/9 + -4741/855. Suppose 0 = 3*o + 225 - 228. Is v at most o?
True
Let a = 113.3 + -217.4. Let v = a + 108. Let w = 2.9 - v. Are -125 and w unequal?
True
Suppose 5*f + 14*f = -14*f + 990. Which is greater: f or -15?
f
Let g be (24 - 2)*((-205)/10 + -8). Let k be (-4)/42 + g/693. Which is greater: k or -4/155?
-4/155
Let w(p) = -32*p - 126. Suppose -4*g - 4 = -4*c, 0 = 11*c - 6*c + g + 25. Let n be w(c). Is -1/4 at most as big as n?
True
Let p = 6033599/300 + -20112. Are -1 and p nonequal?
True
Let s = 100/2673 - 919846/24444585. Is -1 <= s?
True
Suppose 0 = -2*p + 11*p - 5*p + 31*p. Which is smaller: -1/15543 or p?
-1/15543
Let u = 10852 + -8569. Which is greater: u or 1/4?
u
Let a = 0.2835 + -0.1835. Let l be (-6)/8 - (-3494)/(-56). Let r = 63 + l. Is a >= r?
True
Let u(p) = p**2 - 6*p + 4. Let n = -31 + 32. Let b be 7 - (2 - 3) - n*3. Let q be u(b). Is 3/26 smaller than q?
False
Let k = 5736 + -5827. Let d = -0.7 - -0.8. Which is smaller: k or d?
k
Let p(r) = 11*r**2 + 1. Let f be p(1). Let z(i) = 6*i + 8. Let l be z(7). Let m = f - l. Does -39 = m?
False
Suppose -63*l + 58*l + 6 = -b, -5*b - 4*l = 59. Is -139 at most b?
True
Let i be (-555)/68 + 7 - (-3 + 5). Let h = i - -58/17. Is 52 < h?
False
Let i = 346 + -346. Suppose 2*g + 186 + 70 = i. Is g smaller than -128?
False
Let p = 14 - -24. Suppose 5*s - 7 = 4*s. Let n(u) = 4*u + 10. Let m be n(s). Is p <= m?
True
Let c be -1 - 8/392*427. Is c != -4?
True
Suppose 7*m - 2*m + 480 = -2*a, -4*m = -9*a - 2160. Let d = -9649 - -29689/3. Let i = a + d. Is 6 < i?
True
Suppose -54*h - 57*h = 26*h. Which is greater: h or 2/24985?
2/24985
Let a = 61.94038 - -0.05962. Which is smaller: a or 20?
20
Let a be (-45)/10*(6 - 8). Suppose -4*r = 1 - 13. Suppose 5*w - 205 = -r*j, -167 = -4*w - a*j + 6*j. Is w bigger than 40?
False
Let l(o) = 394*o + 26. Let p be l(4). Suppose -a - 17*a - p = 0. Is a not equal to -90?
True
Let a(x) = -27*x + 7*x + 67 - 52 - x**2 - 97. Let o be a(-7). Which is greater: o or 13?
13
Let j = 114.63 + -109.43. Which is smaller: j or 59?
j
Let v = 2145.537 + -2143. Which is bigger: -2/7 or v?
v
Suppose 2330 = 3430*o - 3425*o. Which is greater: 465 or o?
o
Let n(h) = h**3 + 4*h**2 + h + 4. Let m be n(-4). Let j be (-10)/((-4)/(-14) + (-132)/(-77)). Let l be 2/j - 819/(-2010). Which is greater: l or m?
l
Suppose 1765*l = 1750*l + 15. Which is greater: -2/8855 or l?
l
Let n(p) = -p**3 + 13*p**2 + 5*p - 80. Let w be n(0). Which is smaller: w or -100?
-100
Let l(m) = -44*m - 82. Let b be l(-2). Suppose -2*g + y = 1, 2*y = 4*y + b. Is -0.017 less than g?
False
Suppose -114*h + 118*h - x = -67195, 33611 = -2*h + 5*x. Are -16797 and h equal?
False
Let x be 4 + -6 + (-4)/(-1)*-1. Let f(j) = -2*j + 2*j**2 + 4 + 1 + 2*j**2 - 5*j**2. Let s be f(x). Is -20 != s?
True
Let b = 29.333 - -3.727. Let f = b + -5.96. Let u = f - 27. Is 38 < u?
False
Let d(y) = y - 99. Let b be d(7). Which is greater: -95 or b?
b
Let r(u) = 3*u**2 + 39*u - 53. Let q be r(-24). Suppose 735*m = q*m - 24. Suppose 4*h = -h - 10, g + 5*h + 5 = 0. Is g at least m?
False
Suppose -2*w + 6*w + 4*m = 128, -2*w + 4*m = -88. Let u = w - 43. Let s = u - -9. Which is smaller: -7 or s?
-7
Suppose -5*g - 4*p = -6 - 9, -5*g = -p - 15. Suppose -g*q = 2*q - 165. Is q not equal to 137/4?
True
Let y(v) = -31*v**2 - 148*v - 299. Let i be y(-2). Which is smaller: -108 or i?
i
Let v(y) = y**2 - 7*y + 12. Let p be v(4). Suppose p*c + 74 = c. Let r = c - 75. Do 2/37 and r have the same value?
False
Let i = 14186 + -14186. Which is bigger: i or -7580?
i
Let m(q) = q*