46?
False
Let l be (1/85)/(20/8). Are l and 1/3 equal?
False
Let i be 0 - (57 - (5 - 2)). Let s be (-3)/(i/(-12))*(-1 + -86). Which is smaller: s or 59?
s
Let b = -0.527 + 1.627. Which is greater: 48 or b?
48
Suppose -2*p + 5*v + 5 = -293, 0 = 4*p - v - 632. Is 158 at least p?
False
Let m(l) = -6*l**2 - 21*l - 3. Let f be m(-4). Let w be (40/12)/((-12)/(-9) + -1). Suppose -4 = w*o + 26. Is f at least as big as o?
False
Let x = 172 - 176.04. Let b = x + 4. Let f = 1574 - 1575. Are f and b non-equal?
True
Let r be ((-25)/(-345)*(-4)/10)/(22/(-4125)). Which is bigger: 6 or r?
6
Let g = 23.583 + -23.739. Is -2/19 smaller than g?
False
Let p(k) = -3*k**2 - 3*k - 1. Let z be p(-3). Let q = -13 - z. Let g = 5651 - 5647. Which is bigger: q or g?
q
Let y = 2558 - 2558. Which is smaller: y or -2/5657?
-2/5657
Let l be -4 + (-17)/4 - 2. Let f = 377/36 + l. Suppose -2*x - x = -p + 5, -2*p - 10 = 4*x. Which is greater: f or p?
f
Let n = -1 + 4. Let d be (-1)/1 - (-54)/n. Suppose -15*z + 14 = -d*z. Which is smaller: z or -5?
z
Suppose 2*n + 3*n + 2*h = 4, 2*n + 3*h + 5 = 0. Let g be ((-12)/n)/((-9)/6). Suppose 2*a + 8 = -g*c, -5*c + 1 = -0*a - 3*a. Is c less than -11/5?
False
Let g = -17 - -47. Let b = g - 34. Let i be (-20)/448*b*1*24. Which is smaller: 5 or i?
i
Let l = 24940 + -24943. Are 2263/5 and l equal?
False
Let u = 1629047/99 + -16455. Which is smaller: u or -121?
-121
Suppose 325*n + 68 = 329*n. Suppose -n*w = 338 + 614. Is -57 bigger than w?
False
Let h be 791/(-1576) + (-43)/(-86). Which is greater: 0 or h?
0
Let k(v) = v**2 + 9*v + 7. Let m be k(-6). Let h(q) = -3*q**3 + 158*q**2 - 82*q - 1148. Let z be h(52). Is m at most as big as z?
True
Let t = -259 - -107. Let z be ((-10)/5 - t/74)*1. Is z bigger than 1?
False
Suppose 207152 = -11*x + 277332. Is x at most 6379?
False
Suppose 5*s - 7 - 3 = 0, 2*r - 190 = 5*s. Let n be (-20)/r*(-3 + 124/3). Which is smaller: n or 1/4?
n
Suppose 106*j = 69*j - 481. Is j >= -474/41?
False
Let n(k) be the first derivative of -23 + 13/2*k**2 - 1/3*k**3 - 29*k. Let i be n(10). Is i at most as big as -9/20?
False
Let m = 333 - 626. Let x = 298 + m. Which is bigger: x or 47?
47
Suppose -2*j + 3*j + 18 = 5*d, -2 = -5*j + 2*d. Suppose 0 = -j*b - 4, 2*l + 8 = 3*l + 2*b. Let n = 2/1263 + 15575/1263. Is l != n?
True
Suppose 26 = 2*a - 204. Let r = a + -115. Let s = -32 - -414/13. Which is bigger: r or s?
r
Suppose 2*f + 9*s = 10*s - 29, -36 = 3*f - 3*s. Is f < -206/13?
True
Suppose -2388*i - 3692 = -2414*i. Which is smaller: i or 139?
139
Let y(i) = i**2 - i - 1. Let s be y(-3). Let r = -119/11 + s. Let n(k) = -46*k - 4139. Let u be n(-90). Which is greater: r or u?
u
Let b(i) = -7*i**3 - 2*i**2 + 1. Let n be b(1). Let m(o) = o**3 + 7*o**2 - 8*o - 13. Let j be m(n). Is -41/3 equal to j?
False
Let x(l) be the first derivative of l**3/3 + 12*l**2 + l + 42. Let y be x(0). Which is bigger: 8/9 or y?
y
Suppose 0 = -2*k + 4, 0*q - 2*q = 3*k - 12. Let b be ((-504)/108)/(2/9*q). Is -3/5 smaller than b?
False
Let x be (4/(-90)*-29661)/(34/(-57)). Let v = x - -2210. Which is greater: v or 0?
0
Suppose 4 = 9*k + 49. Let h be (-4 - k)/(2 + 26/(-6)). Is h less than or equal to 0.03?
True
Suppose -27*g + 26*g - 5*r - 1113 = 0, 2*r = 8. Is g not equal to -1133?
False
Let b = -0.7 + -0.3. Let o = 416 - 402.1. Let p = o + -14.5. Which is smaller: b or p?
b
Let w be 2 + -1 - 12/(-6). Suppose -38 = -w*u - j + 49, -5*u = 5*j - 155. Suppose 12*n + 92 + u = 0. Are -10 and n equal?
True
Let s = 0.79 - 3.79. Let k = -45.085 - -45. Let a = -0.585 - k. Is a at least as big as s?
True
Let p = -6/1063 + 88277/8504. Let w = -1249/120 + p. Which is bigger: -1 or w?
w
Let h = 64172 - 3786051/59. Which is greater: 3 or h?
3
Suppose -12 = 2*h - 2*a, 2*a - 5*a = 3*h + 12. Let j = -53/11 - h. Let x be 20/18 - 10/9. Are x and j equal?
False
Let t = -0.02598 + -11.39402. Which is smaller: t or -3?
t
Suppose 493*q - 504*q = 473. Which is greater: -44 or q?
q
Suppose -39*t = -38*t, -3*t - 1 = -m. Is -1/3103 != m?
True
Let s be (-1548)/21406170159*((-1780667365815)/(-2))/(-5). Let i = -8165/1359899 + s. Let g = -12877 + i. Which is smaller: g or 0?
g
Suppose l = 2*l - 3*l + 4*r + 74, 0 = 3*r. Which is greater: l or 415/11?
415/11
Let m = 3322.76 - 3239. Let f = -1.76 + m. Is f greater than -1?
True
Let j = -2503.5 + 2502.5. Which is smaller: -2/793 or j?
j
Let i(c) = c**3 - 5*c**2 + 31*c - 4. Let y be i(6). Let f = y - 262. Let a be (-15)/(-20) + (-2)/(-8). Is f smaller than a?
True
Let w be (14/(-56))/((-123)/2474) - (0 + 5). Which is smaller: -1 or w?
-1
Let g(f) = 6483*f - 6483. Let h be g(1). Let i(x) = -5*x + 1. Let m be i(-1). Let d be 1/18*m/4. Which is smaller: d or h?
h
Let g be 22/3 - (-10)/15 - (-34788)/(-5109). Which is bigger: 1 or g?
g
Let n be (-164)/2050 + (-41935)/(-525750). Do n and -1 have different values?
True
Suppose -658 = -5*t + 292. Let y = 115 - t. Let u be 2/10 + (-5)/(y/12). Is u smaller than 1?
False
Let d(o) = -112*o - 2007. Let u be d(-18). Which is bigger: -0.455 or u?
u
Let m = -7913 - -7913.2. Which is bigger: m or -4/537?
m
Let f(v) = -v**2 + 11*v - 11. Let d be f(9). Let b(g) = g + 17. Let o be b(-4). Let w = 15 - o. Which is greater: d or w?
d
Let x be ((-20734)/(-28) + 19)*-2. Which is bigger: -1520 or x?
x
Let b be -1 + 2 + -5 + 6 + 49. Let l = 53 - b. Suppose -n - 3*r - 3 = 0, -3*r - 15 = -l*n + n. Is 7 < n?
False
Suppose -15*g = 267 - 57. Let d(r) = -7*r**2 - 97*r - 6. Let j be d(g). Which is greater: j or -10?
-10
Let b = 81241 - 2030737/25. Let x = 23/2 - b. Is x > -1?
True
Let c = -30/313 - 549/4069. Does c = -261?
False
Let b = -1651/48 - -25/144. Let k = b + 34. Let w be 2 - (-28)/(-20) - 35/75. Is k < w?
True
Suppose -47*j + 152*j + 280466 = 71*j. Is -8249 less than j?
False
Let q be (12/15)/(2/(-70)). Let m = -114 - -168. Let i = q + m. Which is bigger: i or 1/2?
i
Suppose 280 = 237*u - 233*u. Let h be ((-1000)/u)/(-5)*(-7)/(-2). Which is bigger: h or 12?
12
Let i = 143 + -133. Let o(z) = -z**2 + 8*z + 21. Let k be o(i). Which is bigger: k or -13.2?
k
Let u = -154643/25 + 6182. Which is smaller: -3 or u?
u
Let d(s) = s + 1. Let x be d(1). Let u be -1 + 0 - x/(-1). Let j = 5755969/15 + -383731. Is u greater than or equal to j?
True
Let x = -0.446 - -0.46. Let q = -31.986 - x. Let p = q + 28. Which is bigger: p or 0?
0
Let r be (-60)/(-48) + ((-2)/3 - (-40694)/(-24)). Which is smaller: -1693 or r?
r
Let i = -151372/189671145 + 2/73091. Which is smaller: -1 or i?
-1
Let a = 34615 - 34611. Which is smaller: a or -1589?
-1589
Suppose n + 6*r + 200 = r, -3*n = -5*r + 560. Let y = 190 + n. Is -2/1073 >= y?
False
Let v(j) = -3127*j**2 + 3123*j**2 - 9*j + 3*j - 12. Let a be v(-3). Is a not equal to -218/7?
True
Let s(j) = -32*j + 1. Let n(t) = 28*t + 1. Let b(f) = 7*n(f) + 6*s(f). Let w be b(-3). Let x be 94/(-160) - 4/(-10). Is x > w?
False
Let f = 15579/7 + -2165271/973. Is f less than 1?
True
Let o = 17.51 - 17.51. Which is greater: 57 or o?
57
Let l = -380 - -394. Let p be ((-180)/(-105))/(2/l). Is p greater than -9?
True
Let c(w) = -146*w - 1484. Let m be c(-6). Which is smaller: m or -3036/5?
m
Let s = 0.101 + -0.201. Let m be (-1)/(-5) - 4648/(-35). Let i = m - 803/6. Is i bigger than s?
False
Let s(u) = 81*u**2 - 4*u + 2. Let h be s(3). Let y = -48170/67 + h. Which is smaller: y or 3?
y
Let p = 2230.001 - 2235. Let q = p + -0.001. Let c = q + 5.7. Which is greater: c or -3?
c
Let r = -1048/5 - -175026/835. Let z = r - 395/19038. Which is bigger: z or 2/5?
2/5
Let z = -626 + 606.4. Let m = 8 + z. Is m greater than -3?
False
Let g = -358 - -358. Is -546 at most g?
True
Let k(u) = 2*u**3 + 52*u**2 + 13*u + 529. Let y be k(-26). Do y and 6 have the same value?
False
Let t = -11989 + 10524. Is -1463 >= t?
True
Let s(g) = -g**3 + 24*g**2 + 624. Let p be s(25). Let r be 0/(2/((-4)/(-2))). Let w be (-2 - (-1884)/945) + r. Which is greater: p or w?
w
Let t be (-2)/8 - (-594)/72. Let w be 1/1 + -7 + t + -1. Is 236 equal to w?
False
Suppose 746 = -4*v - 422. Let u = 276 + v. Is -7 greater than u?
True
Let u be -13 - ((-128)/5 + (7 - -6)). Let x = 169/3 - 57. Is x smaller than u?
True
Let t = 88.73 - 87.73. Do t and 1723.4 have different values?
True
Let a(z) = -z**3 + 3*z**2 - 3*z - 8. Let x be a(2). Suppose 3*g = -59