415
Let g be (-7 - 6*9/(-6))/((-20)/(-3572)). Which is bigger: g or 358?
358
Let x(l) = l**2 - 9*l + 4. Let j be x(9). Suppose -3*m = j*y, -m - m + 2*y + 14 = 0. Let k(i) = 6*i - 2. Let f be k(m). Is 21 greater than f?
False
Suppose -6*d + 413 - 95 = -3*v, 188 = 4*d + 4*v. Is d less than or equal to 54?
True
Let j = 183 + -166. Suppose -j*w - 4950 = 16*w. Which is bigger: w or 0?
0
Suppose -3*x + 3*w = 2*x - 870, 2*w + 865 = 5*x. Let a be ((-1)/3 - 1)*x/42. Let c be ((-9)/12)/((-6)/(-4)). Is a > c?
False
Let y be (-4)/(-1 + -5 - -4). Let l(p) = 0 - 11 - y*p + p. Let g be l(4). Is g < -17?
False
Let p = -21 + 21. Suppose -v + p*d - d = 0, -4*v - 25 = -d. Let n be (-24)/30 - (-1)/v. Which is bigger: n or 1/37?
1/37
Suppose 0 = -4*j + 4*q + 12, j - 10 = -4*q + 3. Let v be -6 + (2 - (-6 + j)). Let i be 7/(84/(-18))*(-2)/v. Is i < -12/7?
False
Let f = 793/880 - 1/880. Let c be 6/10*(2 - (-6)/2). Suppose 3*o + 2*o = p + 1, c*o = -p + 7. Is o <= f?
False
Let c be ((-28)/(-154))/(-1*(50/55 + -1)). Are c and 11/36 equal?
False
Let i(w) = -w**2 - 2*w - 1. Suppose 4 = 6*m + 16. Let s be i(m). Let q = 547/14 + -39. Is s < q?
True
Let f = -11251 - -11267. Is f greater than 0.016?
True
Let j = 492 - 572. Let l = 83 + j. Which is smaller: -43 or l?
-43
Suppose z + 22 = -z. Suppose -4*n + 2*g + 22 = 0, -2*n - 15 = 3*g - 14. Let u be (11/(-3) - 5)/(n/6). Do u and z have the same value?
False
Let i be 66/15 + -9 + (-266)/(-35). Let z be ((-63)/35)/(2 + -3). Which is bigger: z or i?
i
Let q be (21 - 12)*4/2. Suppose 0 = 5*l + 2*j - 27, 4*l - 6*l = -j - q. Suppose 4*w = -l*w. Is w not equal to 3/4?
True
Let f be (-345074222)/(-31370283) - 11*1. Which is greater: f or 0?
f
Let u = 10 + 13. Let h be ((-161)/(-92))/(72/960). Which is smaller: h or u?
u
Suppose -3*n - 9 = 2*a, 16*n - 11*n - 51 = 4*a. Let u be 49/(-88) + (144/(-88))/a. Which is bigger: 1 or u?
1
Let y(g) = -g**3 + 18*g**2 + 13*g - 2. Let x be y(17). Suppose x = -44*a + 48*a. Let j = a - 113. Do -1/3 and j have the same value?
False
Let c = -1/2265 - -40318/2265. Let t = 8586 + -8567. Which is smaller: t or c?
c
Let v be 219 + (-39)/(-13) - 15. Let q(l) = 51*l**2 + 3*l - 3. Let g be q(2). Is v at most g?
True
Let z = 179 - 183. Let q be ((-8)/44 - z/22)/(-1). Are 0.88 and q nonequal?
True
Let f = -0.325 + 0.485. Let x = -4.36 + f. Do 2/13 and x have different values?
True
Let o be (-3)/(-9)*1 - ((-800)/(-15))/(-5). Suppose y + 1 = l, -3*l = -l - 8. Let w be -1 + 1*(y - -8). Is o not equal to w?
True
Suppose 0 = -34*v - 209 - 267. Let q be ((-9)/(-6))/(3/84). Suppose -16 = -2*m - q. Which is greater: m or v?
m
Let w = 5.58 + -6.64. Let m = w - 2.94. Is 2 bigger than m?
True
Let w(h) be the third derivative of h**4/3 - 19*h**3/3 + 11*h**2. Let q be w(6). Suppose t = -3*d - 4, -5*d - 6 = 4*t + q. Is d != -1/110?
True
Let u be (27/12 - 2)*(-270)/(-1111725). Which is smaller: 0 or u?
0
Let g = 671 + -1991. Are -1320 and g nonequal?
False
Suppose -15*h = -501 - 519. Suppose -v - 1344 = -3*v. Suppose -7*u = 196 - v. Is h greater than u?
False
Let q be (67 - 12)*4/4. Let p be (-2)/((-45)/q + 1). Which is smaller: -85/8 or p?
p
Let g(d) = 108*d + 756. Let h be g(-7). Let k = 5 - 4. Let v be (-3*-6*k)/2. Which is smaller: v or h?
h
Let s be -82*(-21)/56 - 3/(-3 + 0). Let x be -2*(-881)/(-56) + 0. Let l = x + s. Is -5/2 less than or equal to l?
True
Suppose -4*m + 263 - 71 = 0. Let v = m - 51. Let u be ((-8)/116)/((-2)/v). Which is smaller: 1 or u?
u
Let b be ((-100)/240)/(45/24). Is b <= 128?
True
Let h be 390/21 + 1026/(-57). Which is smaller: h or 3/35?
3/35
Suppose -253 - 71 = -6*k. Let d = 1511/28 - k. Is d != -1?
True
Suppose -r - 192 = -7*r. Suppose -r*w + 27*w = 15. Let q be (-14)/91 - (-328)/(-234). Do q and w have different values?
True
Let p be 2*(-27)/4*2. Let v(i) be the third derivative of i**6/120 + 29*i**5/60 - 9*i**3/2 + 6*i**2 + 8. Let a be v(-29). Is a > p?
False
Let m = 124106361/85 - 7281098/5. Let g = m + -3857. Let w = 249/170 + g. Which is bigger: w or 0?
0
Let i(q) = -q**2 + 7*q + 26. Let g be i(0). Let h = 5 - g. Does -2 = h?
False
Let n = 7847734606/42699 + -183792. Do 0 and n have the same value?
False
Suppose 2*c - 1121 + 413 = 0. Let j = -1769/5 + c. Let w be 2/(25 + -1 + -1). Which is bigger: j or w?
j
Suppose 5*z + 3*n = 19, -4*z + 11 = 5*n - 12. Let m be -4 - 71 - (6 - 3). Let h = -76 - m. Are h and z non-equal?
False
Let p = 2288 - 2288.1. Let a = -44.9 - -45. Is a >= p?
True
Suppose 255 = -7*n + 4*n. Suppose s + 166 = -3*u + u, 5*u - 3*s = -437. Are n and u equal?
True
Let a(h) = 1102*h + 730. Let o be a(-1). Which is greater: -373 or o?
o
Let a be ((-519)/(-645) - 1)/(28*16/280). Which is smaller: a or -1?
-1
Suppose -4*h - 1 - 3 = 0. Let o be (-2250)/100*(-42 + 6)/(-9). Are h and o unequal?
True
Let z(g) = -g**2 + 67*g + 433. Let v be z(69). Is v at least 295?
True
Let i be 16/(-277704)*-10428 - (-2)/6. Let r = -5/133 + i. Let z = r - 89/261. Which is smaller: 0 or z?
0
Let l(v) = v**2 - 29*v + 966. Let t be l(56). Which is greater: t or 2483?
2483
Let s = 2390.6676 + 1.3324. Which is greater: s or 3?
s
Suppose -3*n - 395 - 34 = 0. Let z = 319 - n. Let h be z/(-474) - 3/(-6)*2. Which is bigger: -1 or h?
h
Let b(h) = -10*h**2 - h + 1. Let d be b(7). Let z be d/1540 - 2/(-7). Is 1 < z?
False
Let n be (16/10)/4 + (-402)/855. Let f(v) = 4*v**2 - 4*v - 1. Let i be f(2). Suppose -10*m + 3 + i = 0. Which is greater: m or n?
m
Suppose 19 - 2611 = 4*a. Let f = a + 652. Is 32/9 at most as big as f?
True
Suppose -693*x = -650*x - 178106. Is x greater than 4144?
False
Let k(p) = p**3 + 20*p**2 + 38*p + 41. Let q be k(-18). Let g be (-4)/12 - (0 - q/(-3)). Let t = 5 - 8. Which is smaller: g or t?
t
Let h = 35/107 + 4675/428. Which is greater: 12 or h?
12
Let k be (-30 + 23 + 30)/((-1)/1). Which is smaller: -136 or k?
-136
Let t be (3903393/(-229606) + 17)*8/14. Which is greater: t or 0?
0
Let g = 1383 + -1384. Which is smaller: 5/152 or g?
g
Let v = 394 + -1381. Is v greater than or equal to -987?
True
Let t = 2017/24 + 8621/72. Which is smaller: t or 203?
203
Suppose -2*b - 6 = -5*l, -4*b = -5*b - 3*l - 3. Let r(v) = -2*v**3 - 6*v**2 - 3*v - 5. Let s be r(b). Are s and -2 non-equal?
True
Suppose 4*k - 2*l - 51 = 11, -k + 11 = -2*l. Suppose -k*i = -12*i + 10. Let z be (i*9/6)/(-70). Is z bigger than -1?
True
Let x(i) = -67*i - 22. Let l be x(-3). Let v = -98 + l. Suppose 82*b + 7 = v*b. Which is greater: -6 or b?
-6
Let v = -4779/6080 - -53/64. Let t(b) = b - 2. Let a be t(3). Which is bigger: v or a?
a
Let i be (-147)/28 + 6 - 26168/416. Is i less than or equal to -63?
False
Suppose -5*d + 13 = -6*d. Let t = d - -15. Suppose 5 = t*x + 7. Which is smaller: -1/15 or x?
x
Let v(y) = -y**2 + 45*y + 518. Let l be v(-9). Which is greater: l or 31?
l
Suppose -30 = 6*j - 2*j + 5*z, -4*j = z + 6. Which is bigger: j or 2/2389?
2/2389
Suppose -5*n + 240 = h, -h - 2*h + 5*n = -640. Let o be (2 + -50)*525/(-210). Let i = o - h. Is -99 bigger than i?
True
Let u(g) = 5*g**2 + 213*g - 87. Let m be u(-43). Is -1/558 at most m?
False
Let j be (-6)/(-39) - 1357682/598. Let u = j - -2271. Which is smaller: 1 or u?
u
Let l be ((-1)/(-37))/(3*25/(-45)). Let u(f) = 8*f**2 + 24*f + 1. Let c be u(-3). Is c < l?
False
Let h be 0 + (-6)/(-48) + (-39676)/(-32). Is 1241 smaller than h?
False
Suppose -26*n = y - 24*n + 40, -2*y + 5*n = 44. Let i be -3 + -12*69/30. Which is greater: i or y?
i
Let q be (-12)/(-8)*(-2 - 6/(-9)). Let x be 262*4/(10 + q). Let h = 131 - x. Are h and -2/167 non-equal?
True
Let a = -126 - -1013/8. Which is bigger: a or -37?
a
Let q = 781 + -560. Suppose 0 = -q*f + 214*f + 42. Which is bigger: 30 or f?
30
Suppose -3*w + 20 = -3*h - h, -4 = 2*h. Let f = -32 - -37. Suppose -3*j - 55 = -f*p, -w*p - 4*j + 6 = -6. Is p >= -0.3?
True
Let c = 89.2 - 89.3. Do c and 204 have the same value?
False
Suppose 30*b + 19*b + 80304 = -7*b. Which is smaller: b or -1429?
b
Let c = 24 + -107. Let q = -3435 + 3463. Let x = c + q. Is -54 < x?
False
Let y = -12637 - -12636.8. Do -717 and y have different values?
True
Let x = -13.8 - -15. Let s = -1.164 + x. Let r be 3196/(-6815) - 4/(-58). Is s less than r?
False
Let h be 18/2 + 138/(-14) - (-92844)/(-21). Is -4421 less than or equal to h?
False
Let d(j) = j**2