rue
Let w be (-1*8/12)/(3615/(-10)). Does 0 = w?
False
Suppose 0 = 66*g - 2529 - 1299. Suppose -4*w - 2*r + 246 = 0, 16 = 3*r + 1. Which is greater: w or g?
w
Let s = 0 + 2.5. Let m = -423.2 - -420.33. Let z = s + m. Which is smaller: 1/4 or z?
z
Let c = -523.4 + 523.22. Is -1/2 bigger than c?
False
Let n = -759/205 - 4/41. Let c(o) = -1968 - 6*o**2 + 4*o**3 - 5*o**3 + 1934 - 11*o. Let t be c(-5). Which is greater: n or t?
n
Let p(k) = -1093*k - 2567. Let t be p(-13). Which is smaller: -1 or t?
-1
Suppose 0 = -0*k + 3*k + 12, -2*a = -4*k - 94. Let r = 53 + a. Is 95 not equal to r?
True
Suppose m + m + 4*w = 0, 3*m = -3*w. Let c be 20/9 + (4 - -3) + -7. Let t = c - 158/63. Is m at most as big as t?
False
Let x(r) = -3592*r + 13. Let y be x(4). Let t be (36/y)/(2/(-15)*-3). Do t and -1 have the same value?
False
Let q = 3719 + -3761. Is -7 smaller than q?
False
Let s = 1.01 + -0.01. Let o = -120.4246 - -0.4246. Which is greater: s or o?
s
Let r(u) = -u**2 - 3*u + 91. Let o be r(7). Suppose -o*z = -2 - 19. Which is greater: z or 18?
18
Let j = -1/15063 + -391565/1099599. Which is greater: -1 or j?
j
Suppose 3*m - 3*a = m + 9, -4*a - 12 = -3*m. Is -2/6111 != m?
True
Suppose -5*y - v + 11 = 0, 509 = 3*y - 4*v + 507. Does 164/69 = y?
False
Let x = 2867 - 3499. Which is smaller: -629 or x?
x
Suppose 0 = 2*l - 5*a + 22723, -4261 = 3*l + 2*a + 29757. Is l greater than or equal to -11344?
True
Let i = 564968616/413665 - 217132/159. Let w = 30/223 - i. Let d = 4/1015 - w. Is d less than -1?
False
Let k = 10 + 16. Suppose -4*b + k = 5*w - 2*b, 0 = w + 5*b - 19. Let g = -120 - -119. Do g and w have the same value?
False
Suppose -2*z = 0, -2*z = -594*b + 591*b - 57. Which is smaller: 97 or b?
b
Let d be (-3 - 42/(-18))*(-479)/2. Let i = d - 160. Which is smaller: -17 or i?
-17
Let y = 20331/37346 + -208/263. Is y <= 1?
True
Let m be ((-104)/220)/((-6)/15). Let h = 173/249 - 30/83. Do h and m have different values?
True
Let u be -5*(6*(-3)/30)/1. Suppose s = -u*r + 784, -2*s + 3*s = -2. Are r and 262 equal?
True
Let t = -0.0337 - -0.1257. Which is bigger: -4/3 or t?
t
Let a be 8866/630 - 1/((-3)/4). Let j = a + -2/315. Is 14 >= j?
False
Let b be (-2)/(-23) + 1039682/(-23690). Are -4 and b nonequal?
True
Let j = 511/6 - 85. Let c = 345 + -244. Let g = c + -99. Which is bigger: j or g?
g
Suppose 87*j - 37562 = 15073. Which is smaller: -3 or j?
-3
Let v(a) = a**2 + 9*a - 8. Let r be ((-3)/3)/(2 + -1). Let u be (1*r*-3)/((-16)/48). Let f be v(u). Which is smaller: -11 or f?
-11
Let o be (-1)/(-17)*13376546/(-18). Let l = o - -43714. Let q = l + -1/51. Is 1.3 greater than q?
True
Suppose 5 = 2*o - 5*f, 4*o = o - 2*f - 2. Do -1/620 and o have different values?
True
Suppose 2*j + 12 = 5*j. Suppose 17*p = 19*p + j. Let x be 2/(-6) - (p + (-170)/(-66)). Which is greater: x or -2?
x
Let f = 0.0647 - 572.0647. Let x = f + 511.6. Let r = x + -12.6. Is r at most 1?
True
Let x be 9/(27/(-6)) - 75/(-37). Suppose -2*i - 4*i + 18 = 0. Suppose 0*o - 3*o - i = 0. Is o >= x?
False
Let c be -4*((-1)/59 - 0). Let p be (0 + 2 - 0)/((-1272)/24 + 55). Do p and c have different values?
True
Let r = 3334 + -83336/25. Let v = 201674 + -35292802/175. Let m = v - r. Is m smaller than 1?
True
Let d = -211 - -874. Let r = d - 515. Which is smaller: r or -0.3?
-0.3
Let k = 110887/15114 - -37/1374. Suppose -h + 25 = 4*x - 7, -16 = -2*x + 5*h. Is k bigger than x?
False
Let p = -24/373 + 5906/80195. Which is greater: p or 3?
3
Let s be ((-38)/10 + 4)*(1 + (-2432)/2456). Which is greater: -1 or s?
s
Let m = 55 + -70. Let g be 395/m - (-2)/(-3). Which is smaller: -30 or g?
-30
Let f(c) = 2*c**3 + 19*c**2 - 10*c + 4. Let k be f(-10). Let i be (-26 - -8)/(-6) - k. Is 2/99 not equal to i?
True
Let h(m) = -m - 4*m + 1360 - 1366 + 6*m. Let r be h(14). Suppose r*g = 7*g + 1. Are 7/27 and g nonequal?
True
Let j be (15279/225 + 4)*10/(-35). Let r be (-2)/3*(-864)/(-28). Let b = j - r. Is 1 greater than or equal to b?
True
Suppose 26*i + 5*b = 22*i + 3993, 2*i + 2*b = 1998. Is 999 smaller than i?
True
Let s = -5183 + 5302. Is s <= -1/2?
False
Suppose -4*n = -359*v + 360*v + 35135, 5*n - v + 43912 = 0. Which is smaller: n or -8782?
n
Let g(s) = 463*s + 4631. Let t be g(-10). Let f = 76 - 131. Let v = f - -277/5. Is v equal to t?
False
Let f = -36826 + 36825.8. Is -0.00678 bigger than f?
True
Let y(p) = p**3 - 11*p**2 + 16*p - 15. Let x be 1 - ((-64)/(-20))/(2/(-5)). Let s be y(x). Let k(g) = -7*g**2 - 3*g + 1. Let q be k(2). Is s smaller than q?
False
Let m = -31602 + 31598. Which is smaller: m or -103/3?
-103/3
Suppose 0 = -3*f - 0*f + 5*y - 5, 13 = -f - 4*y. Suppose 0 = 19*b - 9*b. Let j = f - b. Are j and -4 non-equal?
True
Suppose -2*w = 4*o - 20, -7*o - 2*w - 12 = -11*o. Suppose o*h = 5*h - 19. Suppose -3*j = -h - 26. Is 1 at most as big as j?
True
Suppose -5*q + 890 = -n, 1190 - 324 = -n - q. Is n < -875?
False
Let k = 117 + -115. Suppose -k*u = 5*t + 11, 3*t = -3*u + 5*u - 13. Let c = 2 + 0. Is u at least as big as c?
True
Let c be ((-12)/58010)/(-17 - 1584/(-90)). Which is smaller: c or -1?
-1
Let h be 6/(1 - (-74)/(-68)). Let l be -1 - (-12)/7 - h/(-68). Let c = 22 - 22.44. Is c > l?
False
Let r be 528/2508*1*1/(-2). Which is bigger: 25/4 or r?
25/4
Let x be (-903)/450 + (5 - 3). Let q = -907/1050 - x. Is q > -2/15?
False
Let u = -14597.955 + 28.955. Is u > 1?
False
Suppose 3*j = -4*l - 236, 4*l - l = -2*j - 159. Let r be (-1)/(-2)*32/j. Let q = 0.0494 - -0.9506. Which is smaller: r or q?
r
Suppose -10*g - 910 = 4*g. Let w = g - -50. Let i = 16 + w. Does 3/16 = i?
False
Let u be -19 + 17 + (632449/165 - 0). Let r = u + -3831. Is 0 at most r?
True
Let j = 9808/1067 + -101/11. Let b be (-2)/(-14) - 104/(-7). Let d be 9/(-6)*(-10)/b. Is d equal to j?
False
Let w be 4*252/80*(-5 + 0). Let g be (-328)/(-224) + (-3)/(w/6). Let j(f) = -2*f - 5. Let o be j(-4). Is g at least o?
False
Let n be (11 - 9)*(-1 + (-17703)/62). Let m = -573 - n. Is m greater than -1?
True
Let q = 0.576 + -0.046. Let r = -2.53 - -3. Let v = r + q. Which is smaller: -0.63 or v?
-0.63
Suppose 4 = -3*s + 4*i - 2*i, 4*s + 5*i - 33 = 0. Let y(r) = s*r**2 - 6*r**3 + 0*r + 3*r**2 - r - 3*r**2. Let q be y(1). Is -3 bigger than q?
True
Let n be 32/6 - 0 - (-4)/6. Suppose 437 = n*g + 13*g. Which is bigger: g or 24?
24
Let f(p) = -p - 47. Let g(u) = -u - 24. Let o(t) = 6*f(t) - 10*g(t). Let a be o(11). Suppose m - a = -3*n + 1, 5*n = 0. Which is smaller: -4 or m?
-4
Let h = -0.141 + -4.859. Let n = 0.3 + -0.36. Let w = 0.04 - n. Which is smaller: w or h?
h
Let z be 163*(-2*2 - ((-10 - -1) + 4)). Is 21 > z?
False
Let b be 1*(-38)/57*-11676. Is b at least as big as 7786?
False
Let f(r) = -3*r - 37. Let i(v) = 15*v**3 + 2*v**2 - 1. Let a be i(-1). Let b be f(a). Suppose 6*t = -1 - b. Which is smaller: 3/40 or t?
t
Suppose p - 15 = 3*k, -4*k + 3*k - 7 = -p. Let h be (k/6)/((-102)/(-765)). Is 2 at least h?
True
Let t(d) = 1096*d - 6659. Let h be t(6). Is h <= -77?
True
Suppose 4*p - 674 = 4*s + 3*p, -3*p - 6 = 0. Let g = s - -155. Are g and -14 unequal?
False
Suppose 0 = 534*z + 116820 + 88770. Let v = -888 - -504. Does z = v?
False
Let f = -3274/13 - -252. Let i(b) = -b**2 - 6*b + 3. Let x be i(-6). Suppose -4*c + 7 - x = 0. Does f = c?
False
Let q = -3443 + 3443. Let i = -10/37 + 993/3811. Let v = i + -509/618. Is q <= v?
False
Suppose 3*q = -9 - 9. Let d be (3/(-3))/(q*5/(-4920)). Is d greater than or equal to -165?
True
Let r = 3468 - 3460. Is r less than 26?
True
Let b = -1040/171 + 105/19. Let y be (-2)/((1 + -2)*-3). Is b smaller than y?
False
Let j = 79 - 85.1. Let k = 2.33 + 3.87. Let m = k + j. Is -12 equal to m?
False
Let b = 6 + -5. Suppose 0 = -2*v - r - 19, -r - 1 = v + 6. Let g be 216/240*(-10)/v. Which is smaller: b or g?
g
Let m be 5 + (-22)/4 + (-101)/66. Let n = m + 535/33. Which is greater: n or 14?
n
Let j = 9932 + -6848. Is 3080 less than or equal to j?
True
Let a(i) = -i**2 - 5*i + 16. Let f be a(-7). Suppose -2*u - f = -4*u. Let s be (-2)/48*3/(-6). Which is bigger: s or u?
u
Let b = 10.731 - 10.937. Which is smaller: -35 or b?
-35
Suppose -2*z - 2*z = -5*j + 20, 5 = -j - z. Let y = -189997/630 + 2111/7. Which is bigger: y or j?
j
Let l = 5061 + -5559. Is -479 less than or equal to l?
False
Suppose 424 - 156 = 67*j.