se 7*v = -13*v - w. Let s = -148 - v. Is s smaller than 2/97?
False
Suppose 2*b - 2*c + 692 = 4*b, -5*c + 1386 = 4*b. Which is smaller: 1 or b?
1
Let y = 9/44 + -1443/7700. Let g = y + 691/525. Is -0.3 at least as big as g?
False
Let t = 577.7 - 572.326. Is t greater than -2?
True
Let p = -0.028 + -19.972. Let f = -5326 + 5877.9. Let k = 552 - f. Are p and k unequal?
True
Let x(g) = g**3 + 4*g**2 + 3*g - 2. Let n be x(-4). Suppose 5*u - 637 = -652. Let z be (((-40)/(-4))/2)/(1/u). Is n less than z?
False
Let u = -28 + 41. Let s = 374 - 374.391. Let d = -0.591 - s. Do d and u have different values?
True
Suppose 4*v - 2*f = -1034, -70*v = -66*v + 2*f + 1030. Which is smaller: v or 0.3?
v
Let o be ((-15)/(-45))/((-1)/(-15)). Suppose -v + 5*t + 382 = -101, -4*v = -o*t - 1932. Let m be (131/v - 4/14)*3. Is 1 >= m?
True
Suppose 29 = 20*w - 25 - 6. Is w greater than or equal to 12?
False
Let o = -4.003 + 4.421. Do o and 6 have different values?
True
Suppose 1404 = 5*o + 7*o. Let z be (678/(-4))/(o/165). Let g = 239 + z. Which is smaller: -1 or g?
-1
Let a = -106.09 - -0.09. Let s = 108 + a. Which is greater: -0.45 or s?
s
Let m = -85.86 - -89.86. Which is bigger: m or 1258?
1258
Let z = -2700 - -2353. Which is bigger: z or -345?
-345
Suppose 272 = -89*h - 707. Let w = 6 - 15. Which is bigger: w or h?
w
Let w(g) = 234*g - 1581. Let r be w(7). Which is smaller: -21 or r?
-21
Let v = -1267 - -1166. Which is greater: -105 or v?
v
Suppose -11*f + 9 + 13 = 0. Suppose 0 = -f*o + 2*s - 16, 5*o = 4*s - s - 36. Let p = -10 + 1. Which is greater: o or p?
o
Let c be (71 - -3) + -6 + 3. Suppose -16*y - 73 = c. Is y less than 1?
True
Let g be (76/95)/((-1)/(-195)). Let v = g - 165. Is v < -8?
True
Suppose 0 = 5*t + 6116 - 2016. Let z = -1674 + t. Let f = z - -211987/85. Which is bigger: f or 0?
0
Suppose -38*f + 42*f - 732 = 0. Which is bigger: f or 172?
f
Let p be (-68196)/384*10 + (4 - 1). Let r = p + 1774. Do 1 and r have the same value?
False
Suppose s - 2*i = -4, -2*s + 2 = -0*i + i. Let m be 36/416*(-8)/30. Which is greater: s or m?
s
Suppose -4*z = -4*a - 0*z + 12, -3*a + 9 = -z. Let h be -4 + a + 0 - -142. Is h greater than or equal to 141?
True
Let p = 4 + -3. Let r(y) = y**3 - y**2 + 9*y + 8. Let i be r(-1). Let m be (-3)/i*(-15)/60. Are p and m unequal?
True
Suppose r - 12 = 2*f - 3*r, -4*r = f - 12. Which is bigger: 1/426 or f?
1/426
Suppose 0 = -2*h + 4*m - 8, -4*h + h + 3*m - 3 = 0. Let l be -18 - h*2/(-4). Suppose -2653*u - 901 - 44200 = 0. Is u greater than or equal to l?
True
Let w(p) = -2*p**3 - p**2 + p + 2. Let f be w(-3). Suppose -4*b + 292 = 4*j, -17*b + 4*j = -22*b + 363. Let g = b - f. Which is smaller: g or 28?
g
Suppose 7*u + 1230 = 2*u. Let z(s) = -s**2 + 28*s + 288. Let n be z(41). Which is greater: u or n?
n
Let q(c) = c**2 + 9*c + 7. Let s be q(-8). Let p = -66652/87763 - 66/6751. Is s > p?
False
Let u = 301/67 - 89797/20167. Which is smaller: 3 or u?
u
Let w(x) = -30*x - 61. Suppose -3*j + 7 = g, 0*g - 3*j + 11 = -g. Let d be w(g). Which is smaller: 1/616 or d?
d
Let x = -52 + 66. Let m = x + -17. Let c = 10 + m. Is -3 at least c?
False
Let a = -35.5 - -305.5. Let z = a + -237. Which is smaller: -4/5 or z?
-4/5
Let x be 502/(-4) + (-1)/(-2). Let g be (18/(-10))/((-31)/4650). Suppose -5*c + g = -2*z, 48*z - 645 = 53*z - 5*c. Is x equal to z?
True
Let m be 2/4 - (-399)/(-822). Let g = 541 - 194. Let p = -348 + g. Are p and m equal?
False
Let f(v) = 27*v + 242. Let z be f(-9). Let l = 7827637/1165 - 6719. Is z greater than l?
False
Let b(a) = a**3 + 10*a**2 - 9*a + 15. Let i be b(-11). Let o be i + 6 - (6 + -1). Let z be 3/o + 5/(-2) + 3. Is 1/69 smaller than z?
False
Let v be ((-12)/(-252))/(((-255)/918)/(10/6)). Is -1282 less than v?
True
Suppose 5*p - 114 = 3*n - 593, 163 = n - p. Let z be -108*16/n + 8. Which is greater: -3 or z?
z
Let x = -7486 + 6442. Is x smaller than -1045?
False
Let g(s) = -s**2 - 11*s - 36. Let o be g(-5). Let c be 6 - ((-176)/o)/8. Is c smaller than 3?
True
Suppose -314 = i + 3818. Is -4132 greater than or equal to i?
True
Let f(u) = 105*u - 31. Let c be f(4). Let w = -185 + c. Let r be w/(-2890)*(-1 + 13/3). Which is smaller: 0 or r?
r
Let m = 704 - 584. Let i = 118 - m. Are i and -276 nonequal?
True
Let n be 1*(-120)/(-32)*(-1 + (-15)/(-17)). Is -4 greater than n?
False
Suppose -1773 + 1559 = -39*w + 6299. Which is smaller: -7 or w?
-7
Let d = -20038/15 - -4007/3. Is 26/57 greater than d?
True
Let c be (-117 + 1)*(-1)/2. Let l = -340 + c. Let v be 12/l*(-2)/4. Which is smaller: 1 or v?
v
Let g = 50 - 56. Let q = -26374/5 + 5273. Is q greater than g?
True
Let q = -3230 + 3230.3. Is q greater than -806?
True
Let j be 8/732*-13*(-9)/(-3). Let z = 28/61 + j. Suppose -3*h + 4*h = 5*y, 2*y + 2*h = -12. Which is smaller: z or y?
y
Let g(d) = 253*d + 14. Let u be g(2). Suppose 4*s = 0, 2*i + 3*i + s = u. Let l be (i/28 - 4)/(-1). Which is greater: l or 0.1?
l
Suppose -3*y = -y - 10. Suppose -5*c = 2115 - 2165. Suppose -d = -3*m + 8, m - y*m + c = -d. Which is bigger: d or -8/7?
-8/7
Let a(l) = -82*l**2 + 6*l - 5. Let y be a(-2). Let o = 357 + y. Which is greater: o or 11?
o
Suppose -c + 4*c = 12. Suppose u - 2464 = -21*u. Suppose 6*m = u - 112. Is c <= m?
False
Let i be 68020/630 - 14/126. Is 109 <= i?
False
Let r = 0.04187 - -1.95813. Which is greater: r or 3.83?
3.83
Let j(r) = -449*r - 870. Let b be j(0). Which is smaller: b or -872?
-872
Let t be 171/114 + 9/2. Let v be (3/(12/(-16)))/(2/t). Is 4 != v?
True
Let g = -5 + 4. Let a = 6203 - 6201. Is g greater than a?
False
Let i be -23784*(-22)/(-2992) + 4/(-34). Are i and 48 equal?
False
Let z = -86 + 70. Let n(f) = f**3 + 15*f**2 - 14*f + 2. Let j be n(z). Is -28 <= j?
False
Let b = -1625 + 1625.5. Is 0.082 <= b?
True
Let c be 6706*3/101442 - 0. Let b = -5/583 - c. Let w = -268 - -269. Are w and b equal?
False
Suppose 1971 = -3*k + 19*i - 16*i, 5278 = -8*k - 3*i. Which is smaller: k or -2?
k
Let t = -1641 + 1642. Which is smaller: t or 6/269?
6/269
Let a(q) = -q**3 - 29*q**2 + 31*q + 75. Let h be a(-32). Let j = 34493/16 - h. Is j at least as big as 0?
True
Let p be 4/(-6) + 608/(-114) - (0 - -1874). Is -1880 not equal to p?
False
Let i(t) = t**2 + 9*t + 13. Let b be i(-7). Let x be (5 - 4)*(3 - 2). Let y be -3 - (80/(-42) - x). Which is bigger: b or y?
y
Suppose -6*f + 2*r + 3017 = -11*f, 5*r = 4*f + 2407. Let g = -556 - f. Is 47 smaller than g?
False
Let h = -0.089 + -8.911. Let n = 8.7 + h. Which is greater: n or 0.45?
0.45
Let l = -59 - -62. Suppose 9*t + l = 12*t. Let q = -5861/16 - -366. Is t < q?
False
Let z be -7*(-4)/364 + 2450/(-3120). Which is smaller: z or -1?
-1
Suppose -5*t = a + 11, a - 3*t - 11 = 2*a. Let h be -141 + a + (-15)/(-3). Is -148 bigger than h?
False
Let m = -1 - -1.1. Let i = 0.1762 - 7.1762. Which is smaller: i or m?
i
Let x = -10873 - -10871. Which is smaller: -3834 or x?
-3834
Let k be (2*(-6)/10)/(2/(-5)). Suppose -2*n + 3*c = 9, k*n - c + 0 = -3. Is 10/7 at most n?
False
Let f be 2/(-5) + 5332/430. Which is smaller: -28 or f?
-28
Suppose 0 = 75*i - 83*i + 32. Let p be 116/348 - 158/i. Is p less than -39?
True
Let j be (0 + 527)/(84/245 + (-3)/15). Which is bigger: 3688 or j?
j
Let i = -243 - -156. Let j = i - -90. Which is greater: j or 9?
9
Let l = 80960 - 80963. Let u = -0.12 - 12.88. Which is greater: u or l?
l
Let d = -14142 - -14142.3. Which is bigger: d or 1325/6?
1325/6
Suppose g = -0*g - 2*q, -4*g - 3*q = 15. Let b(y) = 7*y**3 - y**2 - 2*y - 1. Let l(a) = a**3 - a**2 - a. Let i be l(1). Let h be b(i). Which is smaller: h or g?
h
Suppose -15*c + 13*c = -26. Let u be (-30)/(-2)*-1 - -1. Let r = c + u. Which is smaller: r or 1/94?
r
Let b be 2/(104/(-106)) - 3/(-6). Let k(s) = s**3 - 29*s**2 - 31*s + 27. Let a be k(30). Is a less than or equal to b?
True
Let z(a) = -794*a + 795*a - 35 + 6. Let f be z(29). Which is smaller: -1/188 or f?
-1/188
Let j be 6164/8*(-19 + 33). Which is smaller: j or 10788?
j
Let x = 1696886/7 + -44038781/182. Let t = x - 441. Which is bigger: t or 1?
1
Let q = -53494 - -215201/4. Is q less than or equal to 306?
False
Let b = 577.2 + -535.2. Is -3/14 at least as big as b?
False
Let s = -63 - -31. Let b be 4*12/s*(-3)/(-18). Which is bigger: 3 or b?
3
Let o = -23/36 + -1/4. Let n(v) = 7*v + 119.