Are v and b nonequal?
True
Let j = -17887/195 - -275/3. Which is greater: 1 or j?
1
Let u = 133/45 - 43/15. Suppose -h + 6 = 5*w, -2*w - h = -2*h - 1. Which is greater: u or w?
w
Let y = -796/8877 - 1/807. Is y <= 0.172?
True
Let v be (4 + -5)*-1*(1 - 0). Let b be (v/3 + -1)/((-54)/(-243)). Let d(u) = -u**2 - 7*u - 6. Let z be d(b). Is z >= 6?
True
Suppose 5320 = -550*z + 620*z. Which is greater: 5/3 or z?
z
Let p(x) = x**3 + 13*x**2 - 14*x + 21. Let c be p(-13). Suppose 0 = -2*a - 629 + c. Is a greater than -212?
False
Suppose 27*p + 181 - 395 = 2216. Does 1002/11 = p?
False
Let z be (-203)/(-435)*((-126)/10 + 0). Which is bigger: -6 or z?
z
Suppose 0 = -6*v - 180 - 186. Let f be (127 + -1)/(60 + v). Which is greater: -2 or f?
-2
Suppose 5*o + n + 341 = 0, o + 24*n - 19*n = -73. Let w be 186/(-40) - 85/o. Which is smaller: w or -4?
-4
Let k = 176 + -164. Let l be 7/2 - (-7)/(-14). Suppose 2*r + 25 = 5*h - 2*r, -l*h - 4*r = 17. Which is smaller: k or h?
h
Let h(j) = 2*j**2 + 52*j + 56. Let z be 16 + -42 + (3 - 2). Let r be h(z). Let d = 46/15 + 191/60. Is d != r?
True
Let u = -156769 + 156774. Let r = 2 + 1. Which is smaller: u or r?
r
Let f be (-321 + 0)*(-36)/(-54). Let u = 144 + f. Let c = -52 - u. Is 0.1 > c?
False
Suppose -384*h = -2194*h - 121*h + 98481. Let k be (-2)/3 - 438/(-9). Which is smaller: k or h?
k
Suppose 56821 + 235 + 6000 = -16*u. Is -3940 bigger than u?
True
Let p = -2013/40 + 246/5. Let m be -5 - (3 - 8) - (-2 + 2). Which is smaller: p or m?
p
Let v = -24943 + 12633. Is v at least as big as -12310?
True
Let p(t) = -22*t - 25. Let f(h) = h**2 + 21*h + 34. Let c be f(-19). Let o be p(c). Is 65 != o?
True
Let j = -1677 - -1664. Which is bigger: 163 or j?
163
Suppose 3*x = 20 + 1. Let i be (-7 + x)/(2/2). Suppose i = -2*b + 7*b - 210. Are 43 and b unequal?
True
Let w = 4975/2 + -2640. Let l = 118 + w. Which is bigger: l or -36?
l
Let b(h) = -76*h**3 + 2*h**2 - 3*h + 2. Let j be b(1). Let i be -6*((-85)/j + 4/(-3)). Which is smaller: 2 or i?
i
Suppose 0 = -4*n + 20, -b + 0*b + 24 = n. Let c(d) = d**2 - 91*d + 1339. Let s be c(73). Is b <= s?
True
Let p be 2/((4460/(-243))/(-1)). Let d = 7755 + -1729367/223. Let s = p + d. Are -0.1 and s equal?
False
Let t(a) = 4*a - 24. Suppose -4 - 20 = -4*j. Let s be t(j). Let o be 4/42*78 - (s + -2). Is 8 greater than or equal to o?
False
Suppose -20 = 44*h - 2 + 26. Is h at least as big as 1/1830?
False
Suppose -33 = -1419*h + 1416*h. Suppose 5*v + q - 129 + 155 = 0, -h = 2*v + q. Suppose -3*f = b + 4*b - 12, 0 = b + 5*f - 20. Which is bigger: v or b?
b
Suppose -3*h + 3*z - 6 = 0, -3*z = -z. Let p be 4/(-22) - (-3384)/99. Suppose 26 = 2*q - 2*r, -2*r - 20 = -4*q + p. Which is bigger: h or q?
q
Suppose 5*l + 24 = 5*l - 12*l. Is l equal to -338?
False
Let c(v) = v**2 - 18*v - 67. Let s be c(21). Let f be (-2593)/(-143) + s + 1/1. Let m = f - 158/11. Is 0 at most m?
True
Let i(x) = x**2 - 17*x + 87. Let n be i(11). Suppose -m + 0*u - u - n = 0, 90 = -5*m - 2*u. Which is greater: -0.4 or m?
-0.4
Let p(q) = -4*q**3 + 67*q**2 + 258*q + 11. Let g be p(-4). Is 311 less than g?
False
Let k = -87/8 + 3409/312. Suppose -16*v - 5*g = -12*v + 19, 3*v + 2*g + 9 = 0. Are v and k equal?
False
Let j be -2*(534/356 + (-18)/(-2)). Which is bigger: -18 or j?
-18
Suppose 0 = -4*c + 89 - 241. Let p = 324 - c. Is p less than 363?
True
Let v be 830/(-204) + 24 + -20. Let y = 4/17 + v. Which is greater: y or 10?
10
Let w = 3046.6 - 1265.6. Are -2/7 and w non-equal?
True
Let p = -187 - -747/4. Let a = -3 - 0.6. Let x = -1.6 - a. Is p greater than or equal to x?
False
Let m = -55 - -63. Let w(r) = 8*r - 28. Let j be w(m). Suppose 23*l - j = 26*l. Is -12 at most as big as l?
True
Let j = 78 - 74. Suppose j*r + 0 = 4. Let f = -314/615 + 10/41. Is r != f?
True
Let z = 1573 + -1574. Which is smaller: z or 12/697?
z
Let l be 2/8*(-880)/570. Let u = l + -4/285. Which is smaller: u or -3/73?
u
Let s be (-24)/56 + (-12240)/(-140). Are 82 and s equal?
False
Let k = 2/7 + -68/287. Suppose 0 = -2*i + 5*i + z - 15, -3*i = -z - 9. Let g be (i - (-56)/(-16))/(1/(-2)). Which is smaller: g or k?
g
Let n = -231 - -488. Let v = n + -208. Which is greater: v or 47?
v
Suppose -3*l + 14*l - 77 = 0. Let k be -8 + l - 455/(-453). Is k bigger than -1?
True
Let h(n) = -n**3 + 30*n**2 + 4*n - 60. Let t be h(31). Is -897 bigger than t?
False
Let c(d) = -2*d**3 + 6*d**2 - 11*d + 18. Let g(n) = 6*n - 51. Let m be g(9). Let p be c(m). Is p not equal to -44/3?
True
Let v be 5/((-15)/9) - (-59 + 1). Suppose 0 = -18*z + v - 505. Is -27 equal to z?
False
Let o = -7021 + 28083/4. Which is bigger: 218.8 or o?
218.8
Let i(k) = -2*k**2 - 79*k - 29. Let y be i(-39). Let l be -13 + y - (-45)/24. Let n(s) = s**3 + 7*s**2 + 7*s + 4. Let d be n(-6). Which is greater: l or d?
l
Let h = -51 + 46. Let u be 4/(-1 - h)*(0 + -6). Let n = 0 + u. Which is greater: n or 6?
6
Let z be (127/(-3))/(26/78). Let o = -127 - z. Is 170 equal to o?
False
Let n be 0 + 15/96*-1. Let l be 3 - 1 - 2536/1792. Let y = l + n. Are 1 and y nonequal?
True
Suppose -5*d - j = -4*d - 7, -5*j + 24 = 4*d. Let i be -39 - -33 - (d - 1). Are i and -16 non-equal?
False
Let h(a) = a**2 + 9*a - 28. Let o be h(-13). Let g = -19 + o. Suppose -4*j - 7*p = -10*p - 25, j - 2*p - 10 = 0. Is j at most as big as g?
True
Let i(h) be the second derivative of h**5/20 + 35*h**4/12 + 35*h**3/6 + 33*h**2/2 + 59*h. Let a be i(-34). Which is bigger: 7 or a?
7
Suppose 7507*a - 7510 = 7517*a. Which is smaller: -752 or a?
-752
Let g = -412 + 1645/4. Suppose -6*r = -24 + 30. Which is bigger: r or g?
g
Let v be 2/(-1) - (-23)/9. Let u = -47711 - -47711. Is v >= u?
True
Let v(w) = 327*w - 1. Let q be v(0). Is q >= 1401?
False
Let o = -3.958 - -840.958. Do o and 2 have different values?
True
Suppose -r + 2 = -1. Suppose -3*w - 15 = -r*c, 0 = -3*c + 4*w + 20. Let t(z) = z**2 + 7*z + 12. Let j be t(-5). Is c at least j?
False
Let j be (-4)/(-32) + (-34420)/160. Which is smaller: -427/2 or j?
j
Let f be (40/(-440))/((-1)/11) + -629. Is f greater than or equal to -627?
False
Let o = 2/52271 + -108288/97903583. Let x be (-3 - (-12)/8) + (-2)/(-4). Does x = o?
False
Let y(x) = -233*x + 1736. Let k be y(6). Which is smaller: -1 or k?
-1
Let v = 56 - 56. Let i = -2096.9 - -2097. Which is smaller: i or v?
v
Let w = -45714/7 - -2013285/308. Which is bigger: w or 5?
w
Suppose -w = -3*w - 8, 3*w + 4 = -2*l. Suppose n - 67 = l*a, -3*n = -2*a - 43 - 138. Let k(p) = -14*p + 4. Let y be k(-4). Which is greater: n or y?
y
Let k be (-15)/360 + 75/72. Is -5/5802 at least k?
False
Let a(c) = 120*c**2 + 142*c. Let n be a(-1). Which is bigger: n or 48?
48
Let o = 2197 - 3202. Is -0.1 <= o?
False
Suppose -16*h - 268 = -12*h + 3*w, 4*h + 5*w = -260. Which is smaller: -492/7 or h?
-492/7
Let h be (2*16/(-64))/(4/1848). Is -247 at least as big as h?
False
Let f = 597761/475168 - -1/15328. Is f at least 1?
True
Let v(o) = 28*o + 448. Let d be v(-16). Which is greater: d or -7/607?
d
Suppose 0 = 5*h + 4*g + 691, g + 262 = -2*h + 3*g. Is -108 >= h?
True
Let b(d) = -3*d**2 + 91*d - 265. Let r(t) = t**2 - 31*t + 88. Let v(u) = 4*b(u) + 11*r(u). Let z be v(18). Is z bigger than -1?
False
Suppose 134*a - 110 - 270 = 139*a. Suppose -k - 355 = 4*k + 5*m, m = -4*k - 299. Is k >= a?
True
Let r = 232 + -126. Let u be r/9 - (6 + (-168)/27). Let o be -4 - 8*u/(-33). Which is greater: -1 or o?
-1
Suppose 11*o = 7*o + 372. Let s = o + -93. Suppose s = -4*m + 3*m + 5, 0 = g - m + 32. Is -26 > g?
True
Let j(w) = -5*w**2 - 136*w + 127. Let t be j(-28). Which is greater: 80 or t?
80
Let v = -29.2 + 32. Let c = -4396.8 + 4394. Let r = v + c. Which is bigger: 1/62 or r?
1/62
Let h be (194/1)/(20*(-11)/55). Is h less than -49?
False
Let p be 1/10*-8 - (-48)/60. Let k(h) = h**3 - h**2 + h - 10. Let i be k(0). Let n(t) = t**2 + 9*t - 13. Let w be n(i). Is w at least p?
False
Let f = 3836 + -9507. Is -1/3 > f?
True
Let t = -2.3084 + 2.1914. Is -0.016 greater than t?
True
Suppose 2*k + 4*t = -522, -k - 3*t = -0*t + 265. Suppose -21*q - 1584 = 2960 + 790. Is q bigger than k?
False
Suppose -22*c + 4*c = -42*c - 4488. Which is greater: 3.3 or c?
3.3
Let z be 1/5*-6*1245/166. Let d = 10 + z. Let p = -308 + 5854/19. Is p > d?
False
Suppose -3*k = 15, -s + 5*k + 37 + 429 