se 4*p - 86 = -5*s, -3*p + 2*s = -s - 78. Suppose 6*z = 3*z - p. Let v = -2 + z. Is v > -9?
False
Let c be 10/65 + (-108)/26. Let j = 152/11 + -1024/55. Does j = c?
False
Let y = -36/117175 + -492295226/241263325. Let l = y + 60/29. Which is smaller: -0.1 or l?
-0.1
Let h = 2880 - 2923. Does 2/49 = h?
False
Let t(f) = -2*f**3 + 95*f**2 - 44*f - 114. Let a be t(47). Let r = 1/987 + -2966/4935. Does a = r?
False
Let a(h) = 19*h - 6. Let g be a(1). Suppose g*b - 97 - 59 = 0. Is 12 greater than b?
False
Suppose -2*c + 11*u - 13*u = -48, c = u + 28. Suppose c*q + 170 = 9*q. Is q > -17/2?
False
Let f = -18255 - -18255. Let o = 8528/10603 + -10/461. Which is smaller: f or o?
f
Let b = -9358 + 9358. Which is smaller: -2/11041 or b?
-2/11041
Let j = -58.069 - -0.069. Let b = j - -58.065. Let s = -0.064 + b. Is s < -1?
False
Let z be ((-12)/18 + 1)/((-2)/6). Let x be z/((-6)/(-4)) + (-21)/9. Let o be (-5060)/7659 + (-2)/x. Do 1 and o have the same value?
False
Suppose -d + 8 = 4*f, 5*d + 8 - 26 = 2*f. Is -32/101 not equal to f?
True
Let l(n) = 90*n - 27. Let a be l(-5). Let f = -487 - a. Does -26/3 = f?
False
Let x = -2.05 - -0.05. Let p = x + -17. Let d be ((7 - 1) + -6)/(-2). Is p bigger than d?
False
Let k be (3 + -5 - 37710/18870) + (2 - -2). Is 0 smaller than k?
True
Let n = -28127/6 + 4687. Which is smaller: n or 12/41?
n
Let n = -2446 + 750. Let y = n + 11818/7. Which is smaller: -9 or y?
-9
Let y(t) = -113*t - 3499. Let q be y(-30). Is q >= 74?
False
Let v = -4476 - -133. Are -4343 and v unequal?
False
Suppose 10 = -4*d - 2*x, d + 2*x + 5 = -2. Which is greater: d or -72/203?
-72/203
Let s be ((-18230)/15*3 + 7)*-1. Is s bigger than 3642?
False
Let p(f) = -f**2 + 6*f + 49. Let o be p(-16). Let n = o - -380. Which is bigger: n or 384/5?
n
Let p = 1657 + -147472/89. Suppose 104 = y + 3*y. Let r = y + -25. Is p < r?
True
Let t = 285 + -304.9. Let r = 15.9 + t. Does 11 = r?
False
Let p = -16666 - -16661. Does p = -135.4?
False
Suppose -4*q + 4208 + 50994 = 13*i, -3*i - q = -12739. Are i and 4247 unequal?
True
Let a = 1943.9 - 1944.5. Is a at least as big as -55/8?
True
Let g be 22/129*(-36)/24*4. Is g <= -1?
True
Let k be (13 - 14)/(((-105)/(-125104))/(12/16)). Which is smaller: k or -895?
-895
Let k be 0 - ((-9)/(-3) - 2). Let f be -106 - (-1)/k - (-416)/104. Do -103 and f have different values?
False
Let m = 41684/7 - 20008201/3360. Which is smaller: 0 or m?
0
Let x(b) = -44*b**3 - 16*b**2 - 29*b - 2. Let g be x(-2). Let r = 344 - g. Let d = -2/5 - 1/10. Which is bigger: d or r?
r
Let h(b) = -b**2 + 10*b - 6. Let o be h(6). Suppose 107*n + 18*n - 1216 = 49*n. Which is smaller: n or o?
n
Let h be (22/((-3388)/(-33)))/((-4)/(-210)). Which is smaller: h or 0?
0
Let i(x) = -7*x + 1. Let k be i(-1). Let a(c) = -10*c**2 + 208 - 118 + 7*c - 83 + c**2 + c**3. Let y be a(k). Which is greater: 2/15 or y?
2/15
Let y(d) = -d + d**3 + 6*d - 21 + 5*d + d - 14*d**2. Suppose -158 + 80 = -6*b. Let x be y(b). Are x and -47 nonequal?
False
Suppose 0 = -4*t + 5*t. Let o = -52 + 48. Let p be ((-7)/84)/((-1)/46) + o. Which is smaller: t or p?
p
Suppose -5*w + 4*v = 79, 5*v - 1 = w - 2. Let a = 24 + w. Suppose a*l - 3*p = -1, 4 = 2*l + 5*p - 8. Is 44 at most as big as l?
False
Let w = 45 - 34. Let v(j) = j**3 - 10*j**2 - 11*j - 16. Let x be v(w). Let q be x - -15 - 0/2. Is 1 not equal to q?
True
Let v = 223.43 + -219. Let j = 4.53 - v. Which is greater: 9.6 or j?
9.6
Let x(j) = 2*j**3 + 86*j**2 + 82*j - 82. Let b be x(-42). Suppose p = 2*g + 69, 3*p = b*g + 1 + 62. Which is bigger: g or 3/13?
3/13
Let v(d) = -254*d + 2486. Let h be v(10). Which is smaller: h or -714/13?
-714/13
Let n(w) = -3*w - 18. Let x be n(-6). Let j be ((1 + 2)/(-6))/(425/(-136)*-118). Is j != x?
True
Let g = 50 + -89. Let z = -17 - g. Let t be 32/66 + 4/z. Which is bigger: 0 or t?
t
Let r be ((-12)/(-9))/(1936/(-3168)). Let l = -6 - -7. Suppose 3 = -2*v - l. Which is bigger: v or r?
v
Suppose 2*d + 29*d = 1513 + 1184. Is d at most as big as 28?
False
Suppose -12 = -5*i + 2*b, 4*i = i + 3*b. Suppose -i*j = -2*c - 68, -4*j = 5*c + 214 - 2. Let n = c - -39. Is n less than or equal to -3/7?
True
Let g = -3 - 0. Let h = 360.28 - 371. Let b = -10.8 - h. Which is bigger: b or g?
b
Let l = 168 + -131.6. Let m = -7.2 + l. Let r = -30 + m. Which is smaller: -1 or r?
-1
Let j = -165 + 235. Let d be 39/(-21) - (-10)/j. Which is smaller: d or -1?
d
Let c = 261 + -155. Let r = 16464 + -16356. Which is greater: c or r?
r
Let t be -4 + 25 - (6 - 0). Let u(i) = 2*i**2 - 29*i - 20. Let l be u(t). Are -6 and l nonequal?
True
Suppose -7*t + 80422 = 72*t. Which is smaller: t or 1016?
1016
Let j = -13463 - -13464. Is -1/8515 at least j?
False
Let f(h) = -9*h**3 - 89*h**2 + 3*h + 22. Let k be f(-10). Is k equal to 185/2?
False
Suppose d + 21*w = 22*w - 2, -2*d - 8 = -4*w. Does d = -11/322?
False
Let t be ((-19)/(-3) - 1)/(34/18309). Suppose -84*i = -88*i - t. Which is smaller: i or -719?
-719
Suppose -5*p - 4*t = -704, -109*p + 5*t + 555 = -105*p. Do p and 140 have the same value?
True
Let u be 10 + 544/(-56) + 3/(1155/100). Is 533 less than or equal to u?
False
Suppose -5*h = -2380 - 3675. Which is greater: 1210 or h?
h
Let s = 111.04273 - 2.28173. Let q = -109 + s. Let c = -0.039 - q. Which is smaller: c or -2/27?
-2/27
Let c be (-20)/66*27/(-15). Suppose 27*t = 21*t + 738. Let b = -122 + t. Is b > c?
True
Let v = -18883 + 76295/4. Is 191 less than v?
False
Suppose -f = -5*q + 9543, -131*q + 127*q - 3*f = -7623. Let o = q - 1347. Is 560 < o?
True
Let d = -236903/9 - -26419. Is d smaller than 95?
False
Let v = -171.719 - 0.281. Let s = v + 183. Which is bigger: 0.3 or s?
s
Let x = 38.9897 + 0.0103. Which is smaller: -0.07 or x?
-0.07
Let k be 6*(4 + 1237/(-309)). Is k at least 5?
False
Suppose -12 = -5*m - 5*n + 23, 5*m - 4*n - 80 = 0. Suppose m*x = 5*x. Are -5.2 and x nonequal?
True
Let i = -18 - -24. Suppose -2*o = i*o - 40. Suppose 2*j + 3*b = -2*j - 24, -5*j - o*b - 30 = 0. Is j less than -9?
False
Suppose -3*r - 111 + 600 = 0. Suppose -2*t - 697 = -6*t + i, 2*i = -t + r. Let v = -2943/17 + t. Is 1 less than v?
False
Suppose -1 - 8 = 20*a + 51. Are a and 545 equal?
False
Let n(b) = -b**3 + 3*b**2 + 4. Let l be n(3). Let w be (-10 - -11)*l/(-38). Suppose 0 = -10*k + 26*k + 16. Is w > k?
True
Let i be (-3)/2*-284 + -1. Let t = 424 - i. Which is smaller: 3/29 or t?
t
Let a = -1013 - -989. Let z = 0.06 - -0.94. Which is smaller: a or z?
a
Let w = 12227/9 + -1357. Let b = 21 + -9. Let i be -2*1 + b/4. Which is bigger: i or w?
w
Suppose 6 = -2*a - 6. Let h be (-21 + -6 + 3)*2/a. Which is greater: h or 9?
9
Suppose 0 = -7*w - 0*w + 84. Let v be (-324)/w - (-1 + 0). Let h = v - -25. Is -3 equal to h?
False
Let l = 2.6 - 2.479. Let w = -7.879 - l. Let r = -3.03 + 0.03. Which is bigger: r or w?
r
Let g(s) = 12*s**3 - 1. Let l be g(1). Suppose 0 = 5*d + 2*d - 189. Suppose -4*v - d = -l. Do v and -4 have different values?
False
Let x = 3295 + -3025. Which is bigger: x or 271?
271
Let s = 39269 + -39269. Which is smaller: -20/107 or s?
-20/107
Suppose -6*q + q = -2*h, -2*h = -3*q. Let p = 88615/20904 - 854/201. Which is bigger: p or h?
h
Let j = -5 - -83. Let n = 236.8 - 237. Is j greater than or equal to n?
True
Suppose 3*p - 2*n = 1548, p - 1548 = -2*p - 5*n. Which is smaller: 0.1 or p?
0.1
Let v be 1 + ((-1120)/(-10))/(-8). Which is smaller: v or -63/2?
-63/2
Let y(m) = 141*m - 4855. Let v be y(40). Is 784 less than or equal to v?
True
Let k = 4468/11 - 406. Let i be (0/(-3))/1*-1. Which is smaller: k or i?
i
Let x = -523/6 + 87. Let k = 0.647 + -428.647. Let w = -427.5 - k. Which is greater: w or x?
w
Suppose 6*k - 695 = 13. Which is smaller: -14 or k?
-14
Let g = -9430 - -9060. Is -359 less than or equal to g?
False
Let n be 1474/536 - 170/56. Which is bigger: n or -111/4?
n
Let u be (-996)/(-18426) + (-590)/(-37). Is 31 >= u?
True
Let h be 1/(-2)*16/6. Let y(f) = -f**2 + 68*f + 101. Let d(m) = m**2 - 45*m - 67. Let i(q) = -8*d(q) - 5*y(q). Let k be i(8). Is k <= h?
False
Let t be ((46 - 45)*3/9)/(2/(-3)). Which is greater: t or -1019?
t
Let r(q) = -6*q - 579. Let s be r(-69). Is -156 bigger than s?
True
Let i = -11051 - -13801. Which is smaller: -2/11 or i?
-2/11
Let c = 33357/11 + -3030. Let l(n) = -n**3 + 10*n**2 +