False
Suppose 11*f - 11 = 22*f. Let i be f/8 - 11822/(-368). Is 32 equal to i?
True
Let z = 16725 + -16727. Do -144.6 and z have the same value?
False
Let j be (3/5)/(366/1525). Are j and -0.46 equal?
False
Let o be (-38)/2 + (20 - 17). Let z be 72 - (3 - (-4)/(-4)). Suppose -5*n = i - 8, -2*n = -3*i - z + 9. Which is greater: i or o?
o
Let h = 399/176 + -3373991/1488432. Which is smaller: h or -1?
-1
Let n be (342*(-7)/28 + (1 - 5))*-2. Is n at least 1255/7?
False
Let w = -10 - -20. Suppose -t = -6*t + 65. Suppose -t*j + 252 = 8*j. Which is smaller: w or j?
w
Let w(y) = -4*y + 47. Let q be w(11). Let g be ((18/(-75))/q)/((-8)/30). Do 0 and g have different values?
True
Let d = 216 - -291. Suppose 0 = 505*s - d*s - 52. Let i(m) = 9*m - 1. Let j be i(-3). Is s less than j?
False
Suppose 0 = 5*d, 2*d + 6942 = 3*s + 4*d. Which is smaller: 2315 or s?
s
Let w be (2 + (-22)/(-7))*(-14)/310. Which is greater: w or 1?
1
Let a be 8/270*3*-1. Suppose 57*l + 38 = -7 - 12. Is l > a?
False
Suppose t - 3*x + 19 = 0, t + 3*x + 13 = -0*x. Let l be 0/(-4) - t/2. Suppose -l*p = -3*p + 5. Is -4/19 > p?
True
Suppose 0*h - 609 = 3*h. Let j = 20911/103 + h. Which is greater: j or 0?
j
Let s = 513 + -512. Is 8/1473 less than s?
True
Let w = -0.069 - -0.048. Let z = 0.1 + w. Let o = z - 0.179. Which is smaller: o or 0.1?
o
Suppose 3*m - 7*m = 4. Suppose 4*k + 27 = -5*k. Let l be k/9 + 6/(-288)*-4. Is l at least m?
True
Suppose 2*z - 16 + 1 = v, -3*z - 4*v + 28 = 0. Let y(d) = 3*d + 38. Let f be y(z). Is 62 >= f?
True
Suppose -4053 + 4036 = -3*d + 4*g, 0 = 2*d + 3*g. Is d greater than -4/193?
True
Let s be ((-656)/(-48))/(-41)*(-9)/8. Is -78 equal to s?
False
Let i(x) be the second derivative of x**5/20 + 13*x**4/12 + 8*x**3/3 + 21*x**2 + 3*x - 4. Let f be i(-13). Is -167 greater than f?
False
Let f = 16 + -25. Suppose -2*z = -162 + 156. Suppose -z*l = 136 - 106. Is f < l?
False
Let g be (2086/(-3))/(0 - (-52)/3378). Let m = g - -45112. Let a = -58 - m. Is 0 bigger than a?
True
Let s be (-23417)/(16 - (32 + -15)). Which is greater: s or 23418?
23418
Let f = 0.28 - 0.2. Let j = f + 0.17. Let o = 107935/7 + -15419. Which is smaller: j or o?
j
Let r be -3*2/66 - 112/(-22). Suppose -2*d + 6 = -z, -15 = -r*d - 40*z + 42*z. Which is smaller: d or 4?
d
Let j be ((-3)/4)/3 - ((-42050)/(-280))/29. Is -5 greater than or equal to j?
True
Let r be (-7)/21 - ((-452)/(-3))/(-2). Let w = 82 - r. Are 10 and w equal?
False
Let g be -2 - 1/((-1)/(-4)). Let i = 126 + -80. Suppose i*f + 30 = 40*f. Which is bigger: g or f?
f
Suppose -33 = -7382*w + 7393*w. Which is bigger: w or -519?
w
Let n(a) = -a**3 + 5*a**2 + 4*a + 9. Let f be n(-2). Let s(l) = l**3 - 29*l**2 - 4*l - 36. Let q be s(f). Which is bigger: q or -1?
-1
Let t be 75/10 - 10 - 2635/(-1030). Is t greater than 1?
False
Let m = 262 + -248. Suppose 2*q = -2*q + 96. Suppose 3*g + 27 = 5*s - 39, -s = 3*g - q. Is s <= m?
False
Suppose -3*y = d + 13, -5*y + 2*y + 52 = -4*d. Suppose 0 = 583*w - 222*w + 9025. Which is smaller: d or w?
w
Let f(n) = 6*n**2 - 9*n + 3. Let q be f(-4). Let x be ((-54)/q)/((-36)/10). Which is greater: x or -1/5?
x
Let x = 0.2 - -1.8. Let n = 6477.1 + -6457.1. Is n equal to x?
False
Let q be 7 + -2 + (32 - (4 + -7)). Suppose -4*p = -q + 44. Let x = -2 + 4. Is p less than or equal to x?
True
Let m be -1*(2/3 - ((-18928)/2541 - -8)). Is m smaller than -1?
False
Suppose v + 5*s - 2078 = -2223, 5*s + 655 = -4*v. Is v > -138?
False
Suppose -b = -m - 28, 0 = -2*m - 10*b + 7*b - 41. Is -2/95 greater than m?
True
Let b(f) be the second derivative of -f**4/6 - 13*f**3/6 - 8*f**2 - 93*f. Let v be b(-5). Are 4/63 and v equal?
False
Let j = -1330581/34 + 39131. Let c = 72/17 + j. Is 1 != c?
True
Suppose -107*z + 33*z = 233*z + 15657. Which is smaller: z or -132?
-132
Suppose 6*w - 257 + 239 = 0. Suppose -3*a - 21 = 4*n, -5*a - 11 + 5 = -w*n. Which is smaller: a or 118?
a
Suppose 0*b = 4*b + 5*x + 3, 0 = 2*b - 5*x - 21. Let k = b + 3. Let h be 74/15 + 2/(-6). Which is smaller: h or k?
h
Suppose 0 = -2*i + 4*a + 10, 3*i - 3*a + 0*a - 12 = 0. Suppose v - i*t = 85, 0 = 5*v - 0*t - 3*t - 365. Let z be (-5)/(-2)*(-8)/v. Are 0.2 and z equal?
False
Let b be (-103)/(-4)*1064/2527. Is -1/4 smaller than b?
True
Let f = -2717 + 2715. Suppose -2*q + 4*q - 18 = 0. Let y be (-2)/(-6)*(-3)/q. Which is smaller: y or f?
f
Let k be 4/(-6) + 2742/63. Suppose 132*i + 13013 = 18689. Is i smaller than k?
False
Let p = 129 - 103. Let h be (p - (3 - 1))/(-1). Is -27 not equal to h?
True
Let y(j) = -71*j + 9373. Let n be y(132). Which is bigger: n or 3/34238?
n
Let t = -4024.27 + 4024. Let z = 40.1 + -40. Is t smaller than z?
True
Let v be (2 - 3538/1768)/(-3*3/(-24)). Do v and -2 have the same value?
False
Let r = 40 - 35. Suppose -3*k + 36 = -3*g, r*k + 14*g = 11*g + 20. Is k != -3/2?
True
Let l = -43 + 48. Suppose l*n - 55 = -5*i + 85, -2*n - i = -51. Which is smaller: -1 or n?
-1
Let g(b) be the first derivative of b**4/4 + 2*b**3 + b**2 - 2*b + 42. Let i be g(-4). Is i greater than or equal to 20?
True
Let o(b) = -373*b**2 - 9*b + 9. Let t be o(6). Let v = t + 1657193/123. Let k = -2066/861 + v. Which is smaller: -3 or k?
-3
Let c = 1655 + -1473. Which is smaller: c or 0?
0
Let b = -5.82 - -2.28. Let n = 3.72 + b. Is -1 >= n?
False
Suppose 2*d + 4*c = -250, -3*d - c = 274 + 81. Let r be 0 + 3688/(-32) - (-6 - 243/(-36)). Which is smaller: d or r?
d
Suppose 2*z - 61*s + 6 = -65*s, -z = -6*s - 5. Let v(a) = -a**3 - 6*a**2 - 5*a - 1. Let w be v(-5). Is z smaller than w?
False
Let g be -2*((-5)/9)/5. Suppose 0 = -23*h - 325 + 348. Which is smaller: g or h?
g
Suppose 3*x - 39 = -2*o + 34, 74 = 4*x - 2*o. Let s(a) = a**3 + 83*a**2 + 292*a + 17242. Let g be s(-82). Is g > x?
True
Let h = -2 + -259. Let k = 262 + h. Is -5.9 less than or equal to k?
True
Let u be 104/1924*3/(-284). Which is smaller: -1 or u?
-1
Suppose 0*k - 2*k = -30. Let y(g) = 14*g + 4*g**3 + k + 0*g**3 + 14*g**2 - 5*g**3. Let u be y(15). Is -1/19 <= u?
True
Suppose -12*u - 1713 = 4143. Let c be (-25)/(-6) + u/48 + 10. Suppose -3 + 9 = -3*k. Is c < k?
False
Let g(u) = -u**3 + 4*u**2 + 4. Let p be g(4). Suppose 4*b = j - 0*j + 14, 2 = -p*j - 2*b. Are -13 and j equal?
False
Suppose -26*i - 216 = i. Let h be ((-15)/10)/((-1)/2). Is h greater than or equal to i?
True
Let d = 1558660/84360837 + 2/111441. Which is greater: d or 0?
d
Let z be (-659)/6 - (44 + -43). Which is bigger: z or -112?
z
Let d(z) = -9*z - 7. Let p be d(-1). Suppose 0 = -p*m - 4*u + 226, 0 = -2*m + 3*u + 244 - 4. Is 116 equal to m?
False
Let o(t) = -44*t**3 + 2*t**2 + 46*t + 159. Let s be o(-3). Which is greater: 1225 or s?
s
Let y(t) = 2*t + 13. Let h be y(-11). Let k be (-2)/(h/(-6) + 2). Let c be -5 + 8 + (-1)/1*5. Is k greater than or equal to c?
True
Suppose -p = -4, -7*u + 2*u + p = 29. Let r be (-3)/(-27)*-30*u/40. Which is bigger: 0 or r?
r
Suppose 2*a - 137 + 1 = 0. Suppose -4*x + a = 4*z, -3*z + 40 = 2*x - 9. Let r be (16 + z)/(-1 - -2). Do 31 and r have different values?
False
Let q = -8 - -39/5. Let b = 38/15 + q. Let m = -24147 + 24150. Is b > m?
False
Suppose 3*r - 14 = -4*o - 10, 0 = 3*o + r - 8. Suppose -o*x = 5*x + 5*x. Which is smaller: -8/29 or x?
-8/29
Let v = 70951691/6 + -11566070375/978. Let u = 966 + v. Do u and -1 have the same value?
False
Let l(p) = -3*p**3 + 194*p**2 + 61*p + 261. Let s be l(65). Which is greater: 5/677 or s?
s
Let c = 0.03 - -13.97. Let f = -10.7 + c. Let l = f - 0.3. Which is smaller: -7 or l?
-7
Let w = -345 - -351. Let p(g) = g**3 - 8*g**2 + g + 16. Let s be p(w). Which is greater: -48 or s?
-48
Let l(x) = -12 + 25 - 7*x - 14*x**2 + x**3 - 36. Let y be l(14). Is -123 greater than y?
False
Let j = -40565 - -34115171/841. Is -3 < j?
True
Let r(d) = 8 + 5*d + 9 + 11 - 34 + 4*d**2. Let f be r(-6). Is f not equal to 109?
True
Let q = -0.0345 - -0.0046. Let s = q - -136.6299. Let a = s + -137. Which is greater: -1 or a?
a
Let k be ((-166)/(-2490))/(3/(-10)). Which is bigger: k or 85?
85
Let m be -2 + 21/((-9)/3). Let l be (-6)/(-21)*m + 2. Let i = -0.144 - -0.344. Which is bigger: l or i?
i
Let g = -12229.154 - -12229. Is g >= -0.116?
False
Let w = -26.97 + 6.6. Let b = w - 0.63. Let p = b - -21. Which is smaller: p or -0.7?
-0.7
Let j = -88.5 - -86. Let d = -7 + 2.5.