?
True
Let n be 63 + (-3)/(-3) - 4. Suppose g - 7*g + n = 0. Suppose 0*b + 8 = -4*b, -i + g = -4*b. Are 0.2 and i nonequal?
True
Suppose 0 = -74*i + 31*i + 774. Let d = -3/59 - 109/177. Is i at most d?
False
Suppose 2*p + 41 = -p - 38*p. Which is smaller: p or -5/806?
p
Let g be ((-484952)/168896)/((-69)/(-4)) - 1/(-6). Which is greater: g or 0?
g
Let g = -90 - 2219. Which is bigger: g or -2310?
g
Suppose -4*z = -0*z. Let f = -19266/7 + 366222/133. Which is smaller: z or f?
z
Let i be 196192/(-96)*4/144*4. Let f = i + 227. Suppose 0 = -5*r - 25, 5*z + 4*r = -0*r - 15. Which is smaller: f or z?
f
Let b = 29327 + -29379. Does -67 = b?
False
Let n(o) = o**2 - 5*o + 6. Let i be n(4). Suppose -15*j + i = -16*j. Let z be (-2)/2 + j - (-78)/30. Is z greater than 15?
False
Let s = -0.01503 + 1.01503. Do -1.1365 and s have the same value?
False
Let u = -104 - -192. Let k = u - 80. Suppose k - 22 = -7*c. Are 2 and c equal?
True
Let j(g) = g**3 + 84*g**2 + 109*g + 2083. Let w be j(-83). Does -86 = w?
False
Suppose 12*t + c - 4 = 10*t, 4*t - 3*c - 8 = 0. Does 159/67 = t?
False
Let a = 189.3 - 195.3. Does 0.69 = a?
False
Let n be ((-960)/4200)/((-6)/56). Which is greater: 0 or n?
n
Suppose 0 = -6*z + 8*z + 34. Let i = -9 + z. Let m be 136/51*3/i. Which is smaller: m or 0?
m
Let m be (-386)/40 + (-100)/(-16) + -4. Let h be (0 - -1)*(-4 + 4). Is h at least as big as m?
True
Let h = 200 + -216. Let s(g) = -2*g + 45. Let d be s(h). Are 79 and d nonequal?
True
Let k be (-60)/810 + 114/81 + -1. Is k != -222/13?
True
Let p be (-10668)/(-234909) - (-24)/(-516). Which is greater: p or 0?
0
Let u be (-1)/6 - 60/(-387). Let k = -164 + 176. Let b be ((-7 + k)/5)/(0 - 1). Is u != b?
True
Let h = -118 - -114. Let p be h/6 - ((-2739)/(-8163) + -1). Which is greater: 1 or p?
1
Let p = 0.2 - -0.5. Let y = -0.091 + -0.509. Let g = y + p. Which is greater: 11 or g?
11
Let j be (-116)/(-87)*((-1)/4 - -1). Are j and 1/2725 equal?
False
Suppose 0 = -3*x - 5*h + 12, -4*x - 2*h + h - 1 = 0. Let u be (142/(-4899))/(x/12). Which is greater: -2 or u?
u
Let m be (66/55)/((-2)/(-10)). Suppose 0 = 5*h + 4 + m, -q + 29 = -3*h. Let i be (-603)/(-27) + 3/(-9)*1. Are i and q unequal?
True
Let b be 1 + 0 + 2 - (-16 + 19 + -1). Is 5/403 smaller than b?
True
Let q be (-1059)/(-15) - 9/15 - 4. Which is bigger: 78 or q?
78
Let p(q) = -q**3 - 14*q**2 - 6*q. Suppose 6*a = -66 - 18. Let c be p(a). Does 85 = c?
False
Let y(a) = 19*a**2 - 2*a + 11. Let k be y(2). Let d be (3/(-18))/(k/(-9))*2. Is d greater than -1?
True
Let a = -5429 - -5010. Are -2515/6 and a equal?
False
Let o be (-2)/3 + ((-20)/55 - 108136/(-924)). Is 1/4 at least as big as o?
False
Let o be 1*(55/10 - 6). Do o and -330 have the same value?
False
Let l be 44855/(-11225) + 5 - -4 - (9 + -4). Are l and 0 non-equal?
True
Suppose -15*n - 2*n = -n + 89408. Which is smaller: -5587 or n?
n
Let y = -78.166 - -80.21. Which is smaller: y or 2/9?
2/9
Let a be (((-2)/12)/(34/(-306)))/(6/4712). Which is smaller: 1177 or a?
1177
Let c be 1478/828*(-1572)/20. Let j = c + 235/138. Let u = j + 139. Is u smaller than 28?
True
Let o(b) = -771*b + 565. Let v be o(2). Which is bigger: v or -976?
-976
Let v = -5 - -220. Let t = v + -234. Is 0.03 greater than t?
True
Let y be (-3)/2*(-128)/6. Let u = y + -27. Suppose -6*p - u = 211. Do p and -36 have the same value?
True
Let q be ((6/(-4))/(-3))/((-53)/(2968/84)). Let o = 13.07 - 0.07. Which is smaller: q or o?
q
Let o(a) = -168*a + 54. Let w be o(3). Let h be (w/20)/(15/(-6) - -2). Suppose -p + 135 = 3*j, -p = -4*j + 138 + 42. Do h and j have the same value?
True
Let f be (-2 + 1)/(3/3). Let a be -4*((1 - 37809/(-3150)) + -13). Which is bigger: f or a?
a
Let o = 134.61191 + 0.38809. Which is greater: o or 29/5?
o
Let h be (-6)/(-33) + ((-372006)/2047122 - 0). Is h greater than or equal to 1?
False
Let m = -30506.0107 - -30506. Which is bigger: 4 or m?
4
Let s = 715 - 715. Let n be s/(28/(-7) - 3). Is n <= -3/118?
False
Let h = -8041 - -8010. Do -158/5 and h have the same value?
False
Suppose -18 = 21*x - 102. Let n(o) be the first derivative of -2*o**3/3 + o**2/2 - 4*o + 2. Let t be n(x). Are t and -34 non-equal?
True
Let q(d) = -4*d**3 + d**2 - d + 4. Let n be q(2). Let h = -34 - n. Let a be -4*2/h*-20. Is -20 less than a?
False
Let h be 4/17 + (-2)/8. Let r(q) = 632*q + 3792. Let f be r(-6). Which is bigger: f or h?
f
Let y be 35 - 6*(-10926)/(-1872). Suppose 2*w - 10 = -2*s, -3*s - 8*w = -3*w - 25. Is s != y?
True
Let q = 15 + -13. Suppose 0 = -c - q*c. Suppose c = n + 14 - 16. Is n at least -2?
True
Let c be (-7938)/(-45) + (-4)/10. Let p be c/(-58) + 36/12. Let z = 1 + -2. Which is smaller: z or p?
z
Let p = 101 + 19. Suppose 8*m = -0*m + p. Suppose -5*a + 25 = -m. Do 11 and a have different values?
True
Let f(w) = -2*w + 19. Let x be f(8). Suppose -2*k = -x*k + 5. Suppose 2*m + k = 15. Is 5 smaller than m?
False
Let h = -60.86 + 61. Let q = h - -3.86. Let t be (-3)/(-26)*(-8)/(-6). Is t equal to q?
False
Suppose 24*x = -17099 + 16619. Let j = 5 - 5. Suppose q = -3*l - 32, q + 4*l - 3*l + 24 = j. Is q not equal to x?
False
Suppose 47 = j - 2*k, -k + 235 = 5*j - 4*k. Suppose -45*b = -j*b + 6. Suppose 3*u + 2 = s - 12, 4*s = -b*u - 19. Is u bigger than -11/2?
True
Suppose -4*b = -5*u + 1366, 5*u - 5*b - 499 = 866. Let t = u - 281. Which is smaller: t or 10?
t
Let h = -33 + 29. Let k be h - (-4 + 6 + -78). Suppose -2*p + n + k = 0, 5*p = p + 3*n + 144. Which is greater: p or 35?
p
Let j = 0.268 - -0.346. Let r = -0.414 + j. Which is greater: r or -2/21?
r
Let v = 5864 + -5865. Are v and 9/380 unequal?
True
Suppose 1050 = 237*j - 227*j. Is j >= 527/5?
False
Let y be ((-2490)/372 + 6)/((-2)/4). Which is greater: y or 2?
2
Suppose 0 = 4*j + 5*n + 4, -393*j + 390*j - 5*n = 3. Is -9/712 greater than j?
True
Let o be 6/102*2 - (-68)/(-289). Is o >= -45?
True
Let o = 31.7722 - 31.6722. Let q = 4.75 + -225.75. Which is bigger: o or q?
o
Let x = 4003.013 + -4005. Let s = x - -2. Let u = 0.013 - s. Does u = 5?
False
Let f = 375 + -371. Suppose 2*s = -m - 124 - 94, 2*m = -f. Which is bigger: s or -217/2?
s
Suppose -8 + 8 = -w. Suppose w - 2 = -2*z. Let d be (8 - -4) + 3 - z. Which is smaller: 12 or d?
12
Suppose -2*q - 33 = -73. Let z be ((-15)/(-2))/((-2)/q*2). Is z less than -38?
False
Let k = -293523/104 + 22575/8. Let g = 1 + -4. Let m = g - -2. Is m smaller than k?
True
Let a = -5417 + 5404. Let x = 13.4 + -1.5. Let j = x + -12. Which is bigger: a or j?
j
Let y = -114 - -71. Let n = 204 + -357. Let k = -152.9 - n. Which is smaller: k or y?
y
Let m = 13250.56 + -13251. Which is smaller: -46 or m?
-46
Let q be (18998/18095)/((-1218)/80). Let c = q - -22/329. Is c < -1?
False
Let x = 5736 + -5744. Let f be (12 - 13)/(14/(-10)). Which is smaller: x or f?
x
Let o be (-148)/77 + -3 + 5. Let x = o + 183/616. Let t be (-28)/(-6) + -5 + (-8)/(-6). Is t less than x?
False
Let x = 0 - -2. Let o = -611 - -589. Let q be (-4)/o*7/2. Which is smaller: q or x?
q
Suppose -36269*m + 36244*m = -129769 + 421094. Is m <= 0.1?
True
Let h = 4254/5 + -847. Let b(t) = -19*t + 98. Let s be b(5). Is s smaller than h?
True
Let l = 511256 - 5619142/11. Which is smaller: 424 or l?
424
Let g(d) = d**3 - 5*d**2 - 6*d + 6. Let t be g(6). Let f be 66/(-15) + 27/(-45). Let n be f*(-3)/15*6. Is t less than n?
False
Suppose -2*t - 132 = -44. Let a be 300/t - 4/22. Is -57/10 greater than or equal to a?
True
Let n be 2 + (-246)/176 - (-3)/(-3). Let c = -3697/440 + n. Let h = 17 - 26. Are c and h nonequal?
True
Let a = -0.7653 - -0.5313. Are a and 1/20 equal?
False
Suppose 40 = 8*z - 16. Let c be -2 - (z - 24)/(1/1). Suppose 3*d = 2*g - 6, 0*d + 2*d - 5*g + c = 0. Do -2/101 and d have the same value?
False
Let i(u) = -u**3 - 3*u**2 + u + 4. Let x be i(-3). Suppose 636*k = 97*k + 9842 - 48111. Which is smaller: k or x?
k
Let a be 11/(-65) - (-4)/10. Let n = -3341 - -3341. Which is bigger: a or n?
a
Suppose 22 = 3*c + 3*b - 8, -c + 2*b + 7 = 0. Suppose 0 = 14*n - c + 23. Is 15/53 at least as big as n?
True
Let n be (-4 + 6 - 1)*-26. Let d(w) = 8*w - 2. Let z be d(-3). Let o = z - n. Is o equal to 3/8?
False
Suppose -3*j - 14 = -l, 5*j + 20 + 0 = 0. Suppose -l*k - 4*p = 2*k + 16, -4*k - 16 = 5*p. Let r = 21 + k. Which is greater: r or -0.2?
r