 Suppose -4*j = 5*i + 94, 4*i + 3*j + 81 = 6. Is x <= i?
False
Suppose -9 = -4*g - 1. Let r be 0 + g + 0 - -1. Suppose -2*t - 14 = -5*n - 0, 4*t - 2 = -5*n. Which is greater: n or r?
r
Let d be (1 - 1)/((-312)/(-156)). Suppose x - w = -2986, 2*w = -3*x - 11033 + 2065. Let m be (-592)/x - 4/18. Which is smaller: m or d?
m
Let z = -1.34 + -2.95. Let h = 2.29 + z. Is h less than 78?
True
Let v = 288.04 - 288.02. Which is bigger: v or 454?
454
Let y be (-56)/112 + ((-9444)/(-56) + 3 - 1). Which is smaller: y or -3?
-3
Let u be (-4)/13 + (11 - (-6 - -14)). Let h = u - 727/299. Let q = 1 - 2. Is q equal to h?
False
Let w = 48/3245 - 25814/2183885. Suppose -6 + 1 = -5*r. Which is smaller: r or w?
w
Let i be 1036/21*837/434*(-7)/(-6). Which is smaller: i or 121?
i
Let p(d) = 2*d**2 - 23*d - 28. Let r(w) = w**2 - 12*w - 14. Let z(n) = 6*p(n) - 11*r(n). Let h be z(8). Which is smaller: h or 0.06?
0.06
Let j = 3002 - 6571. Is j greater than or equal to -3568?
False
Let j = 102487 - 102440.009. Let m = 47 - j. Let y = -0.051 - m. Which is greater: -2/13 or y?
y
Let q = 3063/130 - 4/65. Let g be 124/(-62)*3/(-4)*6. Suppose 2*n = -2*t + 52, -4*n = -g*n + 5*t + 100. Does q = n?
False
Let q(l) = 6*l**3 + 26*l**2 - 4*l - 5. Let r be q(-4). Which is smaller: r or 72?
r
Suppose -131*q = -129*q + 2. Let f be 9/(-3) - ((-497)/(-161))/q. Which is bigger: 0 or f?
f
Let c be 2 - 16/6 - 36/27. Let d be (-16)/(-4) - (-1192)/21. Let y = d - 190/3. Are c and y equal?
False
Suppose 63*h - 27 = 66*h. Let f be (h/(-36))/(1 - 114/8). Is f equal to -0.1?
False
Let z = 575 + -311. Let g = -132790/503 + z. Which is smaller: g or 0?
0
Let g(l) = -l - 18. Let w be g(-18). Suppose w = -d + 11 + 5. Let o = d - 17. Is o <= -2/73?
True
Let h = -173445 - -3989237/23. Let s(g) = g**2 - g + 6. Let m be s(0). Suppose m*i = i. Which is smaller: h or i?
i
Suppose k = -3*d + 16, -3*k = -d - 66 - 12. Suppose -40 = 131*w + 124*w - 275*w. Is w greater than k?
False
Let h = 992359/122948 - -1/17564. Which is greater: 7 or h?
h
Suppose 0 = -15*f + f + 14. Suppose 2*b = f + 35. Suppose -2*p + 6*p - 64 = 0. Is b <= p?
False
Let s be (24/144 + (-10)/(-12))*-2157. Are s and -2156 non-equal?
True
Let c be 62/12 + (-8)/48. Suppose m - 2*m = 3*a - 24, -a = -c*m + 40. Let y = 13 - 5. Are y and m nonequal?
True
Let x be 225/111 + 4/(-2). Suppose -4*d = v - 5, -30*d = -5*v - 29*d + 4. Which is greater: v or x?
v
Let q = 0 - 1. Let p = 3.25 - -84.75. Let m = 85 - p. Is m > q?
False
Let w be (-15)/45 + (-722)/(-6). Suppose -5*a = 165 + w. Let d = a + 56. Are d and 1/6 equal?
False
Let o = 0.9099 + -0.8199. Which is smaller: -65 or o?
-65
Let m = -1229.5 + 1229. Suppose 24 = a + 4*u, -4*a + 54 = 2*u - 0*u. Let j be (3/(-9))/((-2)/a). Is j smaller than m?
False
Let o = 5605 + -5604. Which is smaller: 1/273 or o?
1/273
Let b = -4940 - -4941. Let o be (-318)/312*-3 - 3. Which is bigger: b or o?
b
Let h = -138 - -97. Let n be (8/6)/(19 + (-1142)/60). Let j = h - n. Which is smaller: -6/5 or j?
-6/5
Suppose -3*y + 666 - 663 = 0. Are -1/1512 and y equal?
False
Let y = 2/135 - -458/5535. Suppose -4*g = j + 3*j + 8, 0 = 5*g + 15. Are y and j nonequal?
True
Let b = -4.72 + 5.06. Let a = b + -0.31. Which is smaller: -2/25 or a?
-2/25
Let o = 105 - 16. Let v = 91 - o. Suppose -6*q + 6*q = -v*q. Which is smaller: q or -3/23?
-3/23
Let w be (-2)/(-3)*9960/1520. Let l = 5415719 + -3395652998/627. Let p = l - w. Which is greater: p or 1?
1
Let c = 816 - 550. Suppose -4*j = 15*y - 20*y + 432, 3*y - c = -j. Is 88 at most as big as y?
True
Let p(v) = v**2 + 29*v + 11. Let x(f) = 31*f + 250. Let w be x(-9). Let u be p(w). Do u and 10 have the same value?
False
Let o be 0 + 6/10 - (-1824)/(-190). Let t(b) = -b**3 - b**2 + b - 6. Let v be t(0). Let f be (-2)/v*(-6 - 27). Which is smaller: f or o?
f
Suppose -8 = -2*j, c - 2*c - j + 18 = 0. Suppose -w - c + 95 = 0. Let q = w - 76. Is 6 greater than q?
True
Let k be -16*(-18)/48 - 10. Which is smaller: k or 356?
k
Let c be ((-245)/(-1225))/(2/(-10)). Suppose -4*p + 0*p = -1764. Let l = -21611/49 + p. Is c >= l?
False
Suppose 2*q - 42 = -2*p + 3*q, 3*p + q = 58. Suppose 10*w - 23 = 17. Suppose -2*a + 50 = -3*n + 5*n, -3*n + 47 = -w*a. Is p equal to n?
False
Let f be ((-27)/(-84))/3 + (-15)/120*2. Let a = 5/2 + -27/10. Is a greater than or equal to f?
False
Let j = 2150 - 2136. Is j not equal to 11/7?
True
Let j be 9*(-28)/336 + 7/4. Which is smaller: -3916/7 or j?
-3916/7
Let n be ((-2)/35)/(45655/1150). Which is greater: 0 or n?
0
Let x be 459/(-102)*(-8)/18. Is x <= 27/38?
False
Suppose a - 40*k = -38*k + 11, -2*k - 12 = -2*a. Is a smaller than -7/97?
False
Let u = 568 - 573. Let c be 12 + -14 - (u + 3 + 0). Let g be 34/(-7) + 2 - -2. Which is greater: c or g?
c
Let b = 0.357 + -0.027. Let s = b - 0.03. Let u = 2360 + -2364. Is u equal to s?
False
Let p = -1 + 3. Let b be (p*(-18)/48)/(1/(-12)). Suppose f + 54 = b. Is f >= -47?
True
Suppose 18 + 57 = 15*d. Suppose -d*p + 3*h = -242, -4*p + 3*h + 31 = -165. Which is smaller: p or 326/7?
p
Let v = 452.9 - 454.9. Suppose -4 = -0*w + w, -2*l + 58 = -3*w. Is l bigger than v?
True
Let z(x) = x**3 - 20*x**2 - 22*x + 20. Let m be (252/(-8))/3*-2. Let v be z(m). Let d be v + (-135)/(-25) + -4. Which is bigger: 1/5 or d?
d
Let d(m) = -m**3 - 30*m**2 - 104*m + 87. Let l be d(-26). Is 86 smaller than l?
True
Suppose 3*o + 9 = 2*a - 1, -2*a = -5*o - 14. Suppose 2*g + 2 + 2 = -5*l, -a = g. Is l >= 1/121?
False
Suppose 0 = -z - 4*u + 6*u - 80, -3*u = -z - 85. Let h be (-2002)/28 + (15/(-6) - -2). Which is greater: z or h?
z
Let b(p) = 7*p**2 - 59*p + 232. Let x be b(20). Which is greater: 1/6 or x?
x
Let s = 26870.044 + -26870. Are s and -2/21 non-equal?
True
Let o = 0.1094 + -6.1094. Suppose -3*g + 4 = 1. Let x be g + 3/15*-3. Which is smaller: x or o?
o
Let o = 21 + -20.38. Let i = -49.62 + 48. Let u = o + i. Is u > -16?
True
Suppose 0 = 2*v - m - 7, -4*v + 4*m = -0*m - 20. Let q = 55.92 - 55. Let f = q + -1. Which is bigger: f or v?
v
Let u(h) = -15*h + 208. Suppose 4*t = -b + 55, -t + 10 = 5. Let y be u(b). Is -317 smaller than y?
False
Let g = 19711 + -19557. Is -55 < g?
True
Let s(j) be the third derivative of -j**6/120 - j**5/15 + j**4/2 + j**3/3 + 25*j**2. Let t be s(-6). Let i be t/(-8) - (828/16)/1. Is i != -52?
False
Let y be ((-10)/(-15))/((-12)/(-3474)) + -2. Is 196 != y?
True
Let v be (169/338)/(3/(-36)). Which is smaller: 5 or v?
v
Let u be ((-17372)/4330)/1 + (-180)/(-4) + -41. Which is smaller: 1 or u?
u
Let q = 7109 - 14221/2. Suppose -4*k + k = 0. Let w be 2 + k + 36/(-15). Is q greater than or equal to w?
False
Let c(v) = 15*v**2 + 127*v - 17. Let w be c(-9). Let x(u) = u**2 - 2*u + 55. Let g be x(0). Is g equal to w?
True
Let p = 169/16 - -181/48. Which is smaller: p or 20?
p
Suppose -4*w = -3*p - 160, -2*w - w - 3*p = -120. Let m(g) = -247*g**3 - 2*g**2 - g. Let a be m(-1). Let b be ((-4)/(-6))/(4/a). Are w and b equal?
False
Let n = -34.37 + 34. Let f = -46.63 + n. Let v = -55 - f. Is v equal to -1?
False
Let x = 501 + -839. Let r be ((-3)/9)/(x/(-4992)). Which is smaller: -1 or r?
r
Let z be 6*(-1)/9*63/357924. Are 0 and z equal?
False
Suppose 8*r + 293 = -195. Is -52 >= r?
True
Let z = 1873/4 + -5627/12. Is z bigger than -245?
True
Let d = -80691 - -80627.077. Let a = -64 - d. Which is greater: a or -1?
a
Let x be (-4 - -6 - -4)*6*12/1080. Let s = 2275 + -2285.07. Let v = s - -10. Is x smaller than v?
False
Suppose -m - 3*c + 129 = 0, -5*m + 2*c + 645 = 6*c. Let j be (-144)/m*15/(-20). Which is bigger: 0 or j?
j
Let o = 0.843 + -0.903. Which is bigger: o or 0.028?
0.028
Let f(c) = -c**3 + 22*c**2 - 22*c - 22. Let g be f(21). Let t be g/(-86)*(1 + 0 - -1). Is t not equal to 3?
True
Let c be (-18)/126*322/(-22). Suppose 3*r = -4*q + 8 - 1, -2*r = 3*q - 5. Does c = r?
False
Suppose 14*r - 19*r + 4*x - 148 = 0, -2*x = 3*r + 80. Let c be (-6)/(-21) + 36/r. Are c and 20 unequal?
True
Let f = 5179 + -4417. Which is greater: 0.1 or f?
f
Let i = -4423 + 4423. Which is smaller: i or -2/29255?
-2/29255
Let s = 589.1 - 639. Let j = -50 - s. Do j and -306 have the same value?
False
Let q be 129/21758*-1*2. Let v = 1223/3542 - q. Suppose 3*c + 7*n = 4*n + 15, -5 = -5*c - n. Which is bigger: v or c?
v
Let j = -388/6493 + 2/43. Let