e 178*q - 173*q + 15 = 0, -5*h + 3*q = 31. Which is smaller: 49 or h?
h
Suppose 6 = r - 7*r. Let z = 328014/83 + -3952. Is z >= r?
True
Let u be 36/12 + -3*2/(-6). Let f = 5 + -4.4. Let n = f - 0.3. Is u != n?
True
Let v be (-238)/(-1) + (108/4)/(-3). Which is greater: 227 or v?
v
Let h be (-4 - -4) + 55 - -9. Suppose -46 + h = 6*q. Which is smaller: -17 or q?
-17
Let w be -7 - (32/(-26882))/4*846747/36. Which is smaller: -1 or w?
-1
Let a = -6851 - -6844. Which is bigger: 46 or a?
46
Let q be ((-5922)/(-1880) + (-2 - 1))/((-59922)/48). Are -1 and q nonequal?
True
Let h = 198.2 + -334. Let z = 1.8 + h. Let w = z - -131.6. Is w greater than or equal to -1?
False
Let g be -11 + 76279/510 - (-4)/(-10). Which is bigger: 138 or g?
g
Suppose 13*k - 4*k = -45*k + 5616. Is k > 101?
True
Let h be 8/(-20) - 0 - 912/20. Is -67 at most h?
True
Let h be (-2)/((-1)/(454/4)). Let d(v) = -v**3 - 31*v**2 + 41*v - 49. Let g be d(-32). Let w = h + g. Are -110 and w equal?
True
Suppose -5*u + 5 = -3*k, -3*u - 2*k - 8 = -6*k. Suppose 5*q = u*q - 2*i + 17, -2*q + i + 9 = 0. Is 72/11 equal to q?
False
Let n = -2958 - -3285. Which is greater: n or 325?
n
Let q = 11628978/749 - 15526. Which is smaller: q or -1?
-1
Let b = -252 - -256. Let v be 6/(-9)*b/(24/(-18)). Which is smaller: 21/10 or v?
v
Let z be 69*(-2)/(-3)*(-8)/(-144). Let a = 152/63 - z. Which is bigger: -1 or a?
a
Let i = 1 - -1. Let a = 12 - i. Let l(t) = -9448*t - 56680. Let h be l(-6). Which is greater: h or a?
a
Let a(m) = 3*m + 4. Let c be a(4). Suppose -120 = 2*g - 146. Let s = 4 + g. Is c greater than s?
False
Let f = -4.85 - -283.85. Let w = 198 - f. Is 1/3 greater than or equal to w?
True
Let o be (52 - (-20 + 7))*((-48072)/(-12020) - 4). Is o <= -1?
False
Let o = -50.04 - -0.04. Let u = o + 49.8. Is -81 != u?
True
Let w be -5 - -2 - (-6 + 1 - 207/33). Is 1 not equal to w?
True
Let m = 14462/5 + -2892. Let y = 158481/19 - 8343. Which is smaller: m or y?
y
Let l = 149 - 149. Suppose l = 4*k - 240 + 224. Is k > 1?
True
Let x = -199.8 + 47.8. Let k = -154 - x. Is k < 10/9?
True
Let j = -11523 + 11522. Which is greater: j or 22/743?
22/743
Let y = -1030 - -5149/5. Let a = 3 + -62. Is a greater than or equal to y?
False
Let a = -1118663567084/328956345 + -1/65791269. Let d = -3403 - a. Let o = 32/9 + d. Which is smaller: o or -2/5?
-2/5
Let c = 4.1 - 4.7. Let n = -1.6 - c. Let b = -1/33 + 38/165. Is n <= b?
True
Let h(o) = -69*o + 812. Let y be h(-31). Do 0.1 and y have different values?
True
Let n be (-1)/(6/(-8))*(-59)/236. Is n less than 0.0006?
True
Let q be (-20)/(-8) - 1/(-2). Suppose -2*j + 5*f + 52 = 0, j + 0*j + q*f = 4. Suppose 5*h - 9 = j. Is 1/2 greater than h?
False
Suppose -4*u = -3*u - 1. Let a be u*(-5 + 3 + 1). Let l be ((-36)/(-6))/(73/(-10) - -4). Which is smaller: a or l?
l
Let r = -238.501 + 236.5. Let y = r - -0.001. Which is smaller: y or -49?
-49
Let u be ((-15)/25 - (-12)/(-5)) + -2119. Let n = u + 326787/154. Let d be 2/(8/4 + -4). Is d at most as big as n?
True
Let y be (-1)/((-5)/(-6) - 31/30). Which is greater: y or 327?
327
Let a = 250 - 457. Let n = 204 + a. Is n at least -0.2?
False
Let t be -2*((-763)/(-546) - 6/26). Suppose -3*i - 18 = -0*i. Let k be (4/i)/(2/(-6)). Which is smaller: t or k?
t
Suppose 0 = 3*w - 6*w - 5*c + 22, 0 = -4*w - 2*c + 6. Let l = 1/9 - -1/45. Is w less than or equal to l?
True
Let b be 99/(-10)*(-5904)/108. Let f = b + -36078/65. Do f and -15 have different values?
True
Suppose -12*c - 12*c = 0. Suppose 0*w + 5*w = 2*j + 60, -3*w = 4*j - 10. Suppose 5*n = -0*n - w. Which is greater: c or n?
c
Let l = 80 - 16.8. Let v = 70 - l. Let u = v - 7. Which is bigger: 5/4 or u?
5/4
Let n = 10941/2 + -5470. Which is greater: -1901 or n?
n
Let j = 24645 + -24644. Which is smaller: 45/751 or j?
45/751
Let v(b) = -129 + 132 + 110 + 6*b. Let w be v(-26). Is w equal to -47?
False
Let k be 1/7 + (354/413)/(6/(-183)). Which is smaller: k or 431?
k
Let y be ((-20)/18*3)/(14/2842). Let j = 676 + y. Which is smaller: 1/11 or j?
j
Let x = -87 - 63. Let z = x - -152. Which is bigger: 18/7 or z?
18/7
Let h(c) = -2*c + 10. Let m be h(4). Suppose 0 = r - 13 + m. Let f = r + 12. Is 22 at least as big as f?
False
Let x = 396 + -404. Let o = -9 - x. Let t = -53.95 - -0.95. Which is greater: o or t?
o
Suppose 111 - 86 = 5*s. Let y(v) = 2 + v**2 - 22*v**3 + 21*v**3 + 4. Let h be y(0). Which is bigger: s or h?
h
Let o = 5328 - 5340. Which is smaller: 1/187 or o?
o
Let t be (4/14)/((-48)/602). Let s = -17/4 - t. Which is bigger: -0.205 or s?
-0.205
Suppose 4*f - 121 = -1009. Let u = -2/166981 - 73972579/333962. Which is smaller: u or f?
f
Let m(v) = -25*v - 13. Let o(s) = -13*s - 6. Let f(h) = 3*m(h) - 5*o(h). Let d be f(4). Suppose 3*n + 199 = 52. Are d and n equal?
True
Suppose 2*q + 24 = 6*q. Suppose -q*w - 22 = -8*w. Let r be 13/w + -1 + (-2070)/495. Which is bigger: r or -14?
r
Let l be (-3)/(-4) - 75/84. Let v = -45 - -18. Let p = 28 + v. Which is smaller: l or p?
l
Let l = 30731 - 12876275/419. Which is smaller: l or -1?
-1
Suppose 11*o - 12 = 32. Let m = 1854 - 1851.002. Let w = m + 0.002. Which is greater: o or w?
o
Let u = -321 + 609. Suppose 9*r = 3*r + u. Let g be 12/(-2)*r/(-32). Which is greater: 66/7 or g?
66/7
Let o be (4 - (1 + -6) - 8)/(-109). Let j be ((-2)/2)/(0 - -1). Which is smaller: j or o?
j
Let x(b) = 3*b**2 + 20*b + 19. Let z be x(-1). Let f be 3 + z/22*-13 + -1. Which is smaller: f or 0?
0
Let c = -1.4073 - -0.6373. Which is smaller: c or -3/5?
c
Let r(k) be the third derivative of k**5/20 + k**4/12 - k**3/3 - 12*k**2. Let a be r(4). Let p be 3/(-33)*a/3. Is p > -2?
True
Let s = -233.6 - -1302.6. Let v = s + -728. Which is bigger: v or -1?
v
Let t be (-6342309)/(-47466) + (-2)/((-12)/(-15)). Let s = t + -1180/9. Do -3 and s have different values?
True
Let p = -931 - -132. Let k = 798 + p. Is -1 <= k?
True
Let w = 0.14916 - 0.13646. Is w smaller than -2/7?
False
Suppose 2 = 5*g + 3*a, -g - g + 4*a + 6 = 0. Let k = -576 - -1070. Let z = k + -495. Do g and z have different values?
True
Let z be -5 + 61*(-465)/(-5675). Let p(l) = 4*l - 12. Let v be p(3). Is z less than v?
True
Let z = 174 + -169. Suppose b + 4*g + 18 = -0*b, -z*b + 2*g = 2. Let l = 15 - 9. Is b greater than l?
False
Let z be (4/(-10))/(128/(-289280)). Do 907 and z have different values?
True
Let t = -6.87 - -81.805. Let j = t + -75. Let f = -10.935 + j. Which is bigger: f or 2/5?
2/5
Let d = -290 + 276. Let i be (d/(-308))/((-1)/2). Which is bigger: -2 or i?
i
Let h = -5 + 7. Let s be h/(-4)*0/21. Which is bigger: s or 5?
5
Let u = -22 + 25. Let p be ((-197180)/(-36595) - u) + -2. Let v = -2/563 + p. Is -1 < v?
True
Let h(t) = -t**2 + 17*t - 7. Let n be h(17). Let w(y) = -2*y - 15. Let x be w(n). Let b be 21/30 + x - (-1 - -1). Is b at least as big as -4?
True
Let k be (-2 - 2) + 4 - 1. Let v be 20/57*(-296)/(-10). Let z = v - 31/3. Is z at most as big as k?
False
Let s(o) = -o**3 - 4*o**2 + 2*o - 5. Let v be s(-4). Suppose 68 = 13*m + 172. Let g be -1 + m/(-6) - (-2618)/(-204). Which is smaller: v or g?
v
Suppose n = -a + 5*a + 29, 5*a + 25 = 0. Suppose 2*m = 0, 0*b + 4*m - n = -3*b. Let c = 0 - -4. Which is bigger: c or b?
c
Let s = 135.3 - 141. Let z = s + -6.3. Let b = z - -11.7. Are -0.08 and b equal?
False
Let s be ((-711)/18)/(2*(-1)/4). Suppose -82*t + s*t = -105. Which is greater: t or 37?
37
Let m be (-15)/(-6)*((-2502)/(-15) + -4). Let b be 2923/m + 4/(-22). Which is smaller: 21 or b?
b
Let p be (84/(-5 + 11))/(-1). Let f(u) = 4*u**2 + 57*u + 13. Let c be f(p). Is c < 1/4?
True
Suppose 3*m = q - 2, 5*q - 5*m - 36 = 14. Let t be 2/q - (-442)/(-2457). Let i = t - 47/189. Are 1 and i unequal?
True
Let a(q) = -4*q**3 - 2*q**2 - q + 3. Let k(c) = c**3 + c**2 - 1. Let l(w) = a(w) + 3*k(w). Let x be l(0). Let j be 6/14 - 925/2240. Is x greater than j?
False
Let u = 241 - 270. Let g(z) = -2*z**3 + 3*z**2 + 12*z - 27. Let k be g(2). Are k and u equal?
False
Suppose 3*d - 93 = 3*i, -4*d + 90 = -i - 43. Suppose 29*x - 395 = d*x. Let y = x + 71. Which is bigger: -3 or y?
-3
Suppose -41*r + 734 = -387 + 137. Are -62 and r equal?
False
Let d(u) = u**3 - 8*u**2 - 20*u + 4. Let v be d(10). Suppose -7*j + v*j = -21. Suppose -j = i - 0*z + z, -5*z - 20 = 2*i. Do -4 and i have different v