 = j?
True
Let k be ((-88)/(-16))/(2/(-4))*19. Which is smaller: k or -210?
-210
Suppose -19*j - 5*j + 336 = 0. Is 10 greater than or equal to j?
False
Suppose 22*t + 152 = 3*t. Let a be (-1 - -3) + -1 + 8. Suppose 5*r = -3*o - a, o - r + 17 = 2*r. Is o greater than or equal to t?
True
Let f = 517 + -1552/3. Which is bigger: -5.8 or f?
f
Let s be -4*1 + -6 + (-2915)/(-77). Which is smaller: s or 29?
s
Suppose 5*z + 18 + 8 = -w, 3*w = -2*z - 13. Let i be ((-5)/(95/(-2)))/2. Is i less than w?
False
Let d = 41 + -62. Let x be (44/(-3))/(7/d). Let f be x/108 + (-2)/6. Is f at least 1?
False
Let m = 11 - 5. Let r = 6.1 - m. Let f = -184 - -184.1. Is f >= r?
True
Let k(s) = -5*s - 18. Let g be k(-6). Suppose -73 = -4*a + 5*n - 18, 4*n = -a - 2. Which is smaller: a or g?
a
Let u(z) = -25*z - 1. Let g be u(1). Let t = 30 + g. Let f be 1*(0 - t/4). Is f > -2?
True
Let j(f) = -6*f - 173. Let o be j(-29). Which is bigger: o or 3/82?
o
Let a(h) = -h**3 - 11*h**2 - 9*h + 4. Suppose 0 = p + 9 + 1. Let g be a(p). Let f be (21/g + 2)*-4. Is f > 2?
True
Let i = 450 - 452. Is i at most 3.9?
True
Let w(f) = f**3 + 11*f**2 - 6*f - 76. Let l be w(-6). Which is smaller: l or 142?
l
Suppose -q - 2 = -5*t, 4*q - 11 = -2*t + 3*t. Let v(c) = c - 1. Let f be v(4). Suppose q*k - f = -4*s - 19, 5*k + 20 = 0. Which is greater: -5/8 or s?
-5/8
Let z(x) = x**2 + 9*x + 9. Let p(t) be the third derivative of -t**6/120 - 2*t**5/15 - 3*t**3/2 + 6*t**2. Let n be p(-8). Let u be z(n). Are 7 and u nonequal?
True
Let z = -175 + 178. Which is bigger: 27/7 or z?
27/7
Suppose 2*q - 43 + 187 = 0. Let c = 84 + q. Let k = 3 + 9. Is c <= k?
True
Let l be (-121)/399 - (7 - 153/21). Is l != -1?
True
Let h be ((-2232)/(-10))/((-77)/55). Let d = 159 + h. Are d and -2 non-equal?
True
Let p = -21/673 - 158071/2692. Is -60 greater than or equal to p?
False
Let p = -3 - -7. Let u = -6 - p. Let t = 910 - 911. Which is smaller: t or u?
u
Let l = 0 - 1. Suppose 9*p = 6*p - 33. Let q be l - 1 - (8 + p). Is q at least 1/6?
True
Let x = 701 + -702. Which is bigger: x or 97?
97
Let f(i) = -i**3 + 4*i**2 + 7*i - 4. Let g be f(5). Suppose 3*j - g = j. Suppose a + 0*a + j = 0. Is -4 < a?
True
Let n = -2 + 3. Let v = -265 - -266. Is v at most as big as n?
True
Suppose 68*b + 1281 = 75*b. Is b < 183?
False
Let s(v) = -v**3 - 27*v**2 - 27*v - 10. Let d be s(-26). Let g be -2 + (-26)/(-10) - 1. Which is bigger: d or g?
d
Suppose 4*a + 4 + 124 = 0. Which is greater: a or 0?
0
Let a = -113 + 80. Let f = 35 + a. Let j = -3 - 2. Which is smaller: f or j?
j
Suppose 14 + 16 = -3*y. Let x = y - -6. Let b = 0.66 + -0.76. Which is smaller: b or x?
x
Suppose -4*t - 2*n + 10 = t, -5*t - 25 = -5*n. Suppose -24 + 22 = -u. Is u <= t?
False
Let m be ((-27)/(-6))/(4/(-24)). Let n be 531/510*(-42)/m. Let p = n - 23/17. Which is smaller: 0 or p?
0
Let p be (6/(-3657))/((-156)/78). Do p and 1 have the same value?
False
Suppose -6 = 3*r, 347 = -3*l + 2*r - 3*r. Let o be (l/15)/((-20)/12). Are o and 6 non-equal?
True
Let x = 62 + -59. Suppose 49 = x*n + 49. Which is greater: n or 2/89?
2/89
Suppose 30*i - 17 = -47. Which is smaller: 15/122 or i?
i
Let n(a) = 4*a**2 - 19*a - 4. Let c be n(5). Is c greater than 1/191?
True
Let d = -298 + 301. Let b(w) = w**2 + 7*w + 7. Let x be b(-6). Let v be -2 + d + x - 2. Which is bigger: -6 or v?
v
Suppose -58 = 3*p - 2*t, -p + 12 = -t + 30. Is -21 != p?
True
Let t be (3/(-2))/((-1)/(-4)). Suppose 3 - 5 = -g, 3*w - 2*g = -34. Let n be w/40*8/t. Which is greater: n or -9?
n
Let z be ((-2)/(-14))/((-74)/(-1036)). Is z bigger than 10/43?
True
Suppose -5*i = 3*x, 0 = 2*x + x. Suppose -4*k + 2*y + 56 = i, 5*k + 42 = 5*y + 122. Suppose 2*o + o = k. Is 4 not equal to o?
False
Let f = 1201/5 - 241. Suppose 52 = z + 46. Suppose -9*d - z = -3*d. Which is greater: f or d?
f
Let n = 109 + -77. Let f = -31 + n. Which is bigger: f or -1/29?
f
Let f = -221354/13 - -17018. Which is bigger: -8 or f?
-8
Let v = 636 - 641. Do 6.7 and v have the same value?
False
Let i = 0.033 + -6.433. Let v = -0.6 + i. Is v > -1/2?
False
Let p = -48 + 44.3. Let v = -4.7 - p. Are v and -3 unequal?
True
Suppose -4*m + 6 = -2. Let b be (0 - m)*1/(-11). Is -1 at most as big as b?
True
Let f = -1533 + 1535. Are f and 29 non-equal?
True
Let r = -7.5 - -0.5. Let m = 6.042 - 0.042. Let v = r + m. Is v < -3/7?
True
Let n = 67 + -55. Let x(q) = -7*q**2 + 18 - 14*q - 6*q**2 + 14*q**2. Let p be x(n). Is p equal to -5?
False
Let w be 2/(-124)*120/1890. Is 1 > w?
True
Let h = -41 + 29. Let d be 90/50*(-10)/(-6). Is h at least d?
False
Let g = -1 - -8. Let w = 27 - g. Let j = w + -12. Which is greater: j or 0.1?
j
Let y = 206 - 146. Let z be (-2126)/5*y/228. Let n = z - -112. Is n <= 1?
True
Suppose -x + 5*l - 30 = 0, 5*l = -0*l + 20. Let d be (-81)/(-15) - (-4)/x. Suppose 0 = d*f - 0*v - 5*v + 25, -2*f + v = 13. Is f < -9?
False
Suppose 93*u - 4 = 89*u. Suppose -5*w = -q - 65, 3*q = q + 10. Let v be (-2)/7 + (-24)/w. Which is smaller: u or v?
v
Let k = -135 - -127. Let l be (-13)/520 - (-3)/k. Is -1/2 equal to l?
False
Suppose -52*x + 6 = -54*x. Let n be (5 + x)*36/8. Is 10 greater than or equal to n?
True
Let c = -116 + 100. Which is smaller: c or -18?
-18
Let b = 7 - 4. Let o = 732 - 729. Is o greater than b?
False
Let x = -0.777 - 6.093. Let i = -2.53 + 2.4. Let k = x + i. Does -2 = k?
False
Let u(k) = -7*k - 35. Let a be u(20). Which is greater: a or -174?
-174
Suppose -32 = -5*m + 4*c + 4, 5*m = 5*c + 40. Suppose d = -m*d + 5. Let n = d - 5. Which is smaller: -3 or n?
n
Let m = -265 - -266. Let u be ((-2)/(-172)*-2)/(-3). Which is smaller: u or m?
u
Suppose 8 - 6 = 2*o. Is -12/35 equal to o?
False
Suppose -d + 3 = 5*o, 5*o + 0 = -2*d - 4. Let w be 14/d*(-3)/(-78). Let b be (-2)/(-8) - 6/(-8). Does w = b?
False
Let k = -11.83 - 0.17. Let m = k - -6. Let r = -13 - m. Do 1 and r have different values?
True
Let a(t) = t**2 + 10*t - 15. Let p be -9 - (0/(-1) + 1). Let h be 34/(-3) - p/(-15). Let k be a(h). Is 8 smaller than k?
True
Let f = 5 + -4. Let h = -28/11 - -230/99. Which is bigger: f or h?
f
Let h(j) = -j**3 + 32*j**2 + 30*j + 34. Let y(r) = 2*r**3 - 33*r**2 - 30*r - 34. Let u(s) = 3*h(s) + 2*y(s). Let x be u(-29). Is x >= 19/5?
True
Let x be (-137)/((-7)/(-42)*6). Is x < -413/3?
False
Let z be (-182)/(-39)*9/21. Is z >= 3/5?
True
Suppose -7*g = -2*g - 30. Suppose 13*i - g*i + 91 = 0. Which is bigger: -11 or i?
-11
Let d = -81 + 94. Does 13 = d?
True
Let k = 1135/6 + -189. Which is smaller: -30 or k?
-30
Let w = 476 + -474. Which is smaller: 3/5 or w?
3/5
Let t be ((-17)/2)/(14/8). Suppose 4*n - x - 381 = -391, 4 = 5*n - 4*x. Is n at least as big as t?
True
Suppose 14*j - 68 = 10*j. Which is bigger: 63/4 or j?
j
Let w be (-49)/(-4) - 8/32. Suppose 4*j + 16 = w. Do -2/5 and j have different values?
True
Let y(t) = 13*t - 550. Let h be y(37). Is -69 bigger than h?
False
Suppose n = -4*b - 31 + 9, 2*n = -2*b - 20. Let w be (345/(-30) + n/(-4))/(-7). Which is smaller: w or 2?
w
Let w = 603 - 640. Is w equal to 6?
False
Let p be 6 + -6 - (-1)/(-28). Let x = -181 + 181. Is p > x?
False
Let f = 158991398/277499145 - -52/240259. Let g = -2/1155 + f. Is -9 > g?
False
Let t be -3 - (-35)/5 - 2646/661. Which is bigger: -1 or t?
t
Let i = 105 - 87. Let p be i/27*(-18)/412. Is 1 < p?
False
Let p be ((-4)/(-6))/(75/18 - 4). Suppose -12 = -12*x + 8*x, -2*m + p*x = 0. Is 29/5 <= m?
True
Let h = 0.0206 + -21.9206. Let d = h + 21. Suppose 2*b - 3 = -b. Is b > d?
True
Let w be -2 + (-8)/69*21. Is w greater than or equal to -5?
True
Let i = -1/5963 - -12947/6088223. Which is smaller: i or 1?
i
Let v = -31 - 59. Suppose -4*f = 5*n + 447, 4*f + 63 = 2*n + 253. Is n at most as big as v?
True
Suppose -7*j + 15 = -27. Suppose -3*g - 8 = -4*i, i - j = -2*g - 15. Does -4 = g?
True
Let u = -0.059 - -0.056. Let c = u - -0.101. Which is smaller: c or 0?
0
Let d be 3 - 1/((-2)/(-4)). Let a = 2.7 - 15.7. Let k = a + 18. Which is greater: k or d?
k
Let n = -333 + 300. Which is smaller: -5 or n?
n
Let a be (-2 + (-44)/(-6))*3. Let f = 2070 + -2070. Which is bigger: f or a?
a
Let o = -7933374198133/29190448485 - -12/58970603. Let l = o - -1359/5. Suppose -3*x = -4*f - 9, 14*f = 9*f + 3*x - 9. Which is greater: l or f?
l
Let v(n) = n + 3. Let o be v(-4). Let u(f) = 