equal?
True
Let j(p) = 20*p**2 + 3*p. Let f be j(0). Which is smaller: f or -3/190?
-3/190
Let j be ((-333)/13875)/(2/(-10)). Which is bigger: 51 or j?
51
Let d be -2 - 4 - (-74)/12. Let f = 0.07 - -0.13. Is f smaller than d?
False
Let a(z) = -4*z + 5. Let c be a(2). Let p = c + 22/7. Which is smaller: p or 2/97?
2/97
Let j = 6/2315 - -2539513/16205. Suppose -3*r = n + 468, n = 3*r - 4*n + 486. Let y = j + r. Which is greater: -2/9 or y?
-2/9
Let c be (-10)/(-25) + 1628/(-70). Let g(n) = n**2 - 143*n - 2052. Let b be g(-13). Which is bigger: c or b?
c
Let v = 167.38 + -167. Let j = v - 0.08. Is j smaller than -0.14?
False
Let l(k) = 2*k + 5. Let u = 28 + -31. Let n be l(u). Let c = 20 + -19. Is c < n?
False
Let a be -4 - (-1 + -105)*((-160)/5)/(-16). Is a bigger than 1034/5?
True
Let a = -119 + 119.1. Which is smaller: 611 or a?
a
Let w be ((-12)/(-32)*-4)/((-2)/(-4)). Let c be (-12 - -10)/(2/(-33)*w). Is -9 at most as big as c?
False
Let v = 10/2969 + 1024225/23752. Let z = 203/4 - v. Is 7 greater than z?
False
Let u(r) = r**3 + 40*r**2 + 37*r - 96. Let z be u(-39). Let a be 5/28*z/(-45). Is a less than 3?
True
Let d = 5 + -8. Let n be 4/18 + (-364)/(-468). Let j be (d/(-12) - n)*-1. Is j not equal to 0?
True
Let v = -11926286/408765 + -2/24045. Is -29 less than or equal to v?
False
Let q = 14923 - 14922.87. Is q at least as big as -348/7?
True
Let i be (2/3 - 0)/(-126*70/2835). Which is bigger: -0.12 or i?
-0.12
Let c = 29.5 + -122.5. Let d = c + 86. Which is smaller: d or -6?
d
Let z = 2239 + -2236. Is z not equal to 89?
True
Let g = -3/2419 - -96769/7257. Let n(v) = 4*v**2 - 2*v. Let t be n(3). Suppose -2*u - t = -4*u - 3*p, -p - 34 = -3*u. Is g greater than or equal to u?
True
Let z = 0.119 - -495.881. Let n = 496.953 - z. Let i = 0.047 + n. Is -4 > i?
False
Let w be 14*3/24*340/(-5). Let v = w - -284. Which is bigger: 1/4 or v?
v
Let j be 155/140 - (5 + -5). Which is bigger: 2 or j?
2
Suppose 0 = 10*i - 141 + 171. Let f(x) = x - 5 - 2 + 0 + x. Let v be f(5). Which is greater: v or i?
v
Let k = 5809.8554 + -0.8554. Which is smaller: k or 0.1?
0.1
Let s(j) = -j**3 + 6*j**2 - 5*j + 7. Let y(x) = -8*x + 125. Let v be y(15). Let z be s(v). Let o = -920/3 - -314. Which is greater: o or z?
o
Let w = -9.628 + 10.85. Which is smaller: -1 or w?
-1
Suppose -4 = 4*u - 5*j, -3*j = 3 + 9. Let d be (91/14 + -5)*(-272)/u. Let r = 51 - d. Which is bigger: r or 1?
1
Let u be 132/2*-1*2. Let a be (-3 - (-36)/8)/(72/(-6240)). Which is greater: u or a?
a
Let b = -2086 - -2187. Which is bigger: 801/8 or b?
b
Suppose 81*m = 34*m + 208962. Is 4446 smaller than m?
False
Let x = -74/13 - -5193/910. Let r(j) = 147*j - 53*j + 49 - 42*j - 42*j. Let p be r(-5). Which is smaller: p or x?
p
Let q = 57 - 56.34. Let f = 3.46 - q. Let l = -2.9 + f. Is 0.4 > l?
True
Let h = -259 + -382. Let k = h + 641.11. Which is smaller: -0.06 or k?
-0.06
Let g = -1049.4279 - -8.1679. Let u = -1050 - g. Let z = 1.44 + u. Which is greater: 2/5 or z?
2/5
Let i(u) = -u**2 - 5*u + 22. Let d be i(-9). Let f be (-2 - d/6)/(12/108). Let r be f/(-2) + 190/100. Are r and 0 nonequal?
True
Let u = -26.031 + -0.269. Let f = 26.4 + u. Is f greater than or equal to 148?
False
Suppose -2*p = -5*h + 11, 5*h + 4*p = -1 + 24. Let n be (-17)/((h - 8) + 4). Let i = n - 23. Is -14/3 smaller than i?
False
Let q be (2/(-6))/(-5 + 148/30). Suppose k + 2*k = -3*g - 3, -q*k - 1 = 4*g. Let o be g*(-2)/4*(0 + -10). Which is smaller: o or -18?
o
Suppose 152*j - 33 = 322*j - 159*j. Which is greater: -11 or j?
j
Suppose 5*s - 4*i - 137 = 0, 10*s = 2*i + i + 259. Let o(d) = -d**3 + 27*d**2 - 44*d - 80. Let j be o(s). Suppose -4*f = f - 345. Does f = j?
False
Let u(n) = -3*n**3 - 347*n**2 + 108*n + 84. Let v be u(-116). Does -3 = v?
False
Suppose 0 = p - 4*p - 96. Let r be 0 + (-3)/(-4) + (-7092)/(-16). Suppose -6*k = r - 252. Do p and k have the same value?
True
Let v = -22.5 - -25. Let c = 0.0221 + 2.8779. Let x = c - v. Which is greater: x or 1/2?
1/2
Suppose -84*j + 12*j + 72 = 0. Let o be (1 - (-17)/(-8))/(-21). Do j and o have different values?
True
Let b be -142*1 + -97 + 91. Which is bigger: b or -138?
-138
Let x = -8.094 + 7.0789. Let t = 0.0151 + x. Are 18/13 and t nonequal?
True
Suppose 2*f - 43 = -5*r - 287, 0 = -2*r + f - 103. Let w be (1602/890)/((-3)/65). Let d = r - w. Is d <= -12?
False
Let z = -286 - -271.2. Let o = -14.7 - z. Which is greater: 2.19 or o?
2.19
Suppose 3*u = 4*k - 24, 2*u + 4*k = 4*u + 20. Let z = u + 25. Suppose 51 + z = -2*j. Are j and -36 non-equal?
False
Suppose -5 - 2 = b, -3*c - 2*b - 494 = 0. Which is smaller: -1289/8 or c?
-1289/8
Let g = -1528 - -239897/157. Suppose 4*s = -4*o - 32, -8 = -5*o - 87*s + 88*s. Which is greater: o or g?
g
Let b be 9/(-18) + (-36)/90 + 12942/2380. Do 5 and b have different values?
True
Suppose -2*n - 90 = -5*n. Let y = 2.54 + -19.34. Let f = -16.8 - y. Are n and f equal?
False
Let x = 5804 + -5803.2. Let m = -0.6 + 0.2. Let d = 0.6 - m. Which is smaller: d or x?
x
Let w = 9276 - 9290. Is w < 53?
True
Let p = -11016 + 11013. Is p less than or equal to -59?
False
Let z = 6 - 6.39. Let y = z - 1.91. Let p = -6.3 - y. Is -0.1 <= p?
False
Let d(o) = -o**3 + 6*o**2 - 6*o + 7. Suppose -x = x - 10. Let q be d(x). Let w be ((-8)/30)/(1/(-6)). Is w less than q?
True
Suppose 0 = 121*m + 1147 - 22322. Which is greater: m or 0.02?
m
Let x(m) = -m**2 - 82*m - 372. Let w be x(-13). Which is smaller: 523 or w?
523
Let n = 1.66 + -1.535. Let d = 2.125 - n. Is -2/5 not equal to d?
True
Let q be (4*(-1)/2)/(10 - 12). Which is smaller: -30/397 or q?
-30/397
Let r be 1032/688*(-28)/3. Is r equal to -47?
False
Suppose 36 = -75*j + 84*j. Let n(v) = -56*v + 142. Let w be n(j). Is -85 smaller than w?
True
Let h(l) = -5*l + 16. Let b be h(-8). Suppose 4*a = 20 + 40. Suppose -16*q + a*q + 57 = 0. Which is smaller: b or q?
b
Let q = -1425 - -1003. Let j = q - -1693/4. Which is smaller: j or -0.02?
-0.02
Let f = 8699.3939 + -8699. Is f at least -1?
True
Let s be (0 - 1)/(-8 - 75/(-10)). Is s less than 830?
True
Suppose -7*c = -14*c + 49*c + 1890. Which is smaller: -316/7 or c?
-316/7
Let t be (1748/86710)/((-1)/4 + 0). Let a = 181/11 - 11732/715. Let r = a + t. Is -1 bigger than r?
False
Let t = -14787 + 13727. Does t = -1063?
False
Let q be ((-33)/(-44))/(12/(-32)) - -5. Let i(s) = -2*s + s - 31 + 26. Let p be i(-3). Which is greater: q or p?
q
Let d = -247 - 1772. Which is smaller: d or 0.3?
d
Let n(u) = u**3 + 7*u**2 - 5*u + 29. Let a be n(-8). Suppose a*x - 3*x + 11 = -3*g, 5*x + 21 = -g. Which is bigger: g or -5/121?
-5/121
Let a(t) = t + 104. Let n be a(-105). Is 19/136 >= n?
True
Let v = -404 - -240. Let q = v + 327/2. Is q >= 0?
False
Let x be 4/(0/5 - 1). Let f be (18/24)/(x/(-16)). Let k be (f/9)/((-1)/3). Which is smaller: k or 0?
k
Suppose 5*w - w = -52. Let d = w - -1. Let q(t) = 10*t + 481. Let p be q(-49). Which is bigger: p or d?
p
Let p(n) = -n**3 + 6*n**2 - n + 109. Let t be p(8). Do -36 and t have the same value?
False
Let x(b) = 86*b - 2666. Let d be x(31). Which is smaller: 1/6409 or d?
d
Let p = -18151 - -19128. Does 980 = p?
False
Let s = 308 + -304. Suppose k = h - 0 - 1, s*h - 4 = -k. Is h bigger than -3/29?
True
Let d be ((-289971)/462)/(6/(-8)). Which is greater: 836 or d?
d
Let t(f) = -f**2 - 21*f - 28. Let z be t(-20). Let m be (-4 - -16)*(-20)/z. Suppose 0 = -p - p + m. Does p = 14?
False
Let p be (-3047)/(-66) - (-2)/(-12). Let q(a) = 4*a**2 + 4*a - 2. Let o be q(-4). Is p at least as big as o?
True
Let p be 1/3 - 110/555. Let q = -261/2479 + p. Let u be (-3 - -3)/((-1)/(-1)). Which is greater: u or q?
q
Let q = 35847 - 5054386/141. Let m = -965/8319 - q. Which is smaller: 0 or m?
m
Let r(s) = -s**2 + 2*s + 688. Let j be r(27). Let g(t) = 2*t**2 + 1. Let z be g(1). Which is smaller: z or j?
z
Let k = -12373/5400 - -62/27. Suppose 3*t + 2*n = -0*t, -4*n = 0. Is k at most t?
False
Let s(p) = 5 - 3*p**2 - 2*p + 4*p**2 - p + 6*p. Let d be s(-2). Let r be 3/(-2)*(-22)/d. Which is smaller: 4 or r?
4
Let p = 0.054 + 20.946. Let w = -56 + p. Let j be 0/(-1 - 8 - -10). Is j >= w?
True
Suppose 0 = -3*g - v + 35, 394*v - 396*v = 4*g - 44. Is 83/7 smaller than g?
True
Let s be 10/(-14)*(-4)/(-10) - 310/42. Which is bigger: -9 or s?
s
Let m be (4 - (-1 +