: 11353/5 or g?
11353/5
Let m = 169 + -170. Let s be 2/(5/30*m). Which is smaller: -11 or s?
s
Let j be 32 + -49 - 0/3. Which is smaller: -152/9 or j?
j
Let j be 8/((2 - 2) + 1 + -2). Let p be (j/(-40))/((-3)/10). Is p less than -1.54?
False
Let n = -1088126/11732185 - 2/306057. Which is smaller: n or -1?
-1
Let o(t) = 23*t - 109. Let m(j) = -19*j + 109. Let i(s) = 5*m(s) + 4*o(s). Let h be i(32). Is h at most 1?
False
Suppose k - 933*d = -937*d - 7304, -2*k = -3*d + 14619. Does -7308 = k?
True
Let t = -3 + 3. Let h = -5020 + 496988/99. Let x = 736/693 + h. Do x and t have different values?
True
Let j = -244/333 - 198095/7326. Let u = j + 300/11. Suppose 3*r - 2 = 7. Which is smaller: r or u?
u
Let y(x) = -x**3 + 2*x**2 - x + 40. Let u be y(0). Suppose 32 + u = 9*k. Suppose -k*n - 5 = -3*n. Which is bigger: n or -1/87?
-1/87
Let t = -2 - -2.1. Let n = 660596 + -660799. Which is smaller: n or t?
n
Suppose l = -4*a + 6, -5*l + 10 = 2*a - 2. Suppose -11*b - 2*h + 451 = -16*b, -184 = l*b - 2*h. Let o = 42 - 132. Which is smaller: b or o?
o
Suppose -23*g - 4 = 4*q - 27*g, 8 = 2*q + 3*g. Is 2/1631 equal to q?
False
Let w = -28 - -29. Let t be w + 3 + -3 + (8 - 6). Let v be t + -7 - (-97)/24. Is v bigger than -1?
True
Let n = 9588 + -9838. Which is smaller: 1 or n?
n
Let m be (-26 - -15) + ((-144)/(-21) - -4). Is m < -1026?
False
Suppose 2*j = 5*u - 4 + 6, 2*j + 4*u + 16 = 0. Let x = -88 + 35. Let i = x + 58. Which is bigger: i or j?
i
Suppose 4*r = -r - 20. Let n = 353 - 350. Let u be ((-8)/n)/(r/(-6)). Which is bigger: u or -11/3?
-11/3
Let z = 283.309 + -19.309. Which is bigger: 6 or z?
z
Let p = 720.3 + -720. Let v be ((30/(-65))/6)/(-14)*2. Is v != p?
True
Let g(f) = -2*f**2 - 4*f + 111. Let d be g(6). Let h be -3*(-1)/(-3)*(-282 - d). Which is smaller: 296 or h?
296
Let d be 48 + 2 + -2 + -2. Let q = 2 + d. Let u = 41 - q. Which is bigger: u or -33/4?
u
Let q = 118 + -258. Let l be (q/(-21))/5*(-6)/4. Let m be (-2)/(6/10 + -1). Which is greater: l or m?
m
Let x(w) = 55*w**3 + 8*w + 24. Let l be x(4). Which is smaller: l or 3577?
l
Let z be 4/(-10) - (2 - (-38)/5). Let p(k) = -k**2 - 8*k + 19. Let s be p(z). Which is greater: -9/62 or s?
-9/62
Let k be ((-60)/(-24))/(1/(-2)). Let s = 7 + k. Suppose 6*f + 4 + s = 0. Which is bigger: f or -1/38?
-1/38
Let v = -91143 + 31626660/347. Which is bigger: -1 or v?
v
Suppose -12*t + 570 = -2*t. Let f = -57 + t. Is -1/17 at least as big as f?
False
Let z(l) = l**2 + 7*l + 1. Let p be z(-6). Suppose d + x = 45, -4*x + x + 227 = 5*d. Let u = -55 + d. Which is smaller: p or u?
u
Let v = 367 - 364. Let n be 103/(-18) + v + 1/(-2). Is -2/3 greater than or equal to n?
True
Let g = -28093.5 - -28106. Which is greater: -25 or g?
g
Let q = -15733157/55538 - -5/7934. Which is smaller: q or -282?
q
Let o = -20474 + 19589. Is o not equal to -886?
True
Suppose 0 = 4*b - 2*j + 632, -3*j = -2*j + 2. Let u(f) = f**3 - 3*f**2 - 12*f - 26. Let h be u(-4). Let s = b - h. Which is bigger: -68 or s?
-68
Suppose -61 = q + 53. Let d = q - -117. Suppose 0 = 3*c - 0*c - 6, -105 = 3*s + d*c. Is -37 smaller than s?
False
Let h = 79 - 183.1. Let y = h - -104. Is y greater than -119?
True
Let h = 1175 + -611. Suppose 572 = -4*c + 6*v - 7*v, 4*c - v = -h. Which is bigger: -143 or c?
c
Let t = 29245275 + -27549056113/942. Let u = t + -1/471. Let p = u - -91/12. Which is greater: -2/5 or p?
p
Let v = -30588.033 - -30571. Let p = -0.033 - v. Let q = 1.1 - 1. Is q smaller than p?
True
Suppose 5*h + 747 = 3*l, -62 = h + 4*l + 69. Is -149 greater than h?
False
Let y = 1442 - -9285. Are y and 10727 equal?
True
Suppose 4*a - 1334 = 2*y, 11*y - 6*y - 2*a = -3391. Is y not equal to -684?
True
Let k(m) = -m**2 + 5*m + 4. Let p be k(5). Let u be 13*1 - 1147/93. Are p and u equal?
False
Let l(b) = -130*b - 13. Let h be l(-4). Let q = 340 - h. Which is greater: -168 or q?
q
Let v = 46898 + -374533/8. Does 82 = v?
False
Let t be ((-6)/5 - -1) + 161. Let n = t - 129434/805. Is -1 bigger than n?
False
Suppose -4*o - 12 = -3*h - 19, 0 = 5*h - 3*o + 30. Let f be ((-6)/h - 0)*198/220. Is f at most as big as -29/5?
False
Let z = -29/97 - -19/388. Which is bigger: z or -144?
z
Let k(m) = -182*m - 2676. Let t be k(-14). Which is bigger: -158 or t?
t
Let u be ((-32)/(-3))/(17/255). Let o = u + -177. Is -16 smaller than o?
False
Suppose -7*k = 3*u - 5289, -14408 = -5*u + 2*k - 5511. Is 1781 at most u?
False
Let z = -170665/1014 - 145/169. Is z not equal to -168?
True
Suppose 0 = -17*s + 23*s - 5*r - 55, 2*r + 22 = 4*s. Let x = -57184/791 - -243/113. Let k = -57454/819 - x. Which is bigger: k or s?
s
Let z = -0.718 - 305.182. Let f = z + 306. Is f at least -34?
True
Let k = 4400/176587 - -6/2419. Which is bigger: k or -1?
k
Suppose 12*i = 618 - 3078. Let f = i + 205. Which is bigger: f or 1/41?
1/41
Suppose 415*d - 246 = 421*d. Is d greater than or equal to -5?
False
Let f be (-3885120)/647523 + -7 - (-13)/1. Is f < -1?
False
Let d(f) = -9*f + 26. Let q be d(12). Let m be 4/8 + q/(-12). Let o = -7 + m. Are 2 and o unequal?
True
Let q(m) = 11*m - 1. Let i be q(-4). Let v = -29 - i. Let f be (-1 - v/(-14))/(9/2). Is 0 less than f?
True
Let u = -18233 + 17737. Which is bigger: u or -487?
-487
Let u(s) = s**2 - 23*s - 74. Let k be u(26). Suppose 3*n - k*a - 22 = -8*a, 9 = n + a. Which is greater: n or 13?
n
Suppose -2*t = -0*t - 4. Let v(m) = -m**2 + 13*m - 30. Let y be v(10). Suppose -4*n - 5 = -4*p - 1, y = -2*p - 3*n + 27. Which is smaller: t or p?
t
Let m(a) be the first derivative of a**2/2 + 3*a - 4. Let j be m(-4). Let u be 42*10/900*(-2)/(-7). Which is greater: j or u?
u
Let n be ((-9)/(-21))/((-288)/(-3136)). Suppose 4*w = 5*w. Suppose w = x - 3 - 3. Which is bigger: n or x?
x
Let b(q) = q**3 - 4*q**2 - 3*q - 2. Let c be b(5). Is c greater than or equal to -202?
True
Suppose 0 = -380*m + 408*m + 924. Is m bigger than -6?
False
Suppose -6*u = a - 3*a + 90, 0 = -u + 3*a - 7. Let k = 0 - 0. Is k at least as big as u?
True
Let t(d) = -d**2 + 10*d - 10. Let x be t(6). Let y be 9*(4/(-7))/((-6)/x). Suppose -2*j - y = 4*b, -b = 2*b - 5*j - 4. Is 1 bigger than b?
True
Let j = -346 - -349. Suppose 0 = 4*l - 36 - 12. Suppose 0 = -4*c - 2*y + 6, c = -5*y + j + l. Is -1/8 != c?
True
Let i = 2498 - 2560. Which is greater: -45 or i?
-45
Let h = 2743.7 - 2996. Let u = -252 - h. Is u greater than or equal to 1.6?
False
Suppose -2 = -9*i + 25. Let n(x) = -5*x + 3. Let b be n(i). Let y = b - -11. Do -7/6 and y have the same value?
False
Let w = 129 - 57. Let t = -34 + w. Which is bigger: t or -2?
t
Suppose -5 - 3 = -4*q, 3*j + 3*q = 1341. Let w be 1/(-2)*j/(-10). Let z = 22 - w. Which is smaller: 0.9 or z?
z
Let s = -28.89 - -29. Let c = 15961/3 - 31919/6. Which is greater: s or c?
c
Let f(z) be the third derivative of -7*z**5/60 - 5*z**4/12 - 7*z**3/2 - 44*z**2. Let q be f(-3). Are -53 and q unequal?
True
Let n = -153079/343181 - 16/3037. Which is greater: n or 0?
0
Let z = -17/4 + 43/12. Let a = -0.6678 + 0.67. Let p = a + 1.3978. Which is greater: z or p?
p
Let g(f) = -361*f + 19. Let r be g(9). Let y be (-1026)/r - (-2)/(-17). Let k be (1 - 3)/(2/3). Do k and y have different values?
True
Suppose -4 = -8313*d + 8309*d. Is -1/2467 at most as big as d?
True
Let h be 1*60*(1 + 0). Suppose h = -5*k - 30. Let d be (-30)/135 - (-14)/k. Which is smaller: d or -2/47?
d
Let o = 5521/744282 - -2/2079. Is 1 <= o?
False
Let s = 4416 + -4416.623. Is 2/7 less than s?
False
Suppose 28*y = 37*y - 684. Which is greater: y or 73?
y
Let u = -227 - -222. Let z be (-10 - -4 - u) + 0. Is -2/1061 equal to z?
False
Let z be (-1437)/(-6)*(-1 + (-318)/(-6)). Let w = -747223/60 + z. Which is greater: 1 or w?
1
Suppose r - 3*w = 16, 4*w + 52 = 3*r - w. Let a = r + -34. Let k be (a/10)/((-1)/(-4)). Which is bigger: -2 or k?
-2
Let q be 730/(-552) + 11/(-66) + 6/4. Do -5 and q have different values?
True
Let q = -133723 - -97751471/731. Which is bigger: 0 or q?
0
Suppose 0 = 2*u - 5*b - 132, 10*u - 75 = 9*u + b. Is u > 84?
False
Suppose 4*h = 3*l + 265, 4*l = -4*h - 142 + 386. Suppose 240*b + 15410 = 250*b. Let k = b - 1476. Is k <= h?
False
Let m be ((-3)/(-6))/(-5 - 222/(-44)). Is 25 less than or equal to m?
False
Let z = -391.2 + 357. Let j = -27 - z. Let q = j + -7.15. Which is bigger: -0.2