(y). Let m be b(-7). Suppose 10 = m*a - 25*a. Is a at most as big as 1?
False
Suppose -626 + 537 = -89*x. Which is greater: 2/5817 or x?
x
Let r(l) = -45*l - 1555. Let k be r(-44). Which is bigger: 2976/7 or k?
2976/7
Let n = -1 - 1. Let x = 17.3 + -13.82. Let i = 2.48 - x. Which is greater: n or i?
i
Let w = 41.34 + 3.66. Which is bigger: w or -18?
w
Suppose -4*l - 440 - 1268 = 0. Let h = l + 427. Which is greater: -63 or h?
h
Let j be (13 - (14 - -4))*7303. Are j and -36515 equal?
True
Let y(t) = 3*t**2 + 6*t - 3. Let r(p) = p - 19. Let k be r(13). Let h be y(k). Let c = -77 + h. Which is smaller: -29/4 or c?
c
Suppose -13222 = 17*z + 5784. Is z at most -1115?
True
Let o = -0.36 + -0.776. Let f = o - -1.18. Which is greater: f or -1/5?
f
Suppose -13*s = -11*s - 4*q - 18, 2*s - 33 = -q. Let d be 590/8 + -12 + s. Which is smaller: d or 77?
d
Let r = 0.8396 + -353.9396. Let b = r + 353. Does 11 = b?
False
Let g be 83/(-8)*-1*52/26. Let n = -21 + g. Let u = 299 + -251. Which is bigger: u or n?
u
Let q = 100 + -22. Is 77 equal to q?
False
Let s be 25 + (-4 - (-52)/13). Is -5 != s?
True
Suppose 0 = 14*f - 9*f - 85. Suppose -f*w = -263 + 59. Which is smaller: w or 10?
10
Let f(v) = -6*v**2 + 33*v - 19. Let y(o) = o**2. Let q(n) = -f(n) - 4*y(n). Let t be q(16). Suppose t*i = -18 + 144. Is i less than 42?
False
Let y = -0.9603 + 11.9603. Which is bigger: y or 241?
241
Suppose -4*d = 80 + 20. Let i(w) = w**3 + 27*w**2 + 48*w + 3. Let g be i(d). Which is greater: g or 258/5?
g
Let k be ((-285)/20)/(3/12). Suppose 18 = 6*i + 342. Is i smaller than k?
False
Let j(h) = h**3 + 6*h**2 - 17*h - 5. Let m be j(-8). Let n be (1*42/m)/(-2). Let s be 24/378 + 2/n. Which is smaller: s or 2/3?
s
Let w = 81.208 + 0.792. Let f = w + -82.1. Let q = -35 + 82. Which is smaller: q or f?
f
Let o be 4/8*((-96)/42 + (-2)/(-7)). Are -1/15133 and o equal?
False
Let i be (9/(-4) - 1)*(-11)/(22/8). Which is bigger: i or 262/19?
262/19
Let x be (-200)/(-120) - ((-91733014)/(-18204) + -1). Let r = x - -10073/2. Is -1 greater than r?
False
Let y be 138/23 + 2/2 + -77. Suppose -z + 4*z - 12 = 0. Let d(m) = -m**3 - 4*m + 10. Let q be d(z). Is y greater than or equal to q?
True
Suppose l - 5*n = -3*l + 298, l = 3*n + 71. Let v be l/(-42)*-3 + 6/(-4). Suppose 10*r = v*x + 9*r - 58, -2*r - 4 = 0. Which is bigger: 13 or x?
x
Suppose 2*n = -2*k + 14, -6*k + 13*k - n - 97 = 0. Which is bigger: k or -63?
k
Suppose 94 = -2*w + 58. Let m be (-4)/w + ((-3818)/(-180))/(-23). Does m = 0?
False
Suppose 5*g = 15, -6*f + 8 = -f - 4*g. Let n be (f + (-1102)/280)/(24/28). Are 0 and n unequal?
True
Let b = -11.4 + -2.2. Let j = -13.3 - b. Which is bigger: j or 0.1?
j
Let j = 29 + -11. Let w = 334 - 352.3. Let r = w + j. Is r >= -2?
True
Let a = 1 - 2. Suppose -6*t + 8*t + 32 = 0. Let h be ((-6)/20)/(t - -19). Is a at least h?
False
Suppose -75256*q + 2532 = -75244*q. Is 211 greater than or equal to q?
True
Let f = -52.3 + 52.4. Let l = -68 - -79. Does l = f?
False
Let p be ((-140)/2960)/(2/16). Let d(b) = b**3 + 8*b**2 + 11*b - 5. Let t be d(-6). Which is greater: p or t?
t
Suppose -44*b - 49791 - 20917 = 0. Are 1 and b non-equal?
True
Let j be 3415/(-2)*(-52)/130. Let u = 707 - j. Which is greater: u or -5?
u
Let p(m) = -2*m**3 - 15*m**2 - 44*m - 229. Let x be p(-7). Which is smaller: x or -7?
-7
Let x = 792 - 754. Let d be ((-56)/90)/(28/350). Let q = d - -8. Which is smaller: x or q?
q
Let y(x) = x**2 - 3*x - 777. Let t be y(0). Let s be 2/(-3) + 5/((-5895)/t). Which is smaller: s or 1?
s
Suppose 154*n - 144*n - 3630 = 0. Let w = n - 364. Is -1/58 less than or equal to w?
False
Let q = -11879826/493 + 24097. Is -1 less than or equal to q?
True
Let u = -52 + 37. Let d = -169 + 171. Suppose 2*s + x = -2 - 22, -d*s = 2*x + 22. Are u and s unequal?
True
Let p be 8555/(-87)*18/10. Is p greater than -178?
True
Let k be (1/(-3))/(20/6). Suppose 3*n = 2*v + 803, -5*v = n - 103 - 142. Let t = -270 + n. Which is greater: t or k?
k
Let h(g) = g**3 - 6*g**2 - 163*g + 34. Let f be h(16). Which is smaller: -6 or f?
f
Let v = -913.93 - -914. Let h = v - -0.09. Which is bigger: h or -18?
h
Suppose 10 + 75 = 5*q. Let m = 14.72 + -4.72. Is q bigger than m?
True
Let r = -0.12 - -0.43. Let a = 8.222 - 10.222. Is r equal to a?
False
Let p be (98520/117)/((-56)/12) - 30/(-195). Is -180 bigger than p?
True
Suppose 329*c = 344*c - 570. Which is greater: c or -2/23?
c
Let a = 134 - 116. Let m be (-4)/a - (47/(-9) + 2). Is m <= -5?
False
Let s = 214 + -288. Let t = 73.8 + s. Which is greater: t or -139?
t
Let o be 2/(-11) + 724/3740. Suppose -5*p + w + 122 = 0, 2*p - 4*p = -3*w - 41. Let m be (p + -26)/(3*(-1)/(-3)). Which is smaller: o or m?
m
Suppose 0 = -13*n + 50 + 54. Suppose n = -2*m - 4*k, 0*m + 1 = 5*m + 3*k. Which is greater: m or 3?
3
Suppose -4*l - 34 = 5*q, -4*l - 33 - 13 = -q. Let t be -2 - -179 - (-3 - -2). Let g = 169 - t. Do l and g have the same value?
False
Let r(j) = 4*j**2 - 5*j + 3. Let y be r(0). Suppose 5*u - y*p - 1056 = 0, 2*p = 2*u + 42 - 466. Which is bigger: 628/3 or u?
u
Let w = -0.551 + -0.359. Is w != 10/7?
True
Let j = 7/1416 - -109483/4248. Do j and 25 have different values?
True
Let v(c) = -c**3 - 2*c**2 - 33. Let h be v(0). Let m be (0 - 0)*(-4 - h/9). Let n(z) = -z**2 - 3*z + 2. Let s be n(-3). Is m greater than or equal to s?
False
Let m = -49.06 - -48. Let v = -0.06 - m. Let z be 135/(-25) + (-1 - -6). Are v and z unequal?
True
Let j = -55 + 17. Let b = 74 + j. Let z = b - 35. Which is smaller: z or 2/23?
2/23
Let l = 21095 - 20574. Is l <= 522?
True
Suppose -3*j - 31 = 4*m, m + 0*j = 3*j - 4. Let y = 181 + -175. Let o = y + m. Which is greater: -8/9 or o?
-8/9
Let j be (1 - 0)/((-10)/(-1270)). Suppose 792 - 30 = 6*k. Is k at most j?
True
Let l = 316/11 - 4493/143. Let g = l - -1142/429. Which is greater: g or -1?
g
Suppose 440*x = -2438324 + 734204. Are x and -3874 equal?
False
Let v = 21149 + -21149. Which is bigger: 417/26 or v?
417/26
Suppose -5*g = -0*g - 355. Let s(c) = -c**3 + 17*c**2 + 23*c - 18. Let v = 61 + -43. Let f be s(v). Is g <= f?
True
Let a(i) = 159*i - 16844. Let w be a(106). Let j = 5.9 + 0.1. Which is bigger: w or j?
w
Let g = 41 + -283/7. Let n = 356 + -353. Is n at least as big as g?
True
Suppose x = 3, -2*h - 3*x = -6*h - 49. Is -24 > h?
False
Let l = 16413/5 + -114841/35. Is l >= -0.212?
True
Suppose 0 = 21*v - 4368 - 1407. Which is bigger: -50 or v?
v
Suppose y - 1664 = 2*v, -2510 = 3*v + 12*y - 10*y. Which is smaller: -832 or v?
v
Let i be (-2)/((-2523)/(-68034) + (-2)/34). Is 1548/17 bigger than i?
False
Let d = -90.948 + -0.052. Let g = d - -130.1. Let y = g - 39. Which is smaller: -2 or y?
-2
Let j = 8828 - 8826.9. Which is smaller: 0.105 or j?
0.105
Suppose 4*r - 16 = t, 3*t - 15 = -3*r - 3. Suppose -4 = r*a - 4*b, -a - 2*a - 5*b - 11 = 0. Which is greater: 1 or a?
1
Let b = 13.7 + 1.9. Let v = b + -15.3. Which is bigger: -53 or v?
v
Let a(q) = q**2 + 16*q + 18. Let k be a(-28). Let j = k + -354. Which is greater: -1/125 or j?
j
Let i(w) = -6 - 7*w + w**3 + 0*w**2 + 5*w**2 + 11. Let a be i(-7). Let y = a + 10. Is y smaller than -34?
False
Let s = -59 + 125. Suppose 15*k = -7*k + s. Which is smaller: k or -52?
-52
Suppose 0 = 21*w + 22*w - 290667 + 977377. Which is bigger: w or -15969?
-15969
Let o = 3.6 - 21.9. Let j = o + 18.248. Is -2/5 > j?
False
Let z = -2.12768 + 0.52768. Let h(s) be the first derivative of s**3/3 + 5*s**2/2 - 5*s - 1. Let t be h(-6). Which is greater: z or t?
t
Let d = -440139/281 - -4699/3. Let r(h) = -h**3 - 19*h**2 - 34*h. Let p be r(-17). Which is smaller: p or d?
p
Let t be 1/3 - (1 - 10/6). Is t != -25/118?
True
Let d(a) = -2*a**2 + 33*a - 24. Let b be (-712)/(-44) + ((-62)/(-22) - 3). Let u be d(b). Let k(r) = r - 4. Let y be k(-4). Do y and u have the same value?
True
Let g = -23 - -30. Let q be ((-38)/(-38))/(1/(1*g)). Let i be (74/(-300) - q/(-42))*-5. Which is smaller: i or -8?
-8
Let q = 75 + -74. Suppose -d - q = -3*w + 4, 5*w - 2*d - 9 = 0. Let r be 3 + -2 + -2 + w. Is -1/100 > r?
False
Let l be 19/((-190)/12)*(-5)/3. Suppose 3*r = -4*m + 16 + 6, 0 = -l*r + m. Which is smaller: r or 3/4?
3/4
Suppose 8*q + 8 - 8 = 0. Suppose -w - 5*w - 336 = q. Let n = w - -61. Is 6 not equal to n?
True
Suppose 4*t + 34*u + 5 = 39