)). Is k greater than 1832?
False
Let f = 8575976 - 13635801061/1590. Let z = f + -13/30. Is z greater than 1?
False
Suppose 3*q + 2*n = n - 55, 2*q + 39 = -3*n. Let v = 45 + q. Let k be (-2)/25*9/(v/30). Which is bigger: k or -1?
k
Let q be (-12)/150 + (-16504)/(-50). Let c be (-33)/q - 7398/20. Is c greater than or equal to -371?
True
Suppose -132*c - 8*q = -137*c - 77, -2*c - 2*q - 88 = 0. Let l = -86 - -54. Is c at least l?
False
Let g be -2 + 9/15 - -1. Let d be (-2)/11 - 44/(-242). Suppose d = -5*b - 20, -5*o + b + 39 = 0. Which is bigger: g or o?
o
Let v = -24085/221 - -109. Let p = 9752/1547 - v. Which is smaller: 6 or p?
6
Let i be 0*(4 + (390/18)/(-5)). Suppose i = -4*c - 3*c + 1316. Which is smaller: 186 or c?
186
Let z = 22 + -22. Suppose z = 6*x - 22 - 98. Let o = x - 23. Which is smaller: 0 or o?
o
Let g be 21/(-17) - (-1 - 0). Suppose 0 = 2*x + 4*j + 250, -2*j + 371 = -3*x - 6*j. Let n = -119 - x. Is g < n?
True
Let k be -1 - (2 + -2 + 13). Suppose -7*f - 1146 = -5*f. Let j = 557 + f. Is j greater than or equal to k?
False
Let h be (-12 - -14)/((-18)/147). Let l = 545/33 + h. Are -124 and l equal?
False
Let t = 37 - 37. Suppose -q - 67 + 68 = t. Let j be (-1 + 0)*q/(-1). Is j less than 1?
False
Let w = 19674061/151 - 130291. Are w and 0 non-equal?
True
Suppose 3*o = 2*o. Suppose o = 3*t - 0 - 30. Suppose -1829*u = -1816*u - 117. Is t bigger than u?
True
Let b be (1/(-8))/((-12)/(1140*-1)). Is b equal to -12?
False
Suppose -12*a = -2401 - 2015. Is 367 less than a?
True
Suppose -519 + 295 = -140*a + 2016. Suppose 3*t - 4*z - 9 = 0, -4*z = -z - 9. Is t > a?
False
Suppose 5*x = -2*y + 157, -4 = 2*x + 2*x. Suppose -3*j = -12*j - y. Let d be (-8)/12*j/24. Which is smaller: 2.5 or d?
d
Let t = -3974/29 - -137. Suppose -3*s = 4*u + 69, 68 = -3*s + u + 14. Let i = 20 + s. Which is greater: i or t?
i
Let u be 2 - -1 - (-1)/1. Let w be (-13)/(65/6) - 172/(-10). Let b be ((-9)/(-12))/(2/w). Which is smaller: u or b?
u
Let a(z) = 11*z**2 - 62*z - 44. Let p(c) = -5*c**2 + 31*c + 22. Let k(t) = 6*a(t) + 13*p(t). Let h be k(-28). Are h and -61 equal?
False
Suppose c - 6 = -c + 3*y, y + 2 = 5*c. Suppose 0 = 8*d - c*d + 184. Let f = 223 + -246. Is f greater than or equal to d?
True
Let j be ((108/81)/((-12)/963))/(-36). Which is greater: 2 or j?
j
Let v = -60.3 + -46.72. Let h = 107 + v. Do -0.6 and h have different values?
True
Let l = -2413 + 190644/79. Which is bigger: l or 1?
1
Suppose 0 = -d + 127 + 4983. Suppose -4*a + 5*a - 4*h - 1037 = 0, d = 5*a + 5*h. Let g = a - 21521/21. Which is smaller: 0 or g?
0
Suppose 4323*h = 4338*h + 6030. Do h and -401 have different values?
True
Let z = -24453 - -113779807/4653. Do 1 and z have the same value?
False
Suppose 17*f - 3209 + 14600 = -7054. Are -1085 and f equal?
True
Suppose -a - 37 + 5 = -3*s, -2*s = 3*a - 25. Let l(f) = -2*f**3 - 7*f**2 + 10*f - 12. Let k be l(-6). Suppose 105*o = k*o - 27. Is s greater than o?
True
Let r be 9 + 1/((-4044)/36372). Is -6 at most r?
True
Let v be 0/(-3 + 8) - 14/(-2). Let d(n) = -5*n + 38. Let u be d(v). Suppose -2*y - 2*y + u*w - 38 = 0, -y - 14 = -3*w. Is y greater than -2?
False
Let h(k) = -2*k + 4. Let l be h(0). Suppose -2*g - 3*r = -462, -3*g - r - l*r + 694 = 0. Is 229 at least g?
True
Suppose -a - 4*u + 8*u = 0, 0 = 5*a - 5*u. Suppose w + 1044 - 1045 = a. Which is bigger: w or 4/23?
w
Let d = -89 + 88.967. Let i = 116.033 + d. Is i <= 1?
False
Let p = 2671828/57 + -138901/3. Let g = p - 574. Let j(s) = 6*s**3 + 263*s**2 - 44*s - 1. Let d be j(-44). Do d and g have the same value?
False
Let q = -732 + 733.23. Let j = q + -3.23. Does j = -2.32?
False
Let w(d) = d**3 - 23*d**2 - 4*d + 1. Let c be w(0). Which is smaller: c or 16/397?
16/397
Let r(q) = 3*q**2 + 6*q - 15. Let n be r(2). Let l be (-2 - (-3 + 3))/(3 + -4). Suppose -3*y - l*i = 0, -3*y = -0*i - 2*i. Does n = y?
False
Let j = -2437 - -1958. Which is smaller: -480 or j?
-480
Let p be (6 + 469117/(-22))*(-10)/25. Which is bigger: p or 8528?
8528
Let i = 36835.9 + -36836. Which is bigger: i or -8?
i
Let l = -16845 + 16814. Which is greater: -149 or l?
l
Let w(j) = -j + 21. Let o be w(5). Let f = o - 17. Let q be 2/(f/(-1)) + 14. Do q and 16 have different values?
False
Let d be (-9*8/60 + 0)*(-27 - -87). Which is smaller: 0.4 or d?
d
Let z = 1192262/7 - 169922. Which is bigger: 402 or z?
402
Let d = -8485 - -13473. Which is smaller: 4987 or d?
4987
Let c be -795*(18/(-54) - (-10)/42). Let p = c + -20175/266. Do 0 and p have the same value?
False
Let h be 117/27 + 4/(-3). Suppose 0 = s + 5*a + 3, h*s + 4*a + a - 11 = 0. Suppose -s*r + 52 + 298 = 0. Which is greater: r or 49?
r
Let o be (-1 + (-51)/(-45))*(732/(-236) - -3). Is o smaller than -1?
False
Let d be 18918/(-81) - 4/9. Let l = d - -194. Suppose 3*c - 4*z = -128, 0 = 5*c - 5*z + 3*z + 204. Is l < c?
False
Let s(l) = -l**3 - 8*l**2 + 8*l + 28. Let p be s(-8). Let v be (p/(-16) - 2) + 90/(-8). Is v less than -12?
False
Let i = -2023.96 + 1958. Let p = -179 + 113. Let y = i - p. Which is bigger: y or 3?
3
Let i be 2/(10/45)*16/((-160)/(-1650)). Do i and -0.3 have different values?
True
Let l = 0.12 + -0.12. Let h = 241.7 + -241. Let x = h - 0.668. Is x at most as big as l?
False
Let d = -69.9 - 14.1. Let q = d + 57. Which is greater: q or 0.02?
0.02
Let p(g) = -12*g + 37. Let s be p(21). Let m = -180 - s. Let r = -34 + 70. Which is smaller: m or r?
m
Suppose 6*l = 5*f + 11*l - 15, -5*f + 3*l = 17. Which is greater: f or -14/123?
-14/123
Let n = 171 - 166. Suppose 0*g = -g - 5*u - 11, 25 = -n*g + 5*u. Which is smaller: -5 or g?
g
Let v(r) = 586*r + 4473. Let l be v(-3). Which is smaller: l or -6?
-6
Let g be (-1149*2/10)/(858/990). Let x = 265 + g. Suppose -2*j + 3*d = 24, 2 + 5 = -j - d. Which is smaller: x or j?
j
Let p be 10370/68*-2*1. Let k = p + 317. Let d = 22 + -11. Which is smaller: k or d?
d
Let y = -4177 - -4198. Let f = -4.1 + -0.9. Let s = -5 - f. Is s less than y?
True
Let k be -9 - -14 - ((-3 - 2) + 6792/686). Which is greater: k or -1?
k
Let c be 80/(-112) + 1*2/(-7). Let v = -2324 - -32521/14. Is c greater than v?
True
Let m = -8946 + 8741. Which is smaller: m or -195?
m
Suppose -14*d = -12*d - 504. Suppose 5*w - 350 = -2*k, -3*w = w - 4*k - d. Let y = 126 - 58. Are w and y nonequal?
False
Let z = -0.828 - -0.838. Let i = -0.3 + 0.31. Let u = z - i. Which is smaller: -6/13 or u?
-6/13
Let m(o) = -o**3 - 2*o**2 + 33*o - 1. Suppose -4*u = -2*t - 26, -3*u + 3*t + 8 + 13 = 0. Let j be m(u). Let d = -1.7 - -1.6. Is j less than or equal to d?
True
Let a = -386 + 346. Let w = a + 40. Which is greater: w or 274?
274
Let r be ((-36)/2)/(-6 - -4). Let k be (12/18)/((-3)/r - 0). Let h = 16 - k. Which is smaller: h or 17?
17
Let a be (52/(-24))/((-6)/3) - 0. Let j = a - -2/3. Is j at least as big as 3?
False
Let o be 0*(2/4 - 0). Let c(y) = -2*y**3 + 5*y**2 + 27*y - 6. Let r be c(5). Suppose -r*z = 96 - 76. Is z bigger than o?
False
Let w be 13 + -13 + -12 - 641. Is w equal to -4?
False
Let k = -31379 + 31182. Let c be 6/(-4)*2/3. Are k and c equal?
False
Let o(i) = -13*i**3 - 17*i**2 + 16*i. Let a be o(1). Let n = -3513/35 - -613/7. Which is bigger: n or a?
n
Suppose 99*u - 11105 + 82250 = -36*u. Which is bigger: u or -526?
-526
Suppose 9 = 3*u - 3. Let t be 16/(-8)*(-18)/u. Let z = 10.8 - 10.6. Which is bigger: t or z?
t
Let o be 1 + 2 + -3 + -2 + 3. Let k = 809 - 781. Is o less than or equal to k?
True
Let r = 3336 + -3336.1. Let a = 1 + -5. Let z = a - -4.1. Is z less than or equal to r?
False
Let x(n) = 48*n - 3358. Let a be x(57). Is a greater than or equal to -634?
True
Let i = 3777 + -3756.03. Let b = 22.4 - i. Which is greater: 1/3 or b?
b
Let r(g) = -2*g**3 - 174*g**2 - 172*g - 211. Let s be r(-86). Which is bigger: s or -3815/18?
s
Suppose 0 = -9*u - 0 + 18. Let h be (-675)/(-150)*u/36. Which is smaller: h or 0?
0
Let i = 37 - 39. Let u be 2120/12*3/14. Let o = u + -38. Do o and i have different values?
True
Let v = -142 - -154. Suppose -6*q - v + 54 = 0. Let f be 0 + -2 + 12*1. Are f and q equal?
False
Let z = -2798 - -2789. Which is greater: 119 or z?
119
Let o be 766/14 - 2/(-7). Let x = -49 + o. Let h = 1 + x. Is 6 greater than h?
False
Let v(k) = -k**2 + 55*k - 143. Let n be v(51). Which is greater: 66 or n?
66
Let c(u) = 