 = -10 + 3. Which is smaller: q or s?
s
Let a = -26 - -58. Let u = 1429.8 - 1462. Let o = u + a. Which is smaller: o or -9?
-9
Let w be 664453/367710 - (-9)/(-5). Do w and 0 have the same value?
False
Let c be 12 + 114*(-3)/27. Let d = 239 - 162. Which is smaller: d or c?
c
Suppose 2*m = -881 + 829. Are 9 and m non-equal?
True
Let s = 113/893 + -1570459/4465. Is -353 < s?
True
Let j be 145674/197316 - (-4)/(-54). Let c = -1/406 - j. Let r(v) = -v - 2. Let a be r(0). Is c bigger than a?
True
Let c be 2 + -1 + (-6 - -8). Suppose c*u = 5*u - u. Are u and -2/299 non-equal?
True
Let k(z) = 5*z**3 - z + 1. Let h be 1 + 2 - (-94 + -8). Let c = -103 + h. Let j be k(c). Which is bigger: j or 40?
40
Let s = -0.15 - -0.12. Let x = 295.9 - 321. Let o = x + 25. Is s at least as big as o?
True
Let j be 4/(-24) - 908839/(-5456418). Is -1 not equal to j?
True
Let i be (4 - 18)/(-7) + 1/(-8)*-1994. Is i equal to 250?
False
Suppose 0 = 4*f + 6*f - 70. Let v = 9 - f. Let g be -4 + 5 + (-5)/v + 1. Is g smaller than -1?
False
Let p = 192 - 197. Let t be 4 + p/((-4020)/(-3208)). Let c = 8 - 8. Which is smaller: t or c?
c
Let z = 40034997/1570 - 25500. Which is smaller: z or 1?
z
Let g be (-7)/4 - (-5)/(-20). Let v be (-114)/(-24) + g/(-8). Suppose 14*j = v*j + 360. Which is bigger: 41 or j?
41
Let y = -410 - -864. Is y not equal to 7740/17?
True
Let b(o) = -o**2 - 16*o + 4. Let x be b(-16). Suppose -t - 2*w + 0*w = 0, x*w = -t + 10. Let c be (-3)/(-1)*-1 + t/(-4). Which is smaller: 42 or c?
c
Let f be 7 + 40/(-8) + 32 + 408. Which is greater: f or 432?
f
Let w = 15682 - 15683. Is w >= 33/113?
False
Let c = 2086 - 2081. Let g be (-2 + 34)*4/8. Which is smaller: g or c?
c
Let u = -515 - -1054. Let l = -272 + u. Is l at least as big as 266?
True
Let m be 9*((-85)/45 + 2)*3. Suppose 4*y + 70*i = 71*i - 76, y - m*i = -30. Is y < -18?
False
Let t(z) = -z**2 - 13*z + 21. Let j be t(0). Suppose 12*v = 15*v - j. Are 10 and v unequal?
True
Let j = 1/497 - 7087/3275230. Let a = j - 820453/13180. Which is bigger: a or -63?
a
Let v be 2/(-3) - (-36)/58. Suppose 6*j + 4*w + 28 = 10*j, -47 = -5*j + w. Let g be 0/2*(-5)/j. Which is smaller: g or v?
v
Let b(i) = -i**3 - 14*i**2 - 13*i + 4. Let d be b(-13). Let c be d - 4/6*-3. Let v be ((-44)/(-12) - -3)/(2/c). Is v equal to 20?
True
Let u be 1/(((-312)/70)/(-4)). Let s = 3/13 - u. Let d = 13/16 + -33/80. Is s >= d?
False
Let d = 4 - 6. Let g be 20/4 + 3 + -5. Let b be (d - (-984)/486)*(g + 0). Which is bigger: b or -1?
b
Let o = -83 + 10. Let i = -88 - o. Do 1 and i have the same value?
False
Let i(c) = 3*c**2 - 27*c + 22. Let y be i(10). Suppose 40 = 4*z + y. Are z and -5 nonequal?
True
Let o = -2051 - -5659. Is o less than 3608?
False
Let g be (0/4)/(3 - 1). Suppose q + 8*w - 11 = 5*w, 0 = 5*q - 5*w - 35. Which is greater: g or q?
q
Let c be (-139194)/(-330) - (-1)/5. Which is smaller: c or 7/2?
7/2
Let r = -11.8 + 5.3. Let h = r + 6.3. Is 50 <= h?
False
Let d = -453.41 - -7.41. Let m = d + 448. Which is bigger: m or -5/43?
m
Let g = 111/355 - 86028/292165. Let z = g + -29090/15637. Which is smaller: z or -1?
z
Let n be -8 + 1/((-401)/(-404)) + 8 + -1. Which is greater: -1 or n?
n
Let r = 6951 - 48472/7. Let c = 180/7 - r. Which is smaller: -1 or c?
-1
Let n(s) = -s**3 + 13*s**2 - 25*s - 9. Let a be n(11). Let g = a - -10. Is g not equal to -32?
False
Let y be 1/(-1940)*685 - 2/(-8). Suppose -2*r - 4 = -2*d, 9 = 4*d + 1. Which is bigger: y or r?
r
Let t be (-7 + 6)*-3*37/(-1). Let s = t + 86. Is 0 <= s?
False
Suppose -3*w + 159 + 15 = 0. Let b = 6 + w. Let u be 3/24 + 63/1080*-9. Which is smaller: u or b?
u
Suppose -2*l - 84 = -2*f, -5*f + 2*l + 149 = -58. Let p = -39 + f. Suppose p*x - 1 = c, -2*c - x - 1 = -c. Which is greater: c or 1/16?
1/16
Let w = 137 - 612. Let v = w + 472. Is -51 >= v?
False
Suppose 2*b + 10*i = 6*i - 6, 0 = 5*i + 15. Suppose -21 = 5*t + 19. Let w = b + t. Do w and -9 have different values?
True
Let r be (-116 + 118)/(13/2). Let z = -0.7 - -4.7. Which is smaller: z or r?
r
Suppose -60 = 8*p + 84. Let r(y) = y**2 + 14*y - 29. Let s be r(p). Is 42 smaller than s?
True
Let l = 7455 + -7433. Suppose 2*a = 1 + 35. Is l < a?
False
Suppose -57*j + 1043 = -154. Is -132 greater than j?
False
Let z = 165 + -71. Let w be ((-88)/(-33))/(z/3). Is w >= -1?
True
Let r(o) = -4*o**2 + 109*o - 116. Let x be r(29). Is x > -335?
True
Let g = 3530 + -2733. Which is smaller: g or 3?
3
Let y = -4942 + 232267/47. Is y greater than or equal to -2/3?
True
Let c = -2 + -11. Let h = -3 - c. Suppose -6*r + 50 = -r. Is h less than r?
False
Let x be (-10)/87*(-18)/(-8). Let r = -7/29 + x. Which is smaller: r or -2?
-2
Let s be ((3 - 1) + 0)/(10/(-25)*-5). Is -20/91 != s?
True
Let h be 175/28 + (-24)/3. Let m be -3 - -4 - (-1 + 2). Let z(j) = j**3 - j**2 - 1. Let q be z(m). Which is smaller: h or q?
h
Suppose -2*b = -5*o + 27, -67 = -4*o + 2*b - 43. Which is smaller: o or 81/50?
81/50
Suppose -146 = 6*g - 230. Suppose 28*p = g*p - 42. Are p and -6 non-equal?
True
Let p = -12 - -12.4. Let t = -901/6 - -455/3. Is p at most t?
True
Let s(k) = -3*k**3 - 17*k**2 - 8*k + 5. Suppose 5*d = -3*l - 0*l - 40, -d + l = 0. Let q be s(d). Let i be (q/(75/6))/(22/10). Is -1/4 > i?
False
Let v = 3608 + -2484. Is 1124 < v?
False
Let s be (-3)/(-6)*182 - (-4 - -3). Let f = 90 - s. Is -5/6 < f?
False
Suppose -2*i = -5*r + 4937, -5*r - 1630 = i + 891. Which is greater: -2487 or i?
i
Let m(v) = v**3 - 7*v**2 + 6*v - 2. Let h be m(6). Let q be (h/3)/((-2)/(-3)). Let p be 1 + (-5 - -1) + (-21)/((-26796)/3740). Is q less than or equal to p?
True
Let i = -1.523 + -0.247. Let t = -0.77 - i. Which is bigger: t or 19?
19
Let o = 10 + -16. Let h = -151 - -152. Let w be 63/57 - h - 1485/209. Which is smaller: o or w?
w
Let n be (3 + -6)*(-14)/(-3). Let c = n + -16. Let l = c - -29. Which is smaller: l or 1/8?
l
Let t = 5994 + -33473/5. Suppose -n = -0*n + 704. Let w = n - t. Are w and -2/7 unequal?
True
Let b = -265 - -265.1. Let y = -10132/1617 + -2/2695. Let l = y - -33/5. Which is bigger: l or b?
l
Suppose 3*c + 7*h = 12*h + 1510, -3*h = -3. Is c at least 504?
True
Let y = 17.4 + -11. Let n = -6.34 + y. Let d = 0.06 - n. Is d equal to -24?
False
Let r = -0.06 - -0.08. Let h = 1.02 - r. Let c = 17.031 + -0.031. Which is bigger: c or h?
c
Let v = 14211 + -14210.78. Let f = 3.2 + -3. Which is smaller: v or f?
f
Let d = 3414634 + -29707315837/8700. Let u = -7/300 + d. Which is smaller: 0 or u?
u
Let z = 367 + -303. Let t = 64 - z. Which is smaller: t or 39?
t
Suppose 15*a - 13*a = 5*n - 17, -n - 1 = 4*a. Let c = 6421/50666 + 1/1078. Let l = -432/1175 + c. Which is bigger: a or l?
l
Let b be (-2)/(2/(-3)) + 0. Let a be (3 - 28)/(((-6)/2)/b). Is 22 at least a?
False
Let m be (2/19 - 107040/713640)*6/4. Is 1 equal to m?
False
Let x be -2 + 359 - 1*-3. Let k = x - 364. Which is smaller: -8/3 or k?
k
Let a be (137/2)/(14/(-4) + 4). Suppose 136 + a = 3*p. Let j be 4*(-6)/96 + p/332. Which is bigger: -1 or j?
j
Let j = -4093 + 4092.726. Which is smaller: 5 or j?
j
Let x(q) = 700*q - 2101. Let k be x(3). Which is smaller: -1/12426 or k?
k
Suppose -2*p + 5*w = 25, 3 - 18 = -2*p - 3*w. Let q be (13/377)/(2 - p). Which is smaller: 1 or q?
q
Let q be 4 + (1 - (4 - 2)). Suppose 0 = -16*t - 91 + 427. Let p be ((-27)/t*(-6)/(-9))/(-3). Which is greater: q or p?
q
Suppose -2*s + 0*s + 16 = 0. Let z be 4 - (0 - 3) - 2. Suppose -4*k - 2*l + s = -3*l, z*l = 5*k - 25. Is 2/11 >= k?
False
Let l = -618 + 420. Suppose 16*f = 15*f + 4, -210 = a - 3*f. Is a > l?
False
Let t be 2/5 - 15938/(-130). Let k = t + -491/4. Is k at least as big as 0.22?
True
Let h be (-1)/((-1)/(-26))*331/(-35086). Are h and -1 non-equal?
True
Suppose -48*s - 135743 = 11767 + 4026. Which is greater: -3159 or s?
s
Suppose 7*u + u = 16. Suppose 33 = u*v + 9*v. Suppose 4*d + 63 = -5*b + 10*b, v*d = 2*b - 56. Is d not equal to 2?
True
Let o = 20786 + -20788. Which is smaller: -6948 or o?
-6948
Let r = -5695 - -5683. Do -16 and r have different values?
True
Suppose -5*m - 6 = 4*k, -2*m + 3 = 7. Let y = 607907 + -101520473/167. Which is smaller: y or k?
y
Let k(f) = -27*f - 72. Let d be k(0). Let w = d - -214/3. Which is greater: w or 0.02?
0.02
Let p(i) = i + 10. Let t be p(8). Let u be (42/(-49))/(t/(-28))*18. Sup