7 - 387/(-54)). Let v = -206/45 - z. Is 57 bigger than v?
False
Let y be (178/26 - 4) + (-12)/(-78). Suppose 5*o - 778 = -4*d, 156 = -y*d + 6*o + 720. Which is smaller: 193 or d?
d
Let f = -7.25 - -7.228. Let o = 32.022 + f. Is o > 12?
True
Let r = 42.168 + -42. Let b = r + -1.268. Which is smaller: -1 or b?
b
Let u = 259 + -240. Suppose b + 16*h = u*h + 28, 0 = -4*b - 3*h + 157. Which is smaller: b or 38?
b
Let j = 0 - -12. Suppose -2*m - j = 2*m + 4*l, -16 = 4*l. Which is smaller: m or -19?
-19
Let r = -14/9 + 332/225. Suppose 0*u - 8*u + 6*u = 0. Suppose -5*f = -5*a + 10, u*f = 3*a - 4*f - 8. Are a and r unequal?
True
Suppose 19 = -4*f + 5*q - 33, -f + 2*q - 16 = 0. Let v be (-21)/(-1064) + f/(-76). Let k = 21 - 22. Is k > v?
False
Suppose 283*i + 2*k = 284*i + 6045, k - 12093 = 2*i. Is -6047 != i?
False
Suppose -5*g = 3*g - 0*g. Let u be 1606/534 + 3/(-1). Which is smaller: u or g?
g
Let k = 359 + -168. Let t = 173 - k. Which is greater: t or -58/3?
t
Let y be (-2)/(-160)*(-30)/(-12). Let d = -723 - -723. Which is smaller: y or d?
d
Suppose -2*l = 118 - 116. Let y = 1041 - 121796/117. Which is greater: l or y?
y
Let n = -5739 - -5751. Which is greater: n or 2/43?
n
Suppose -11*k + 14*k = -3. Let q be 13*k/(1/(-4 - -6)). Which is greater: q or -2/5?
-2/5
Let h = -32 - -37. Let x be (-16)/(-80)*(-275)/(-15). Which is smaller: h or x?
x
Suppose 72*x + 11264 = 62*x - 101*x - 65*x. Let a(w) = -4*w**2 + 7*w - 2. Let y be a(5). Is y at most x?
True
Let i = -669.9 - -806.9. Which is smaller: -1 or i?
-1
Let k be ((-551)/1914 - 5/(-220)*-2)*(1 + 11). Let s = 156639/16 + -9795. Which is smaller: s or k?
s
Let x be ((-27)/(-6))/9*30. Suppose -5*d = -x, -54 = -k + 2*d - 18. Let m be (k/56)/((-27)/(-8)). Is -1/8 less than m?
True
Suppose -5*u + 3 = -7, 4*o + 650 = -3*u. Let k = -290 - o. Do -126 and k have the same value?
True
Let j(k) = -2*k**3 + 15*k**2 - 47*k - 42. Let c be j(-10). Is c <= 3926?
False
Suppose -4*l = 5*i - 51, -1169*l + 1168*l + 4*i = 3. Suppose 5 = -v - 1. Is v less than l?
True
Suppose -99 = -6*p + 63. Suppose -3*r + 39 + p = 0. Suppose r = 3*k + 19. Is 6/11 greater than or equal to k?
False
Let j be (35/(-2380))/((-76)/40 + 2). Let g = -17 + 17. Are j and g unequal?
True
Let z(j) = -j**3 - 5*j**2 - 7*j - 4. Let h be -4*13/((-104)/(-6)). Let a be z(h). Which is greater: -2/1151 or a?
-2/1151
Suppose -17*o + 34*o - 2542 = -8169. Which is smaller: o or -314?
o
Suppose 30 - 21 = 3*g. Suppose -4*t = 3*n + 170, 0*n = 2*t + g*n + 82. Which is greater: t or -46?
t
Let r = -4.54 + 4.34. Let z be ((-5915)/(-550))/(-7) - 3/(-2). Is z at most r?
False
Suppose 5*n - 3*c - 3*c = -c + 5, -5*c = 0. Which is smaller: n or 1298/23?
n
Let g be (-6 - -6)/((-35)/(-35)). Which is greater: -1/475 or g?
g
Let k = -1061 + 563. Let p = 4501/9 + k. Which is smaller: 3 or p?
p
Let j = 0.2353 + -2.3903. Is 0 less than or equal to j?
False
Let z = 1488 - 726. Let j = 766 - z. Is j < -0.068?
False
Let y = 224642465/23034 - -153/7678. Let t = -9888 + y. Which is bigger: -135 or t?
-135
Suppose 4*b + 70 = 3*t - 22, 5*b + 108 = 2*t. Suppose 5*m + 3*o = -31 - 30, 4*m + 50 = -2*o. Which is smaller: m or b?
b
Let g = 44.8 - -582.2. Which is smaller: -5 or g?
-5
Let h = 140 + -145. Let f(c) = 5*c**2 - 5*c + 9. Let u be f(h). Is u >= 158?
True
Let c be (-12)/45*(-2481)/2*5/(-13). Is c > -128?
True
Suppose 8 = -2*r - 156. Which is smaller: -1001/12 or r?
-1001/12
Let b = 0.8 + 0.2. Let x = 0 - b. Let u = 4217/17 + -400581/1615. Which is greater: u or x?
u
Let b = -1.5 - -1. Let v be (27/(-36))/(90/51) - 4/(-5). Are v and b equal?
False
Let a = -0.45 - -0.24. Let t = a - -7.21. Let z = t - 6. Is z < 4/11?
False
Let m = 5/3483 - 23585/4298022. Is -1 at most m?
True
Let f be -3 + 2 + (349104/380)/(-3). Let t = 1518/5 + f. Which is greater: -3 or t?
-3
Let f = 40120 + -1965715/49. Which is smaller: 2 or f?
2
Let g be ((-1)/(-2))/((-612)/100980). Is -0.3 not equal to g?
True
Let u be 6 + ((-1)/(18/(-12)))/(2/(-21)). Which is smaller: -2/9101 or u?
u
Let x(n) = -n**2 - 3*n + 717. Let m be x(-31). Is -1497/10 bigger than m?
True
Let h = 10.377 + 202.543. Let m = h - 207. Let r = m - -0.08. Which is smaller: r or -2?
-2
Let c = -7.035 + 7.135. Are c and -27464 nonequal?
True
Let p be (4/6)/(5/15*1). Let a be (29/p - -2)*(-4)/60. Which is bigger: 0 or a?
0
Let c be (296/(-12))/(16/(-12)). Let n(g) = 12*g**2 - 5*g**2 + 8 - g**2 + 4*g + g**2 + g**3. Let d be n(-6). Is c > d?
False
Let l be (-1 + 2)*(1*-36 + 2). Let b = 38 + l. Suppose -d = b*d - 0*d. Is d bigger than 2/11?
False
Let u(q) = 5*q + 35. Let a = 36 - 32. Suppose 4*f + 16 = -a, -d = -3*f - 22. Let x be u(d). Which is smaller: 69 or x?
69
Let y = -1476 + 1280. Is y greater than -2562/13?
True
Let y be (8/(-5))/((-616)/440). Let a(s) = 2*s - 20. Let t be a(11). Which is greater: y or t?
t
Let r = 23.07 - 58.07. Let n = -34.7 + 0.7. Let s = r - n. Is -2/7 less than or equal to s?
False
Let j(m) = 3*m**2 + 10*m - 5. Let a be j(-4). Suppose -5*f + 22 = -a*b + 2*b, 0 = 3*f - 15. Is -33 less than b?
True
Let i = 1243.159 + -1244. Let b = -0.159 + i. Is 1/135 bigger than b?
True
Suppose 4*k + 15 = z + 9*k, 5*z = 2*k + 21. Let d be -2 + 4 + (-5)/z. Suppose 0 = 5*v + 5*j - 10, -v + d = v - j. Are 0.05 and v equal?
False
Let j = -1062.9 - -961. Let z = j - -102. Is z not equal to 315?
True
Let b be 3/2*(-1)/(-56). Suppose 43 = 7*o + 2*o - 52*o. Which is greater: o or b?
b
Suppose -137*i + 3*k + 10160 = -142*i, 4*i + 8115 = -5*k. Which is smaller: -2036 or i?
-2036
Let k = -10119 - -10307.1. Which is smaller: k or 0.3?
0.3
Let g be 2 - ((-6)/(-7))/3. Suppose 755*s - f = 754*s - 3, 4*f = s + 12. Which is bigger: g or s?
g
Let f = -44 - -67. Let x be (-12 + 18)/(6/16). Does f = x?
False
Let t be ((-15)/180)/((-1)/(-2))*90/(-50). Is t smaller than 185?
True
Let w = -7 + 13. Let b = -516 - -524. Suppose 0 = -2*r + b + w. Is 9 <= r?
False
Suppose -3*h = 4*l - h + 26, 28 = -2*l + 2*h. Let r be ((-1014)/2535)/(18/355). Do l and r have different values?
True
Let b = 85 + -75.6. Let z = b - 10.34. Let u = -1.14 - z. Which is smaller: u or -3?
-3
Let q = 0.2 + 64.8. Let h = q - 64.65. Which is smaller: 2 or h?
h
Let o = -176289/11 - -16025. Let t = 2 - -1. Let y = t - 3. Is y < o?
False
Let h = -8295 + 8296. Which is smaller: -3/13954 or h?
-3/13954
Suppose -5*b + 23*v + 35 = 18*v, 4*v + 31 = 5*b. Which is smaller: b or 124/47?
124/47
Let a = 9 + 7. Let z be 6/393 - (-84392)/(-242088). Which is greater: a or z?
a
Let k(n) = 6*n**2 - 1 - 9*n**2 + 7*n**2 - 2*n**2 - n. Let g be k(-1). Suppose 0 = 3*w + 13 + g. Which is smaller: 4 or w?
w
Let z be ((-21)/(-5) + -3)/((-3)/(-120)). Suppose -x + z = -2*g, -16 = 3*g + 4*x + 78. Let l be (68/(-170))/(g/(-120)). Which is smaller: 1/2 or l?
l
Suppose -2*c = -7*g + 3*g - 2, 4 = 4*g - 4*c. Let a be (20/30)/((-8)/6 - g). Is a != 1/317?
True
Let l = -440 - -256. Let p be (-66)/l*123/18. Let z = p + -21/8. Is z < 0?
True
Suppose 0 = 362*f - 367*f + 3*i + 2, -4*i = 4*f - 8. Is 1/879 at least f?
False
Let q = -716.378 - -570.36. Let c = 146 + q. Is -0.2 at least c?
False
Let i = 375 - 470. Let v = 473/5 + i. Is v > 0.5?
False
Suppose 5*z = -25, -21*c + 3*z + 15 = -18*c. Is c bigger than 32/69?
False
Let v = 124 + -123. Let x = -58172/59 + 986. Is v at most x?
False
Let i(k) = -k**2 + 14*k - 56. Let b be i(8). Let f be (-4)/8 - 2/b. Let m = -6 + 10. Which is bigger: f or m?
m
Let n = 22.9288 + -23.3. Let u = n - -0.0712. Which is smaller: 9 or u?
u
Let n be ((-395)/425 - -1)*(-65)/26. Which is bigger: n or -18?
n
Suppose -76 = 194*a - 198*a. Suppose 3*h - 3*b = -3 + 12, 5*h + 25 = -3*b. Do h and a have different values?
True
Suppose -4*n - 1 = -5. Suppose m + 5*w - 3 = 0, -2*m + 2*w - 336 + 330 = 0. Let q be m/4 + 215/10 + n. Is -1 at most as big as q?
True
Let n = 84853/9 + -9449. Is n < -20?
True
Let i = -55 + 51. Let f(z) = 7*z - 7. Let y(w) = -8*w + 6. Let h(n) = i*f(n) - 3*y(n). Let d be h(2). Is d less than or equal to 5/2?
True
Let x = 980/19 - 5093/133. Let j be 7/(-35)*3429/(-63). Let a = x - j. Which is smaller: 1 or a?
1
Suppose 4*x - 10 - 14 = 0. Let o be ((-32)/616)/(x/(-7)). Let g = -10075 - -10074. Is o equal to g?
False
Let c = 214683 - 214685. Let p be 0*1/(-2) - 1. Are c and p equal?
Fal