4*q - 5*k - 3061. Suppose -7 = 16*s - q. Is 49 equal to s?
False
Let t = -127 + 128. Let x be 21/(-54) + (3 - 3). Let v = 73/90 - x. Are v and t equal?
False
Let m = 90 - 105. Let j = -2 - -4.5. Let i = -3.5 + j. Is i greater than or equal to m?
True
Let h be (-4 - 0) + 1055/10. Which is bigger: h or 2?
h
Let s be 9/1 - (-60 + 28). Let m be 20/310 - s/589. Which is smaller: 1 or m?
m
Suppose 3*s + 3*m = -15, 0*s - 5*s - 10 = 2*m. Let o be -66 + 66 + 1 + 1 + s. Are o and 2 equal?
True
Suppose 53*y - 54*y = -1. Which is smaller: 1583/5 or y?
y
Let h = 8713 + -7808. Are h and 906 nonequal?
True
Let f = -4233 + 4232.8. Which is greater: f or -1634?
f
Let c(s) = 2*s**2 + 7. Suppose -n = -4*r + 5, -1 = -2*n - 11. Let z be c(r). Let a = -70 - -77. Is z less than or equal to a?
True
Let l be (-4)/(2 + 2)*1. Let s be 1/(-69)*156/4*l. Which is smaller: 2 or s?
s
Let z = 16944 - 51397/3. Is z bigger than -0.1?
False
Let u = 2862 + -1298. Which is smaller: u or 1563?
1563
Suppose 22*z - 2*u = 18*z + 1806, 2*u = -4*z + 1810. Is z smaller than 452?
False
Let j(l) be the second derivative of l**3/2 - 9*l**2/2 + 19*l. Let o be j(4). Let a = 610/287 - -30/41. Does o = a?
False
Let k = 0.2 - 0.1. Suppose 3*q = 25*q - 13*q - 1224. Is q equal to k?
False
Suppose -4*u + 120 = 36. Suppose 19*a - 480 + 100 = 0. Let w = u - a. Which is smaller: 4/35 or w?
4/35
Let b = 383 + -442. Let a be (2/6)/(b/177). Is a < 2/209?
True
Let y be (-17 + -1)*((-45)/10)/3. Suppose -y*f = -38*f. Is 1/60 equal to f?
False
Let t = -2809/1704 + 5/213. Let w = 4 + -6. Which is greater: t or w?
t
Let k(b) = -647*b - 2236. Let i be k(-2). Is i greater than or equal to 4?
False
Let o be (-3)/(1/(3/(-5))). Suppose 210 = 8*p + 2*p. Suppose -p = -98*k + 91*k. Which is smaller: o or k?
o
Suppose -2 = 4*z - 3*g, 5*g = 2*z + 141 - 147. Let o = 2690 - 51136/19. Which is bigger: z or o?
o
Let l be (54/12)/(6/8). Let i be (l - 400/154) + 18/(-21). Is 2 smaller than i?
True
Suppose -4*n + x + 252 = 6*x, -2*x = 3*n - 182. Let s be (3 - -1)/(n - 20). Does s = 3?
False
Let w be (32 + 18469/(-575))*(-6)/(-9). Let i = -64 + 44. Let m be 12/i + (-4)/10. Which is smaller: m or w?
m
Suppose -3*g - m + 47 = 0, 0 = -g + 38*m - 31*m + 67. Which is smaller: 18/19 or g?
18/19
Suppose 4*f - 6 - 30 = -2*g, 0 = -5*g - f + 54. Let a(m) = -m**2 + 22*m - 116. Let q be a(g). Which is smaller: -9 or q?
-9
Let p be (1/(-54) + 90/(-270))*6/(-28). Which is smaller: p or 1?
p
Let j be 2 + -2 - (-1568)/8. Suppose -j = 47*b - 19*b. Which is smaller: -64/9 or b?
-64/9
Let o be (1 - 17)/(1 + -6 + 3). Let h = 13 - o. Suppose 0 = -3*q - 5*k - 16, -5*q + h*k = 4*k + 64. Which is smaller: q or -10?
q
Let s = -798 - -794. Is s at least -20?
True
Let p(f) = -f**2 - 29*f - 242. Let o be p(-14). Let n(z) = 7*z. Let k be n(-4). Let a = o - k. Do a and -13/4 have different values?
True
Suppose -137 + 137 = -y. Let b be (-20)/(-10) + 0 + y. Let v be b/(-246)*51/34. Which is smaller: 1 or v?
v
Let y(j) = -8*j**2 - 2*j + 12. Let c be y(-4). Let g be (-2)/2*18/c. Let i = 47 + -46. Is g != i?
True
Suppose -72*h = -0*h - 3096. Is 47 < h?
False
Let x = 145.3 - 50.3. Let q = 108 - x. Which is greater: -1/6 or q?
q
Suppose -20*j - 7*j - 780 = -807. Which is smaller: 37 or j?
j
Suppose 4*c - 19*c - 24633 = 2*c. Which is greater: -1450 or c?
c
Suppose j + 1 = -1 + 3. Let d = 1106/16281 + -2/243. Is j bigger than d?
True
Let r = 75/2 - 531/14. Let o = 55 - 259. Let y = o + 204.1. Is y not equal to r?
True
Let d(r) = r**2 - 1603. Let s be d(0). Are -1603 and s nonequal?
False
Let m be 387/27 - 2/6. Let k = -9 + m. Suppose -20 = 2*w + 2*w, -2*s - 29 = k*w. Which is smaller: s or -1/2?
s
Let b(a) = 5*a**2 + 14*a + 277 - a**3 - a**2 - 283. Let s be b(6). Suppose 5*g + 4*u = 8, -g + 2*u = s*u - 8. Which is greater: -7/3 or g?
g
Let z = 31.827 - -8.173. Are z and -3 equal?
False
Let o(q) = -q**3 - q**2 + q + 47. Let r be o(0). Let f(y) = -259*y + 22845. Let d be f(88). Which is smaller: r or d?
r
Let m be (-7)/((-42)/12)*-3 - (-43 - 0). Do 57 and m have different values?
True
Let q be (-3)/10*167450/(-3570). Which is smaller: q or 13?
13
Suppose -221 = -11*m + 7864. Let d be ((-3)/1)/(-9)*m/20. Which is smaller: d or 12?
12
Suppose -23 + 23 = 5*j. Let p be ((-20)/1095 - j)/(2/308895). Let z = p + 2821. Which is bigger: z or 1?
1
Suppose -125*j = 61 - 25311. Which is greater: 203 or j?
203
Suppose 7*l - 6*l = -31*l - 32. Let c = -0.18 - 1.62. Let i = 2.9 + c. Is i at least l?
True
Let m = -32 - -113. Let i be -3*8/54 + 66/(-1188). Is m at most as big as i?
False
Suppose 381*x - 468*x + 67599 = 0. Is x bigger than 778?
False
Let u be ((-15)/3)/(0 - 1). Let w = -19372 + 213162/11. Which is bigger: w or u?
w
Let a = -30814 + 25775. Which is smaller: a or 1?
a
Let z = 1388770/9 - 154787. Let p = -479 - z. Which is greater: p or -0.47?
p
Let f = 25 - 15. Suppose 0 = -q - 5*j + 19, 4*j - 2 = f. Let v = 1166 - 5803/5. Is q at most v?
True
Let a = 606.6 - 40.6. Which is greater: a or -4?
a
Let j be -3 - 0 - -9 - 3. Let t be 4017/(-1540) - (-18)/63. Let m = -4/55 - t. Is j > m?
True
Let q be ((-2)/8)/(12/96). Let a be 11*((-2)/q)/(2/(-6)). Which is bigger: a or -27?
-27
Let y be (1/(-2))/(-2*(-1)/4). Which is bigger: -1/33114 or y?
-1/33114
Let h be 10716/(-14570) - (91/(-31) + 3). Does 2/5 = h?
False
Suppose 3*f + 11 = c, 5 = -f - 4*c + 3*c. Let t be (f - -9) + 12/(-2). Let z = 151/285 + -6/95. Is t at most z?
True
Let u = -31.995 - 0.005. Let x = u - 49. Let n = -80.97 - x. Which is smaller: 0.1 or n?
n
Suppose -i = 2*i. Suppose i = -j + 5*q - 14, 3*j + 3*q - 1 = -7. Suppose -4*w + 5 = -3*s, 4*w - 18*s = -20*s - 30. Is w < j?
False
Suppose 3046 = 2*x - 142*b + 144*b, 5*b = -4*x + 6099. Which is bigger: x or 1517?
1517
Let o be (60/(-40))/((-3)/(-1154)). Let h = 599 + o. Which is bigger: h or 29?
29
Let k = -1432808/21 - -68250. Do 20 and k have the same value?
False
Let h = -0.045 + 19.045. Which is bigger: h or -74?
h
Let d = -754 - -451. Let n(a) = -2*a - 2. Let c be n(-3). Let p be (-6)/c + 0 + d/(-210). Which is greater: -1 or p?
p
Let k be -1*((-45)/(-6))/(15/(-340)). Suppose -3*x = -5*j - 7 + k, 5*j + 4*x = 191. Let t be (-260)/j + 2 + 0 + 3. Is t at least -2?
False
Let k(j) = -j + 25. Let v be k(10). Let l(t) = 6*t**2 - t. Let f be l(3). Let o be (-1*3/9)/((-1)/f). Which is smaller: o or v?
v
Suppose -368 = -0*c - 4*c. Let g be (-14)/((-376)/c + 4). Suppose -13 = -4*l - g. Which is smaller: l or -36?
l
Let w(i) = -400*i - 1074. Let a be w(-3). Suppose -3*v = -281 - 100. Which is greater: a or v?
v
Suppose 0 = 9*j - 11*j - 12. Let l = -233 - -392. Let m = 155 - l. Which is smaller: j or m?
j
Suppose -o = -4*t - 8, 27*o = -2*t + 28*o. Let b = -1/2 - -10/21. Are t and b unequal?
True
Let n(p) = -5*p + 10 - 15*p - 5*p**2 - 37 + 9*p**2 - 3*p**2. Let l be n(18). Is l less than or equal to -67?
False
Let c be (-3 + 3)*(16/(-6) - -3). Suppose 5*m = c, 70 = -5*h - 0*m + 2*m. Let s be (-200)/h*(-28)/(-8). Is s at most 51?
True
Let u be (22 - 20)*(-19)/2. Let p(l) = 7*l + 133. Let o be p(u). Is o at most as big as 2/91?
True
Let q be ((-65)/15 + -2 - -5) + 452/(-6). Does -78 = q?
False
Let j(c) = -4*c - 6. Let v(s) = -s**2 - 2*s + 6. Let m be v(2). Let w be j(m). Suppose 4*t = h + w, 0 = t + 4*t + 3*h - 11. Is 1/68 != t?
True
Let u be 14 - (14301/777 + 6). Which is smaller: -11 or u?
-11
Let a be ((-75)/45 - (-1 - 1))*3. Suppose -3*o + 4*x = -122, -2*o + 3*x - 52 = -132. Is a not equal to o?
True
Let q be 510/4*11/((-330)/(-36)). Let t be ((-6)/28)/(2/1421). Let k = t + q. Do k and 0 have different values?
True
Let m = 401 + -390. Let j be 2/(-1) + -12*(-1)/2. Suppose 0 = -5*h + 4*r + 62, -2*h + j*r = 2*r - 24. Which is smaller: m or h?
m
Let b be ((-8 + 36)/7 - -44)/1. Suppose 10*j - 473 = -j. Which is bigger: j or b?
b
Let s = -58.2062 - 0.7218. Let h = 59 + s. Let d = h - -0.028. Which is bigger: d or -29?
d
Let w = 0.0065 + 17.6935. Let y = w - 20.5. Which is smaller: 0.2 or y?
y
Let a = -16300 - -16367. Is -8.1 equal to a?
False
Let y = 97 - 91. Suppose -4*g = -2*w + y, -w - 8*g - 11 = -3*g. Is w at most as big as 2/163?
True
Let j be (-1)/(-8) + (-8954)/76368. Suppose 2*f + 3*p = 18, 0*p = -4*f + 2*p + 68. Let t = f - 15. Do t and j have the same value?
False