et u be 3/12*(-1 + r). Suppose u = g - 11 + 12. Does 6/31 = g?
False
Suppose 15030 - 4380 = 30*s. Which is smaller: s or 7?
7
Suppose 65*o = -132*o + 247*o - 87500. Which is smaller: 1752 or o?
o
Let x = 6686 + -1945624/291. Let i(w) = -w**3 - 2*w**2 + 3*w + 4. Suppose -3*l + 4 = -4*a, 7*l - 3*l = 0. Let u be i(a). Which is greater: u or x?
x
Let r = 1476305/58899 - 727/29. Which is greater: -1 or r?
r
Let t(o) = 60*o**2 + 1257*o - 1. Let v be t(-21). Which is bigger: 820/13 or v?
820/13
Let i(r) = r**3 + 19*r**2 - 22*r - 30. Let n be i(-20). Suppose 17*f - 2052 = -n*f. Do 75 and f have the same value?
False
Let d be 1580/225 + 12*12/(-648). Let a(x) = 6*x**2 - x - 1. Let k = -2 + 1. Let w be a(k). Does w = d?
False
Let w = 96145 + -12594801/131. Is w > 1?
True
Suppose 79*l = 27 + 4 + 48. Which is greater: l or -42/233?
l
Let c = 25 + -16. Suppose 0 = 6*d - c*d. Suppose 5*a = j, d*a = -5*j - a. Does -4/27 = j?
False
Let g = -461047 - -287235. Let m = 90034785/518 + g. Let h = 3/74 - m. Which is greater: h or -3/4?
h
Let d = 202 - 203.01. Let o = -0.69 + d. Let a = -2 - o. Which is greater: a or 1/10?
1/10
Let u = -8815 + 9023. Is u greater than or equal to 210?
False
Let y = -278 - -279. Suppose -7 + y = 3*o, -5*f + 127 = 4*o. Is f <= 27?
True
Let r(q) = -q**2 + 46*q - 129. Let u be r(39). Suppose 5*f = 4*y + 6*f - u, -y = -2*f - 27. Is 247/7 at most as big as y?
False
Let r = -496 + 509. Suppose l - 337 + 45 = -5*h, -4*h + 2*l = -228. Suppose h + 12 = 5*m. Is r at least m?
False
Let x = -51 - -82. Let p(s) = -10*s**2 - s + 32. Suppose 0*t = -5*t. Let l be p(t). Which is smaller: l or x?
x
Suppose 147*c - 33061 = 25*c + 40749. Is c less than or equal to 600?
False
Let p = 474204533/3908 + -121342. Which is greater: -1 or p?
p
Let o = -246532/38979 + 386/61. Are o and -1 nonequal?
True
Suppose 64 = -45*j - 116. Let s be j/36 - (-1)/9. Let o = 869/2 - 46063/106. Which is smaller: s or o?
o
Let h = 2.2 + 187.8. Let m = h - 190.1. Let n = -2.4 + 0.4. Does m = n?
False
Suppose 1136*y = 1113*y - 42757. Is y less than -1857?
True
Let t = 4.6 - 8.6. Let n = t + 2.6. Let y = n + -0.6. Is y bigger than 7?
False
Let w be (4 - 3)/(2/(-40 + 0)). Let m be 0*(w/12 + 2). Which is greater: -2/89 or m?
m
Suppose 0 = 5*p + 2*q - 64, -q - 2 = -p + 15. Let k(f) = f**3 - 12*f**2 - 26*f - 16. Let a be k(p). Which is smaller: 16 or a?
a
Suppose 23 = 155*m - 178*m. Is 32/33 greater than m?
True
Suppose -3*i - 30 = -3*k, -k + 3*i + 18 = -0*k. Suppose 63 = k*l + l. Is l bigger than 13?
False
Let a be (3/5)/((-456)/380) - (-110)/4. Let l(s) = s**3 - 8*s**2 + 9*s. Let f be l(7). Which is bigger: a or f?
a
Suppose -3973*t - 3971*t + 7927*t = 216665. Are -12744 and t equal?
False
Suppose 3*f - 12*f + 252 = 0. Let j be (1 - 0)*(-14 - -43). Let h = j - f. Which is smaller: h or 3?
h
Suppose -9*g - 14*g = 12*g + 35. Do 33/371 and g have the same value?
False
Suppose 0 = -2*b - 3*b - b. Suppose -3*t + 2*f + b = -7, 3*t + 13 = -2*f. Are -1/75 and t nonequal?
True
Let w(d) = -11*d - 60. Let n be w(-4). Let m be 37/(-5) + n/(-40). Is -70/11 != m?
True
Suppose 2*v + 0*f = f + 6, -3*f = 0. Let n(c) = -c**3 - 22*c**2 - 18*c + 67. Let g = 62 + -83. Let k be n(g). Is v not equal to k?
True
Suppose 13 = 2*r + 143. Let h be 10 + (-748)/11 + -8. Which is bigger: r or h?
r
Let o(c) = -4*c + 28. Let p be o(7). Let h be 3/1 - 2 - p. Let y be (-1)/1 - (h + (-218)/(-8)). Which is bigger: y or -28?
-28
Suppose 3*a + 34 = -0*a - 2*i, 0 = -3*a + 3*i - 24. Let d = -156 + 156. Suppose d = r - 50 + 59. Is a > r?
False
Let b = 4047331/11 + -367696. Let r = -1740 + 1983. Let x = b - r. Which is smaller: x or 0?
0
Let o = -5220229 - -99225932/19. Let a = 2187 - o. Which is greater: a or -1?
-1
Suppose 0*f = f - 18. Let a be f/(-14) - (3 - 4). Let u = -308.3 + 308. Are u and a unequal?
True
Let z(t) = 2*t**2 - 7*t + 8. Let j be z(3). Suppose 5*l - 3*q = 2*l - 21, -5*l - 5*q = -j. Which is greater: -16/3 or l?
l
Suppose -n - 5576 = 5*s - 2277, -3*n = -2*s + 9897. Is n < -3298?
True
Let v = 1605741/27926 - -2/13963. Which is smaller: 0.1 or v?
0.1
Let a = 21 + -16. Let u(h) = h - 9. Let d be u(a). Let i = 0.084 + -0.064. Which is smaller: i or d?
d
Suppose -31*h = 2265 - 2141. Is -26/7 > h?
True
Suppose -28 + 58 = -15*c. Let j be c/(-1) - 1044/87. Do 4 and j have the same value?
False
Let z(d) = -d**2 + 10*d + 33. Let w be z(-5). Let o be (-596)/(-32) - w/112. Which is greater: o or 0.06?
o
Let r = -241 - -133. Let z(h) = 1486*h**2 + 10419*h + 10. Let f be z(-7). Which is greater: f or r?
r
Suppose 14*w - 7 + 105 = 0. Let p be (w/((-35)/(-200)))/((-2)/5). Suppose 140 + p = 5*i. Which is smaller: i or 93/2?
93/2
Let j = -0.1 + 0.3. Suppose 0 = 3*c + 4*g - 318, -10471*c = -10467*c - 4*g - 396. Are c and j non-equal?
True
Let l = 1609.006 + -1610. Which is greater: l or -1?
l
Suppose -993 = 23*g + 1261. Let t = g + 688/7. Which is greater: 233 or t?
233
Let b(k) = -37*k - 265. Let h be b(-10). Let s be (0 - -3)*28/h. Which is bigger: s or -23?
s
Let w = -13745.2 + 13745. Is 1347 less than or equal to w?
False
Let u be 4/(-10) + (-1568)/(-2695). Let r(i) = -i**3 - 9*i**2 + 12*i + 14. Let p be r(-10). Let n be 2/p*5/(-5). Which is smaller: u or n?
u
Suppose 22*d - 12*d = 40. Suppose 0 = -2*g + g + d*g. Let i = -113 - -1131/10. Which is smaller: g or i?
g
Let q = 4602 + -4348. Suppose -5*z + 6*z = 255. Is q smaller than z?
True
Let l be (-41)/574 - (-8)/14. Let p = -13.5 - -40.4. Let t = p - -8.1. Are t and l equal?
False
Let x = 9 + -4. Suppose i + 4 = x. Let h = 167/18 - 70/9. Is i >= h?
False
Let b be (11/(11/(-10)) + 0)*2. Let v be (-10)/(-1142)*(88/b)/11. Which is smaller: v or 0?
v
Let k = 18 + -18.7. Let n = -0.8 + k. Let h = 0.0608 + 0.0392. Is n at least as big as h?
False
Let n = -35051/9 + 3895. Is -64/17 smaller than n?
True
Suppose 3*j = -2*j - 95. Suppose 0 = 19*m + 70*m + 4*m - 93. Which is bigger: m or j?
m
Let r be (8/(-7))/4 - 6868/(-28). Suppose p - 75 = -3*b + 6*b, 0 = 3*p - 4*b - r. Are 436/5 and p equal?
False
Let l be (15 + 5320/(-364))*2/(-655). Do l and 0.2 have different values?
True
Let v(i) = -68*i + 2721. Let h be v(40). Do 248 and h have different values?
True
Let t = -734 - -180. Let a = -4990/9 - t. Are 8 and a equal?
False
Let i be (-8 + 10)/(-3*(-4)/(-6)). Is 3/2254 less than or equal to i?
False
Suppose -102 + 122 = 4*f. Suppose -3*d = f*y - 42, 0 = -2*y - 31 + 37. Is d at least 16?
False
Let f = -10.23 + 0.23. Let v = -84002 + 84000.9. Is f <= v?
True
Suppose -5*y + o = 3*o - 1566, 3*o = -2*y + 622. Let t = y + -356. Which is smaller: -43 or t?
-43
Let k be 0 - ((-4)/(-8) - 50/84). Let r be -2*((-8)/(-52) + 18/52). Which is greater: r or k?
k
Let c be (33 + (-451)/2)*24/10. Is -2312/5 at most as big as c?
True
Let v be (-5)/15*6 + 50. Let c be (20/(-36))/(40/v). Is 158 smaller than c?
False
Let d be (1 - 11)*605/(-22). Suppose 4*v - d = 5*i + 7*v, v + 161 = -3*i. Is 2/11 smaller than i?
False
Suppose 4*m = 4*b + 76, -10*b - m - 76 = -6*b. Are b and 11 nonequal?
True
Suppose -4*i + 18 + 23 = 5*a, 0 = 4*i - 5*a + 9. Let c be 1 + (-28)/(-80) + (-2)/i. Is 0 <= c?
True
Let t = 19.6 - 19.6138. Let q = t + -55.9862. Is -0.2 equal to q?
False
Let p be -481*(-5)/(-975)*(0 - 18/4). Are p and 10 nonequal?
True
Let n = 164 - 147. Suppose n*f - 44*f = 27. Which is smaller: -8/25 or f?
f
Suppose 2*i + 5*d - 18 = 0, 43*i = 40*i - 5*d + 12. Let n = -62/39 - 1493/312. Which is bigger: i or n?
i
Let p(f) = f**2 - 4*f - 16. Let v be p(-3). Suppose -65 = -2*l + d, 0 = v*l + 8*d - 7*d - 180. Is 33 at least as big as l?
False
Let p be (-53774)/299 + (-2)/13. Let x = p - -181. Let k be 880/325 - (-4)/(-10). Which is bigger: x or k?
k
Let m(k) be the third derivative of k**4/24 - 5*k**3/3 - 17*k**2. Let s be m(12). Suppose -3*g - 235 = s*g. Is -46 != g?
True
Let w = -10.04 + 12.04. Is w greater than or equal to 700?
False
Let x = -29 + 12. Let w = -11 - x. Let r = -7507/65 + 1504/13. Do r and w have the same value?
False
Suppose -2*m + 0*m = -3*o + 64, 8 = 2*o. Let z be 0/(-4) - (m - (2 + 0)). Suppose -2 - z = -5*j. Which is smaller: j or 5?
5
Let i be 0 + 12/(-48) - 9213/(-84). Which is smaller: i or 108?
108
Suppose 9*g + 0 = -54. Let j be (35/(-21))/((-10)/g + -2). Suppose 0 = 4*l + 1 - j. W