 - q. Is 1/9 less than v?
False
Suppose 78*d = 84*d + 72. Let b be 16/d*-3 - -2*5. Do b and 11 have different values?
True
Let g be (-1064)/(-462) + 4/(-6). Let p be 3 + 2 + 1612/(-440). Let t = g - p. Is 1/3 not equal to t?
True
Suppose 12 = -5*n + 2*c - 2, n = -c. Which is smaller: -22 or n?
-22
Let k = 103761004/1525 + -68040. Do k and -1 have different values?
True
Suppose -7*x - 3*x - 10 = 0. Let q be (7722/1932 + -4)/x. Which is smaller: q or -1?
-1
Let p = -341 + 650. Suppose 39*u = 15*u - 9*u + 10164. Which is bigger: p or u?
p
Let y = -1.5772 - -1.6772. Which is bigger: -1366 or y?
y
Suppose 5*l + 2933 - 2938 = 0. Are 13/48 and l nonequal?
True
Suppose -66*s = h - 63*s + 397, 1572 = -4*h - 4*s. Do h and -394 have the same value?
False
Let f = 13273 + -2269690/171. Which is smaller: f or 0?
f
Let g = 9376.8 + -9379. Is 2/11 at most as big as g?
False
Let q be 7782/10885 - (-1060)/(-1484). Which is smaller: q or -0.1?
-0.1
Let v = 810.335 - 0.335. Let g = -810.2 + v. Is g at least as big as -9/26?
True
Let v(p) = -p**3 + 13*p**2 - 2*p - 2. Let l be v(13). Let z be 208/(-14) - (-4)/l - 4. Is z smaller than -15?
True
Let h be (2/3)/((-262)/6). Let b = -196.61 - -195.61. Is h at least as big as b?
True
Let a = -1/127230 - 517953323/890610. Which is smaller: a or -583?
-583
Let i(s) = s**2 + 13*s - 36. Let a be i(-15). Let d be a/(-39) - ((-100)/195 + 2). Which is greater: -0.09 or d?
-0.09
Let v = 2407.2 + -2408. Which is smaller: 89 or v?
v
Let p(y) = -5 + 10 - y**3 + 11 + 6 - 3*y**2 + 0 + 7*y. Let s be p(-4). Is 6 > s?
False
Let v(f) = -f**3 + 5*f**2 + 7*f - 6. Let w be v(6). Let d be ((-15)/6 + w)*(-12)/195. Is d bigger than 1?
False
Suppose -h + 0*d + d = 125, 2*h = d - 250. Let w be h/(-100) + (-1)/4. Suppose w + 0 = -r. Are -1 and r equal?
True
Let g(f) = -f**3 + 5*f - 1. Let r be g(2). Suppose -b - r = -3. Which is smaller: 66 or b?
b
Suppose 167*i = 153*i. Is i >= 2/17271?
False
Let i(l) = -2*l. Let y(d) = 5*d + 1. Let t(v) = 8*i(v) + 3*y(v). Let j be t(-1). Suppose 3*n = -j*u + u + 15, -2*u + 4*n - 14 = 0. Does u = -2/101?
False
Suppose -14*t + 79 - 93 = 0. Do -3/683 and t have the same value?
False
Let o(d) = d**3 + 3*d**2 - 6*d - 8. Let n be (-3 + 0 - 160/(-96))*3. Let v be o(n). Is -3/134 equal to v?
False
Let o be 2/8 - (-2)/(-4). Suppose 27*w = -12 + 66. Let l be w/(-12)*(-5)/(-10). Which is smaller: l or o?
o
Let i = 63 - 200/3. Let g(c) = c**3 + 7*c**2 - 6*c + 36. Let m be g(-8). Let y(o) = -o**3 + 21*o**2 - 23*o + 56. Let k be y(m). Are i and k equal?
False
Suppose -3*l + 26 = 3*x - 76, -4*l - 3*x + 141 = 0. Suppose 82 = -41*a + l*a. Which is smaller: -42 or a?
-42
Let p be (36/(-25) + 2)*(-3195)/5751. Let d be 8/20 + 4/(-10). Which is bigger: p or d?
d
Let b = -16574 + 18239. Does 1669 = b?
False
Let x be (12 - (-17 + 35))*(-1824)/(-1 + -2). Is x > -3647?
False
Let l(a) = a**2 + 1. Let c be l(0). Let q = 6018 - 6020. Which is bigger: c or q?
c
Let y(k) = -k**2 - 15*k - 8. Let d be y(-14). Let p be 76*(6/(-4) + 12/d). Is 37 at least p?
False
Let f be 16 + ((-2166)/(-8))/(-19). Let n = 9 + -5. Which is smaller: f or n?
f
Let s = -1.6 + -0.4. Let h = -177 - -180. Suppose g - 5*a - h = 0, 14*g + 15 = 19*g + 3*a. Is g >= s?
True
Let z be 8/6*(0 - (-9)/6). Suppose 2*w = 4*c - 4, -c = c - 4*w - z. Let v be (15/30)/(c*2/(-4)). Is v greater than 2/89?
False
Suppose -2*a = 3*a - 5, 0 = -2*j - 4*a - 226. Let x be j + 0 - 4 - 1 - -1. Which is smaller: 0 or x?
x
Let k(v) = 2*v**2 - 55*v - 334. Let w be k(-12). Is 5 >= w?
False
Suppose -9*l + 602 + 2044 = 0. Suppose 3 + l = -27*c. Is -61/5 equal to c?
False
Suppose -4*g + 6 = -3*g. Suppose 0*p + 3*p = -g. Let v be p - (20/(-8) + 2). Is -1 at most v?
False
Let m be 12/252*7*(-94 - (0 - 1)). Is -151/5 less than or equal to m?
False
Let w(b) = b. Let h(g) = -g**3 - 19*g**2 - 14*g + 37. Let j(o) = h(o) - 2*w(o). Let p be j(-18). Is p at most -1/4?
False
Let t be (-43 - -13)/15*-727. Which is greater: 1455 or t?
1455
Let l be 84/(-462) - 3/(330/(-34714)). Let a = 315 - l. Let u = 28.969 - -0.031. Which is bigger: u or a?
u
Let n be (-2)/(-11) - (-310)/(-11). Let p = 55/2 + n. Let q = -1340.97 - -1341. Is p less than or equal to q?
True
Let u = -615 + 611.53. Let z = 1.47 + u. Is z bigger than 0.2?
False
Let m(x) = -x + 3. Let i be m(4). Let h(d) = -59*d + 1. Let q be h(i). Let b be ((-2)/78)/((-8)/q*-5). Is b >= 0?
False
Let d(q) = 2*q**3 + 36*q**2 - 84*q + 9. Let g be d(-20). Is g != 76?
True
Suppose -21026*v + 3523 = -21029*v - 914. Which is smaller: v or 5?
v
Let a(l) = 6*l**2 - 6*l - 12. Let k be a(6). Suppose 2*x - 100 = 2*z, 5*z = -x - 100 - k. Let t = z - -56. Is t less than 3?
False
Let d(g) = 24*g**3 - 2*g**2 - 4*g + 17. Let a be d(-3). Which is smaller: a or 1?
a
Suppose 158*n - 6052 - 2480 = 0. Which is greater: n or 499/9?
499/9
Let l = 3.64 + -0.64. Let z be (16/(-112))/(6/21). Is z greater than l?
False
Let y(z) = 10*z + 114. Let b be y(-10). Suppose -3*t - 5*i + 29 = 0, 5*t = -i + 9 + 32. Is t at most b?
True
Suppose -3*n = -2*m + 198 - 50, -m + n = -74. Let k be (-4)/(0 + -4)*75. Let w = m - k. Which is greater: w or 1?
1
Let d be (-111744)/(-35530) + -3 - (-5)/25. Let q = -6/323 - d. Which is bigger: 1/3 or q?
1/3
Let m(p) = -p**3 + 81*p**2 - 1409*p + 139. Let j be m(63). Is -17186 at least as big as j?
True
Suppose -88*q + 85*q + 6 = 0. Let n = -358 + 347. Is n at most q?
True
Suppose -2*j + 310 = 82. Let q be 10/(-4) - j/(-60). Is 89 >= q?
True
Suppose -875751 - 519876 = -489*q + 201936. Which is bigger: q or 3268?
3268
Let z(g) = 17*g - 13. Let o be z(18). Let w = -98 + o. Is 195 smaller than w?
False
Let r(p) = 16*p - 84. Let n be r(7). Let w be (-1)/(-5 - (-136)/n). Let g(a) = -a**3 - 6*a**2 + 5*a - 8. Let f be g(-7). Which is smaller: f or w?
f
Suppose 3*b = 7*b. Let n be (2 - 3)/((-1485)/44 + -7). Are n and b unequal?
True
Let g = -35805 - -36867. Which is smaller: 1069 or g?
g
Let g = 6346/7 - 904. Let v = -27 + 29. Suppose v*i = 3 + 3, -5*h + 5 = -5*i. Which is smaller: g or h?
g
Let c = 905502673/5775 - 156797. Do c and -1 have the same value?
False
Let a(r) = r**3 - 14*r**2 + 12*r + 64. Let f be a(12). Is -35 at most as big as f?
False
Let u = 2 - -10. Suppose 17 = l + u. Suppose 3*v + 0*m - 2*m - 37 = 0, -l*v - 3*m = -68. Which is smaller: 11 or v?
11
Let u = 12081 - 12081.1. Is u equal to -29.16?
False
Let b(x) = 7*x + 43. Let n be b(-6). Which is bigger: n or -1/533?
n
Let n be (-11)/((-77)/(-182)) + 2. Which is greater: n or -29?
n
Suppose -3*i - 8 - 19 = -2*b, 3*i + b + 18 = 0. Let l be (-14)/21 - (4 + 5620/12). Let y = 467 + l. Which is smaller: y or i?
i
Let w = 115249 + -573599/5. Which is smaller: -0.2 or w?
-0.2
Suppose 0 = 97*a - 99*a + 26. Suppose 5*v + 255 = -5*w, 0 = -a*v + 15*v + 4*w + 98. Is v at least -52?
False
Suppose -87 = 3*n - 2*v, -3*n + 178*v = 183*v + 129. Let d = 0.1 - 1.1. Which is smaller: n or d?
n
Let k(h) = 65*h**2. Let o be k(1). Let r = 96 - o. Suppose -2*s - 77 = -r. Is s not equal to -24?
True
Let y = 134339/3 - 44396. Are 383 and y equal?
False
Let v = -4146 + 3969. Which is smaller: v or -182?
-182
Let b = -14121 + 14291. Which is smaller: b or 162?
162
Let g(f) = f - 5. Let j be g(0). Let x(d) = d**3 + 8*d**2 + 6*d - 6. Let m be x(j). Suppose -5*l = -2*o - m, 2*o + 6 = -l - 27. Which is smaller: o or -16?
o
Let o = -333.5 - 7.5. Let r = o + 324.9. Which is bigger: r or -2?
-2
Let c = -2/127 - 208/2921. Let x = -65099/85008 + 15/1232. Let a = x - c. Which is bigger: -15 or a?
a
Let p = -6.248 + 6.09. Let b = p - -80.158. Which is smaller: 2/13 or b?
2/13
Suppose 0 = -a - 3*j + 6*j - 292, -5*a - 1448 = -3*j. Let q = a + 184. Is -105 greater than or equal to q?
True
Let u = 1583 + -1655. Does u = -44?
False
Suppose 8*n - 47*n - 595459 = -33001. Is n smaller than -14422?
False
Let s = -10 + 11. Let l be 1 + ((-124956)/855 - (-4)/20). Let q = l - -145. Does q = s?
False
Let z(p) = p**3 - 8*p**2 + p + 9. Let j be z(8). Suppose -s - j = u, 3*u = 4*u - 3*s - 3. Let i be 32/12 - 4/u*-2. Which is greater: 2/3 or i?
i
Let y = -129 - -228. Suppose -95 = -5*q + 2*w + y, -5*w - 86 = -2*q. Which is bigger: 37 or q?
q
Let c(g) = 14*g + 177. Suppose -t + 3 + 16 = 5*o, o = 5*t + 35. Let n be c(t). Which is smaller: 91 or n?
91
Let b be (-